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

C. El consumo de proteínas repara los tejidos de la piel o las vitaminas están presentes en múltiples
alimentos. Las vitaminas no están presentes en múltiples alimentos.

p: El consumo de proteínas repara los tejidos de la piel

q: las vitaminas están presentes en múltiples alimentos

a. Conclusión: El consumo de proteínas repara los tejidos de la piel

b. Ley de inferencia aplicada: Ley de Tollendo Ponens (TP)
c. Lenguaje simbólico:

𝑝∨𝑞
¬q
__________
∴p

Descripción del ejercicio 4:

A partir de la expresión simbólica seleccionada, el estudiante deberá:

C. Expresión simbólica: {[(𝑝)∧(𝑞→¬𝑝)∧(𝑟∧𝑠)]→(¬𝑞 ∧𝑟)}

P1: 𝑝
P2: 𝑞→¬𝑝
P3: 𝑟∧𝑠
Conclusión: (¬𝑞 ∧𝑟)

Definir las proposiciones simples

p: Camilo es activo en clase
q: Estudia átomos
r: camilo pasa química
s: Estudia solventes
¬𝑝 No es activo en clase
¬q No Estudia átomos

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

Camilo es activo en clase y si estudia átomos entonces no es activo en clase y camilo pasa química
y estudia solventes, por lo tanto no estudia átomos y camilo pasa química.
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r s ~p ~q (q→~p) (𝑟∧𝑠) (¬𝑞 (𝑝)∧(𝑞→¬𝑝) (𝑝)∧(𝑞→¬𝑝)∧( 𝑟∧𝑠) {[(𝑝)∧(𝑞→¬𝑝)∧(𝑟∧𝑠)]→(¬𝑞 ∧𝑟)}

∧r)
V V V V F F F V F F F V
V V V F F F V F F V F V
V V F V F F V F F V F V
V V F F F F V F F V F V
V F V V F V V V V V V V
V F V F F V V F V V F V
V F F V F V V F F V F V
V F F F F V V F F V F V
F V V V V F F V F F F V
F V V F V F F F F F F V
F V F V V F F F F F F V
F V F F V F F F F F F V
F F V V V V V V V F F V
F F V F V V V F V F F V
F F F V V V V F F F F V
F F F F V V V F F F F V

Generar la tabla de verdad a través del simulador Lógica UNAD

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

C. Expresión simbólica: {[(𝑝) ∧(𝑞→¬𝑝)∧(𝑟∧𝑠)]→(¬𝑞 ∧𝑟)}

P1: 𝑝
P2: 𝑞→¬𝑝
P3: 𝑟∧𝑠
Conclusión: (¬𝑞 ∧𝑟)
P4: r Simplificación(S) en P3
P5: -q MTT en p2 y p1
P6: (-q∧r) adjunción (A) en P4 y P5