Desarrollo ejercicio de tabla de la verdad

Juan Manuel Castro De La Hoz

1. [(p ∨ q) ∧ (p =>r) ∧ ¬r]=>q

p q r ¬r (p v q) (p =>r) (p v q) ∧ (p =>r) [(p v q) ∧ (p =>r) ∧ ¬r] =>q

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

[(p v q) ∧ (p =>r) ∧ ¬r] q =>q

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

Argumento de tipo Tautológico.