32 introducción al pensamiento matemático

2.4.2 Algunas tautologías importantes

Las tautologías son también llamadas leyes lógicas, pues antigüamente se con-
sideraban como leyes del pensamiento, leyes del razonamiento correcto. A conti-
nuación listamos algunas de las tautologías más conocidas.
1.  A → A (identidad)

2.  A ↔ A (identidad)

3.  A ∨ ¬A (tercero excluso)

4.  ¬(A&¬A) (no contradicción)

5.  A&A ↔ A (idempotencia de la conjunción)

6.  A ∨ A ↔ A (idempotencia de la disyunción)

7.  A&B ↔ B&A (conmutatividad de la conjunción)

8.  A ∨ B ↔ B ∨ A (conmutatividad de la disyunción)

9.  (A ↔ B) ↔ (B ↔ A) (conmutatividad del bicondicional)

10.  ((A&B) → C) → (A → (B → C)) (ley de exportación)

11.  (A → (B → C)) → ((A&B) → C) (ley de importación)

12.  (A → B) ↔ (¬B → ¬A) (ley de contraposición)

13.  (A → B) ↔ (¬A ∨ B)

14.  (A → B) ↔ ¬(A&¬B)

15.  A → (A ∨ B) (simplificación)

16.  (A&B) → A (simplificación)

17.  A → (B → A) (afirmación del antecedente)

18.  ((A → B)&(B → C)) → (A → C) (transitividad del condicional)

19.  ((A ↔ B)&(B ↔ C)) → (A ↔ C) (transitividad del bicondicional)

20.  ((A → B)&A) → B (modus ponens)

21.  ((A → B)&¬B) → ¬A (modus tollens)

22. (C&¬C) → A (reducción al absurdo)

Leyes de la negación:

23.  ¬¬A ↔ A (doble negación)

24.  ¬(A&B) ↔ (¬A ∨ ¬B)

25.  ¬(A ∨ B) ↔ (¬A&¬B)

26.  ¬(A → B) ↔ A&¬B