58 Capı́tulo 1.

Fundamentos de lógica

Implicación y P → Q ≡ ¬P ∨ Q
disyunción (ID)
Contrapositiva P → Q ≡ ¬Q → ¬P
Doble negación (DN) ¬¬P ≡ P
De Morgan (DM) ¬(P ∨ Q) ≡ ¬P ∧ ¬Q
¬(P ∧ Q) ≡ ¬P ∨ ¬Q
Conmutativa (Con.) P ∨Q≡Q∨P
P ∧Q≡Q∧P
Asociativa (Aso.) (P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R)
(P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R)
Distributiva (Dis.) P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)
P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)
Idempotencia (Ide.) P ∧P ≡P
P ∨P ≡P
Neutro (Ne.) P ∨ F0 ≡ P
P ∧ V0 ≡ P
Inversos (Inv.) P ∨ ¬P ≡ V0
P ∧ ¬P ≡ F0
Dominación (Dom.) P ∧ F0 ≡ F0
P ∨ V0 ≡ V0
Absorción (Abs.) P ∨ (P ∧ Q) ≡ P
P ∧ (P ∨ Q) ≡ P
Exportación (Exp.) P → (Q → R) ≡ (P ∧ Q) → R

Tabla 1.1: Equivalencias lógicas.

64 Capı́tulo 1. Fundamentos de lógica

Regla de inferencia Premisas Conclusión

P
Simplificación (Simp.) P ∧Q
Q
P
Adjunción (Adj.) P ∧Q
Q
Adición (Adi.)
P P ∨Q
para cualquier proposición Q
Separación (Sep.) o P
Q
Modus ponens (MP) P →Q
Contraposición o P →Q
¬P
Modus tollens (MT) ¬Q
P ∨Q
Silogismo disyuntivo (SD) Q
¬P
P →Q
Silogismo hipotético (SH) P →R
Q→R
P ∨Q
Dilema constructivo (DC) P →R R∨S
Q→S
¬R ∨ ¬S
Dilema destructivo (DD) P →R ¬P ∨ ¬Q
Q→S
P →Q
Ley de casos (LC) Q∨R
¬P → R

Tabla 1.2: Inferencias lógicas.