Ejercicio 1: Proposiciones y tablas de verdad

a. p: Esperanza come espagueti

q: Carlos prefiere comer lasaña
r: Sandra prepara hamburguesas

[(¬p → q) ^ (q → r)] ^ ¬r

- Escribir la proposición compuesta propuesta en un lenguaje

natural:

Si no es cierto que esperanza come espagueti dado que Carlos prefiere comer lasaña. Y si Carlos
prefiere comer lasaña siempre que Sandra prepara hamburguesas. Y no es el caso que Sandra
prepara hamburguesas.

- Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
el resultado es una tautología, contingencia o contradicción.

p q r ¬P ¬r (¬p → q) (q → r) [(¬p → q) ^ (q → r)] [(¬p → q) ^ (q → r)] ^ ¬r

F F F V V F V F F
F F V V F F V F F
F V F V V V F F F
F V V V F V V V F
V F F F V V V V V
V F V F F V V V F
V V F F V V F F F
V V V F F V V V F

- Esta proposición sería una contingencia porque hay un valor verdadero y de resto todos
son falsos.
Ejercicio 2: Identificación de las reglas de la inferencia lógica.

a. Expresión simbólica

1. Modus ponendo ponens:

2. modus tollendo tollens.

3. Silogismo hipotético:

- Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico (puede usar las
mismas proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas).

P: Estudio todos los días

q: Pasare la materia.

r: estaré tranquilo.

- Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

1. Si estudio todos los días entonces pasare la materia, como se reafirma que estudio todos
los días por lo tanto si pasare la materia.
 2. Si estudio todos los días entonces pasare la materia, pero reafirma que NO pasare la
materia, por lo tanto, no estudie todos los días.

3. Si estudio todos los días entonces pasare la materia, si paso la materia por consecuente
estaré tranquilo, de esta forma la primera ultima proposición se ve condicionada por la
primera, entonces:

Si estudio todos los días por consecuente estaré tranquilo.

Ejercicio 3: Aplicación de las reglas de la inferencia lógica.

a. Un poco de ejercicio puede hacer la diferencia. Los aguacates contienen más potasio que
cualquier otra verdura.

P: Un poco de ejercicio

r: hacer la diferencia

q: Los aguacates contienen más potasio que cualquier otra verdura.

a. Lenguaje simbólico:

1. p ⊕ r
2. q ⊤

b. Ley de inferencia aplicada:

1. es verdadera solo si las dos son verdaderas (disyunción exclusiva)

2. siempre es verdadera (tautología)

c. Conclusión: q ⊤

Ejercicio 4: Problemas de aplicación

a. Expresión simbólica:

[(¬p → q) ^ (q → r) ^¬r] → p

Premisas:
P1: ∼p →q
P2: q →r
P3: ∼r
Conclusión: p
 - Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico:

P: Estudio todos los días

q: Pasare la materia.

r: estaré tranquilo.

- Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD:

Si no estudio todos los días entonces pasare la materia, y si paso la materia por lo tanto estaré
tranquilo; y no estaré tranquilo. Entonces estudio todos los días.

- Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel
o foto del desarrollo manual):

(q
(~ ((~p) ((((~p)→q))^ (~ (((((~p)→q))^((q (((((((~p)→q))^((q→r)
pqr →r
p) →q) ((q→r))) r) →r)))^(~r)) ))^(~r)))→p)
)
F F F V F V F V F V
F F V V F V F F F V
F V F V V F F V F V
F V V V V V V F F V
V F F F V V V V V V
V F V F V V V F F V
V V F F V F F V F V
V V V F V V V F F V

- Demostración de la validez del argumento mediante las leyes de la inferencia lógica:

Por las leyes de inferencia esta proposición sería una tautología.