1 ¬ r -- > t P

2 (r v s ) -- > (¬ p v ¬ q ) P
3 ¬ s -- > ¬ t P
4 ¬ (p ^ q) Neg conclusión

5.1 ¬¬ r ß1 5.2 t ß1
6.1 r DN 5.1

7.11 ¬ (r v s) ß 2 7.12 ¬ p v ¬ q ß 2 6.21 ¬(r v s) ß 2 6.22 ¬p v ¬q ß2

8.11 ¬ r  7.11 8.121 ¬ p 7.12 8122 ¬q 7.12 7.21 ¬ r  6.21 7.221 ¬ p ß 6.22 7.222 ¬ q ß 6.22
X con 6.1
9.1211 ¬ p ß 4 8.21 ¬ s  6.21 8.2221 s ß3 8.2222 ¬ t ß3
X con 5.2
Rama abierta 9.211 s ß3 9.212 ¬ t ß3
X con 8.21 X con 5.2 8.2211 s ß3 8.2212 ¬ t ß3
X con 5.2
Árbol completado. Queda, al menos una rama abierta. Existen contraejemplos. Esquema Inválido. La conclusión no se sigue lógicamente de las
premisas dadas.
CONTRAEJEMPLO:

La conclusión debe ser falsa y las premisas verdaderas.

Conclusión: p ^ q =F [ p= 1, q =0]
1ª premisa: ¬ r -- > t = V [ r =1, (¬ r = 0), t = 1]