Regla de la transposición

Género: material didáctico.
Autor: Rircardo Mazón Fonseca.

Esta regla es prácticamente una manifestación del tollendo tollens, pero a modo de proposición condicional:

A à B equivale a ¬ B à ¬ A

“Si corro, entonces llego más rápido” equivale a “Si no llego más rápido, entonces no corro”.

Su abreviatura es Transp.

1. Demostrar B

1)¬A à ¬B

2)A

2. Demostrar Z

1)¬(A v K)

2)Eà (L v F)

3)¬E à (L v F)

4) ¬F

5) Z

3. Demostrar B à E

1) ¬K à ¬B

2) K à E

4. Demostrar (Z à E) & (¬D v K)

1)Eà ¬Z

2)B àK

3)Kà (¬D v K)

4)B

5. Demostrar S

1) H à A

2) ¬S à ¬A

3) H v H

Mileto