UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO

FACULTAD DE QUÍMICA • ÁLGEBRA SUPERIOR

EJERCICIOS • GRUPO 18 • 2019-1

TABLA DE PROPOSICIONES EQUIVALENTES

Sean A, B, C proposiciones; T una tautologı́a y ∅ un absurdo.

1) A → B ≡ ¬B → ¬A Ley de la Contrapuesta.

2) A → B ≡ ¬A ∨ B Equivalencia de la Implicación.

3) ¬(A → B) ≡ A ∧ ¬B Negación de la Implicación.

4) (A ∨ B) ∨ C ≡ A ∨ (B ∨ C) Ley asociativa para la disyunción.

4’) (A ∧ B) ∧ C ≡ A ∧ (B ∧ C) Ley asociativa para la conjunción.

5) A ∨ B ≡ B ∨ A Ley conmutativa para la disyunción .

6) A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) Ley distributiva de la conjunción respecto a la disyunción .

7) A ∨ (B ∧ C) ≡ (A ∨ B) ∧ (A ∨ C) Ley distributiva de la disyunción respecto a la conjunción .

8) ¬(A ∨ B) ≡ ¬A ∧ ¬B Ley de De Morgan: Negación de la disyunción .

9) ¬(A ∧ B) ≡ ¬A ∨ ¬B Ley de De Morgan: Negación de la conjunción .



 10)A ∨ T ≡ T ,
11)A ∧ T ≡ A,

Leyes de Idempotencia (4)

 12)A ∨ ∅ ≡ A ,
13)A ∧ ∅ ≡ ∅ ,


12) ¬¬A ≡ A. Ley de la Doble Negación .

1
 UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO
FACULTAD DE QUÍMICA • ÁLGEBRA SUPERIOR
EJERCICIOS • GRUPO 18 • 2019-1

TABLA DE REGLAS VÁLIDAS (O LEYES) DE INFERENCIA



 P →Q



M odus P onens (M.P.) (1) P




∴ Q




 P →Q



M odus T ollens (M.T.) (2) ¬Q




∴ ¬P




 P →Q



Silogismo Hipotético (S.H.) (3) Q→R




∴ P →R




 P ∨Q



Silogismo Disyuntivo (S.D.) (4) ¬Q




∴ P




 P



Absurdo (A) (5) ¬P




∴ Q



 P ∧Q P ∧Q
Ley de Simplif icación (L.S.) (6)
∴ Q ∴ P
