Ejercicio 3: Problemas de aplicación

A. Expresión simbólica: : {[ p → ( q ∧r ) ] ∧ ( q ∧r ) }→ p

Premisas:
P1: p → ( q ∧ r )
P2:( q ∧ r )
Conclusión: p

Desarrollo:

 Proposiciones simples

p: participo en las conferencia

q: obtendré puntos en la materia
r: pasar la materia

Si participo en las conferencia entonces obtendré puntos en la materia. No obtendré puntos

en la materia y no pasare la materia. Por lo tanto, no participo en las conferencias para no
tener puntos

Tabla manual

p q
v v
v v
v f
v f
f v
f v
f f
f f
r ((p→~(q∧r))∧(q∧r))→~p
v v
f v
v v
f v
v v
f v
v v
f v

 Resultado de la tabla de verdad: TAUTOLOGÍA

 tabla de verdad con el simulador Lógica UNAD

leyes de inferencia

P1: (p~q∧r)

P2: (q∧r)

Conclusión ~p

P3: (~p)

Contraria (2)