UNIVERSIDAD TECNOLÓGICA DEL CIBAO ORIENTAL, UTECO.

Universidad Estatal, Ley 236-14.

MME-301 Razonamiento Lógico Matemático. Maestría en Matemática.
Facilitador: Leomar Reyes Abreu.

Asignación 2. Reglas de inferencia y Algebra de Conjuntos. (Grupal).

Para la entrega del informe de esta actividad, tome en cuenta los siguientes aspectos:

a) La entrega permite 4 integrantes, como máximo.

b) Tiene una valoración de 10 puntos.
c) Si se envía esta práctica reflejando plagio o mucho nivel de similitud (20%), la
misma será sujeto de revisión profunda que puede implicar la anulación total o
parcial de la misma.
d) Ver la lista de cotejo con que serán evaluadas estas actividades.

Tema SINOVAC (1). Reglas de inferencia y lógica de predicados.

1. Utilizando las reglas de inferencia, y los argumentos lógicos que considere para
realizar las siguientes demostraciones, según las premisas dadas.
a) Demostrar que 𝐴 ⟶ 𝐵, si se tienen las premisas: 𝐷 ⟶ (𝐶 ⟶ 𝐵), ¬𝐴 ∨ 𝐷 y 𝐶.
b) Demostrar que 𝑃 ⟶ (¬𝑄 ⟶ 𝑅), si se tienen las premisas: 𝑆 ∧ (¬𝑃 ∨ 𝑀)
y 𝑀 ⟶ 𝑄 ∨ 𝑅.
c) Demostrar que 𝑇 ∨ 𝑈, sí se dan como premisas: (𝑃 ∧ 𝑄 ) ⟶ (𝑅 ∨ 𝑆), 𝑃 ⟶ 𝑄,
𝑃 ∧ (𝑅 ⟶ (𝑇 ∧ 𝑈)) 𝑦 𝑆 ⟶ (𝑇 ∧ 𝑊).
2. Simbolice correctamente y luego demuestre que el argumento es válido.

a) El agente que encontró el arma estaba en el apartamento. Cualquiera que

estuviera en el apartamento estaba en la Ciudad. Si alguien estaba en
Bávaro no estaba en la ciudad. José estaba en Bávaro. Por tanto, José no es
el agente que encontró el arma.

b) Todos los miembros del comité viven en la ciudad de Cotuí. El presidente de

la sociedad es un miembro del comité. La señorita López es la presidente
de la sociedad. Por tanto, la señorita López vive en la ciudad de Cotuí.
 c) Cada chico es más joven que su padre. Carlos es un chico que no es más joven
que Raúl. Cualquiera que esté casado con Margarita es el padre de Carlos. Por
tanto, Raúl no está casado con Margarita.

d) Cada tema en esta lección es una parte de la Topología. Cada persona que puede
resolver problemas en una parte de la Topología tiene mentalidad Matemática.
María es una persona que puede resolver problemas sobre Espacios de Banach
y los Espacios de Banach es un tema en esta lección. Por tanto, María tiene
mentalidad Matemática.

e) Todas las niñas de la familia Martínez están en el cuadro de honor de la Escuela,

Eva es una niña de la familia Martínez. El que recibió el premio de Matemática
no estaba en el cuadro de honor de la Escuela. Por tanto, Eva no recibió el premio
de Matemáticas.

f) Daniel Rey era Matemático. Ningún Matemático ignora los términos que estudia
el cálculo infinitesimal. Don King escribió sobre todas las cosas que él no
ignoraba. Don King era Daniel Rey. Por tanto, si las sucesiones de Cauchy es
un tema que estudia el cálculo infinitesimal, entonces Don King escribió sobre
ellas.

Tema Pfizer (2). Demuestre las siguientes igualdades de conjuntos.

a) (𝐴 ∩ 𝐵) ∪ 𝐶 = (𝐴 ∪ 𝐶) ∩ (𝐵 ∪ 𝐶)
b) 𝐴 ∪ (𝐴 ∩ 𝐵) = 𝐴
c) 𝐴 = (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵𝑐 )
d) (𝐴 ∩ 𝐵)𝑐 = 𝐴𝑐 ∪ 𝐵𝑐
e) (𝐴1 ∪ 𝐴2 ∪ 𝐴3 )𝑐 = 𝐴1𝑐 ∩ 𝐴𝑐2 ∩ 𝐴𝑐3
f) 𝐴Δ𝐵 = (𝐴 ∩ 𝐵𝑐 ) ∪ (𝐵 ∩ 𝐴𝑐 )
g) Demuestre que para todo 𝑛 ∈ ℕ, se cumple que
𝑛 𝑐 𝑛

(⋂ 𝐴𝑖 ) = ⋃ 𝐴𝑐𝑖
𝑖=1 𝑖=1
 Lista de cotejo de la asignación II de Razonamiento Lógico Matemático.

Criterios Valor Cal. Observaciones

1. La portada incluye el nombre, logo de la
universidad, nombre de la asignatura, título de la
tarea, nombre y matrícula de los sustentantes, 0.5
facilitador, trimestre académico y fecha de
entrega.
2. La práctica se realiza en grupos de 4 integrantes
0.5
como máximo.
3. El documento está organizado y hace uso correcto
1
de la ortografía en la redacción.
4. Los resultados de todas las situaciones planteadas
son lógicamente correctos y se corresponden con 8
el procedimiento planteado.
Total 10