Asignatura: Lógica Matemática TSI

Docente: Diego Alejandro Londoño

Video−Examen 1 Departamento de Matemáticas

Este examen se debe hacer de forma individual y consiste en realizar un vídeo (siguiendo las instrucciones) expli-
cando 5 ejercicios que les serán asignados en este mismo documento.

Instrucciones

Cada ejercicio debe estar desarrollado en un solo vídeo. Por tal motivo, se deben adjuntar 5 vídeos en total
por este medio.

La duración de cada vídeo debe oscilar entre 5 min como mínimo y máximo 10 min. [Sugerencia: dado
que usted cuenta con suficiente tiempo (para ser exactos, 2 días), es bueno que primero resuelva los ejercicios
en hoja de papel, que los piense, que los raye (como se dice comúnmente). Cuando tenga la solución de los
mismos, le será más fácil explicar la forma en que los resolvió al momento de grabar el vídeo. La idea de esto
es que no sobrepase el tiempo máximo estipulado para cada vídeo.]

Presentarse al comenzar el vídeo.

Usted se debe ver a lo largo de todo el vídeo explicando los ejercicios. Para esto puede utilizar su creatividad
para simular un trípode en donde pueda colocar su celular.

Debe explicar cada ejercicio paso por paso, justificando los detalles necesarios. Y por favor, escriba de tal
forma que no obstruya lo que se está escribiendo.

El examen realizar en un tablero, cartulina blanca u hojas pegadas en la pared.

Usar marcadores que resalten, de tal manera que se vea lo que esta escribiendo. Es bueno que haga un
vídeo de prueba.
Indicadores para la calificación del vídeo

En el vídeo se deberá:
Cumplir con los requisitos de entrega. Si la información que está explicando en el vídeo no se puede ver ni
escuchar de manera clara, el vídeo será devuelto para que se haga nuevamente. Además de esto, se calificará
sobre 4.0.

Detallar los conocimientos previos necesarios para desarrollar cada uno de los ejercicios.

Cubrir los temas a profundidad, recurriendo a definiciones y/o propiedades.

Usar correctamente todos los símbolos matemáticos necesarios para desarrollar los ejercicios.

Solucionar de manera correcta los ejercicios.

1. Lista de ejercicios
A cada estudiante sólo le corresponde resolver un ejercicio de cada uno de los 5 grupos (en total deben ser 5 vídeos).
La asignación de ejercicios la pueden encontrar en la siguiente tabla:

ESTUDIANTE G1 G2 G3 G4 G5
Andrés Felipe Tapasco Tapasco 1 1 3 2 1
Diana Camila Usme Rueda 1 2 2 1 3
Diana Marcela Lengua Andica 1 3 1 3 2
Gianella Vanessa Londoño Rios 1 1 3 2 1
Gustavo Andres Moreno Diaz 1 2 2 1 3
Hernando Alonso Castro Gil 1 3 1 3 2
Jhon Alejandro Hernández Trejos 1 1 3 2 1
Juan Camilo Castañeda Arredondo 1 2 2 1 3
Juan Esteban Bolaños Arenas 1 3 1 3 2
Juan Fernando Moreno Morales 1 1 3 2 1
Juan Pablo Reina Becerra 1 2 2 1 3
Katerin Rendón Gómez 1 3 1 3 2
Leidy Yurani Trejos Cruz 1 1 3 2 1
Paola Andrea Betancur Lengua 1 2 2 1 3
Santiago Alejandro Gañan Lengua 1 3 1 3 2
Steven Alejandro Guapacha Velasquez 1 1 3 2 1
Wilder Arley valencia Vinasco 1 2 2 1 3
Yesica Liliana Rendón Gómez 1 3 1 3 2
(1.0 unidad) Grupo 1 de ejercicios (G1)

1. Complete las proposiciones siguientes eligiendo de entre las palabras escritas al final de la que está definida por
la proposición dada y además dé un ejemplo sencillo.

a) La proposición molecular que utiliza el término de enlace «y» es una . . . . . . . . .

b) La proposición molecular que utiliza el término de enlace «no» es . . . . . . . . .

c) La combinación de una o más proposiciones atómicas con un término de enlace de proposiciones se denomina
una . . . . . . . . .

d) En Lógica, una proposición completa que no tiene término de enlace se denomina . . . . . . . . .

