TABLAS DE VERDAD

Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
P4: -r  q Propiedad Conmutativa PC en P2
P5: r → q Definicion del Implicador(2) DI en P4
P6: q Eliminacion del implicador EI P3 Y P5
P5: −p MTT P1 Y P6
 Conclusión: ¬𝑝

MTT PC EI DI
p→q p q P→q P→q
¬q q p P -p q
 ¬p  q
Otro ejemplo típico ocurre al intentar eliminar el disyuntor:

1 ¬p  q Premisa
2 ¬p Premisa
3 q