Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicios Resueltos
Ejercicios Resueltos
LOGICA PROPOSICIONAL
(pʌq) [ ~( ~p v ~q ) ]
Solución:
p q (p ʌ q) [ ~( ~p v
V V V V V V V F F F
V F V F F V F F V V
F V F F V V F V V F
F F F F F V F V V V
R R3 R2
1
5. ( p ʌ q ) (p v q )
Solución:
p q (p ʌ q) (p v q)
V V V V V V V V V
V F V F F V V V F
F V F F V V F V V
F F F F F V F F F
R1 R3 R2
6. Simplificar aplicando las leyes del algebra
~(p ʌ ~ q) (p ʌ q)
Solución:
~(p ʌ ~ q) v (p ʌ q) Por la ley condicional quedaría
~ [~(p ʌ ~ q)] v (p ʌ q)
[(p q) ʌ ~q] ~p
Solución
Para encontrar la solución confeccionamos la tabla de la
verdad
p q [(p q) ʌ ~q] ~p
V V V V V F F V F
V F V F F F V V F
F V F V V F F V V
F F F V F V V V V
R1 R3 R2 R4
(p ↔ q) ↔ ~ [(p → q) ʌ (q → p)]
solucion
p q (p ↔ q) ↔ ~ [(p → q) ʌ (q → p)]
V V V V V F F V V V V V V V
V F V F F F V V F F F F V V
F V F F V F V V F V F V F F
F F F V F F F V V F V F V F
R5 R6 R4 R1 R3 R2
Respuesta: Como podemos ver el resultado final es
todos falso por lo tanto es una contradicción
(p → q) ʌ (p → q)
Solución
Para encontrar la solución confeccionamos la tabla de la
verdad
p q (p → q) ʌ (p → q)
V V V V V V V V V
V F V F V F V F F
F V F V F V F V V
F F F V F V F V F
R1 R3 R2