e) La proposición molecular que utiliza el término de enlace «si... entonces...» se denomina una . . . . . . . . .

f) La proposición situada antes del término de enlace en una proposición condicional se denomina . . . . . . . . .

g) La proposición situada después del término de enlace en una proposición condicional se denomina . . . . . . . . .

h) La proposición molecular que utiliza el término de enlace «o» es una . . . . . . . . .

antecendente

atómica

proposición molecular

condicional

conjunción

consecuente

disjunción

negación

(1.0 unidad) Grupo 2 de ejercicios (G2)

Determine todos los valores de verdad para las siguientes proposiciones utilizando tablas de verdad. Terminado
esto, clasifique la proposición diciendo si es tautología, contradicción o contingencia. Luego dibuje el circuito lógico
asociado (puede ayudarse del árbol lógico).

1. (p → q) → (∼ p →∼ q)

2. ∼ (p ∧ q) → (∼ p∨ ∼ q)

3. ∼ (p ∨ q) → (∼ p∧ ∼ q)

[Sugerencia: para diseñar el circuito use el hecho que (α → β) ≡ (∼ α ∨ β) para cualesquier par de proposiciones
α y β. Por lo tanto, debe de transformar las implicaciones en términos de la disyunción para simplificar después
un poco la proposición resultante, usando las tautologías vistas en clase.]
(1.0 unidad) Grupo 3 de ejercicios (G3)

En cada uno de los siguientes ejercicios demostrar que la conclusión es consecuencia de las premisas dadas. Hacer
cada deducción de forma ordenada, con líneas numeradas, abreviaturas para cada regla utilizada, e indicando
además los números de las líneas empleadas para la deducción de cada paso.

1. Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de familia. Si el hermano de
la madre es el cabeza de familia, entonces el padre no tiene autoridad. Esta es una sociedad matriarcal. Por
tanto, el padre no tiene autoridad.

2. Si Juan es más alto que Pedro, entonces María es más baja que Juana. María no es más baja que Juana.
Si Juan y Luis tienen la misma estatura, entonces Juan es más alto que Pedro. Por tanto, Juan y Luis no
tienen la misma estatura.

3. Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de Andrés. Si Andrés
dice la verdad, entonces Juan no vio a partir del coche de Andrés. O Andrés dice la verdad o estaba en el
edificio en el momento del crimen. El reloj está adelantado. Por tanto, Andrés estaba en el edificio en el
momento del crimen.

[Sugerencia: simbolice el razonamiento de manera que la deducción sea perfectamente clara indicando las letras
proposicionales que va a utilizar para cada una de las proposiciones atómicas. La palabra, «por tanto», pone de
manifiesto que la proposición final es la conclusión del razonamiento.]

(1.0 unidad) Grupo 4 de ejercicios (G4)

1. Demostrar: x2 = 9

(1) x = (+3) → 2x2 = 18 Premisa

(2) x = (+3) ∨ x = (−3) Premisa
(3) x = (−3) → 2x2 = 18 Premisa
(4) 2x2 = 18 → x2 = 9 Premisa

2. Demostrar: x < 4

(1) x = y ∨ x>y Premisa

(2) x < 4 ∨ x 6< z Premisa
(3) x = y → x<z Premisa
(4) x > y → x<z Premisa

3. Demostrar: x = 1

(1) 2x + y = 5 → 2x = 2 Premisa
(2) 2x + y = 5 ∨ y = 3 Premisa
(3) 2x = 2 → x = 1 Premisa
(4) y = 3 → 2x = 2 Premisa
(1.0 unidad) Grupo 5 de ejercicios (G5)

Dar una demostración formal (por reducción al absurdo) de cada uno de los razonamientos siguientes:

1. Demostrar: ∼ (T ∨ S)

(1) ∼ R ∨ ∼ B Premisa
(2) (T ∨ S) → R Premisa
(3) B ∨ ∼ S Premisa
(4) ∼ T Premisa

2. Demostrar ∼ (S ∧ T )

(1) ∼ P → ∼ S Premisa
(2) ∼ P ∨ R Premisa
(3) R → ∼ T Premisa

3. Demostrar R

(1) ∼ (P ∧ Q) Premisa
(2) ∼ R → Q Premisa
(3) ∼ P → R Premisa