Modus Tollendo Tollens (TT)

Negando (Tollendo ) el consecuente, se puede negar (Tollens) el

antecedente de la condicional

Premisa1: Si tiene luz propia, entonces el astro es una estrella.

Premisa2: El astro no es una estrella
Conclusión: Por tanto no tiene luz propia

1 P -> Q p
2 ¬Q p
-----------
3 ¬P (TT 1,2)
Si es domingo , entonces hay clase de lógica
P -> R

Demostrar ¬P Demostrar ¬(Q&R) Demostrar ¬P Demostrar ¬¬R

1 P->R p 1 (Q & R) -> S p 1 P -> ¬Q p 1 P -> Q
2 ¬R p 2 ¬S p 2 ¬¬Q p 2 ¬Q
--------- ----------------- -------------- 3 ¬P -> R
3 ¬P (TT 1,2) 3 ¬(Q&R) (TT 1,2) 3 ¬P (TT 1,2) 4 ¬P (TT 1,2)
5 R (PP3,4)
6 ¬¬R DN 5

Demostrar A
1 ¬A->¬B p
2B p
3 ¬¬B (DN 2)
4 ¬¬A (TT 1,3)
5A (DN 4)
 Adjunción (A)

Si ambas premisas son ciertas, entonces la conclusión tendría que ser cierta, permite
pasar de las dos premisas a la conclusión de denomina regla de adjunción

1P p 1P 1Q&S
2Qp 2 ¬R 2 ¬T
--------- --------- -------------
3 P & Q (A 1,2) 3 P & ¬R ( (A 1,2) 3 ¬T & (Q & S) (A 1,2)

1PVQ p
2QVR p
---------------
3 (P V Q) & (Q V R) (A 1,2)
 SIMPLIFICACIÖN (S)

1P&Q p 1P&Q p Aclarar P & Q -> R / P & (Q -> R)

--------- ---------
2 P (S1) 2 Q (S1)

MODUS TOLLENDO PONENS (TP)

Negando un miembro de una disyunción se afirma otro mimbro

1PVQp 1PVQp 1 (P & Q) V S p

2 ¬P p 2 ¬Q p 2 ¬S p
------------- ---------------- -------------------
3 Q (TP 1,2) 3 P (TP 1, 2) 3 (P & Q)
 Ejercicios

Demostrar ¬G Demostrar A Demostrar (T & S)

1 W -> O p 1 ¬A ->C p 1 E -> S p
2 O -> ¬G p 2 C->¬M p 2 ¬T -> ¬ J p

3W&H p 3MVR p 3E&J p

4W S3 4 ¬R p 4E S3
5O PP 1,4 5M (TP 3,4) 5S PP 1,4

6 ¬G PP 2,5 6 ¬C (TT 2,5) 6J S3

7A (TT 1,6) 7T TT 2,6
8T&S A 5,7