TABLA DE VERDAD MANUAL

[(𝑝→𝑞)∧(𝑝∨s)∧(¬ s∧¬ q)]→𝑞

p q s ¬s ¬q (𝑝→𝑞) (𝑝∨s) (¬ s∧¬ q) (𝑝→𝑞)∧(𝑝∨s)

v v v f f v v f v
v v f v f v v f v
v f v f v f v f f
v f f v v f v v f
f v v f f v v f v
f v f v f v v f v
f f v f v v f f f
f f f v v v f v f
[(𝑝→𝑞)∧(𝑝∨s)∧(¬ s∧¬ q)]→𝑞
v
v
v
v
v
v
v
v
negación disyuncion o
p ~p p q {p v q}
V F V V V
F V V F V
F V V
F F F

conjuncion y condicional si_____entonces

p q {p ∧ q} p q {p→ q}
V V V V V V
V F F V F F
F V F F V V
F F F F F V

Bicondicionalsi y solo si
p q {p <=> q}
V V V
V F F
F V F
F F V
<=>
Una contradicción es toda expresión lógica o booleana equivalente al resultado falso

Tautologia todas son verdaderas

contingencia el resultado es verdadero y falso