TABLAS

Tablas DE
De VERDAD
Verdad LEYES
LeyesLÓGICAS
Lógicas INFERENCIAS LOGICAS
Reglas de Inferencia

1. Negación 1. Involución 1. Modus Ponendo Ponens (MPP)

~(~𝑝) ≡ 𝑝 𝑝⇒𝑞
𝒑 ~𝒑 𝑝
𝑉 𝐹 2. Idempotencia 𝑞
𝐹 𝑉 𝑝∨𝑝≡𝑝
𝑝∧𝑝≡𝑝 2. Modus Tollendo Tollens (MTT)
2. Conjunción 𝑝⇒𝑞
3. Conmutatividad ~𝑞
𝒑 𝒒 𝒑∧𝒒 𝑝∧𝑞 ≡𝑞∧𝑝 ~𝑝
𝑉 𝑉 𝑉 𝑝∨𝑞 ≡𝑞∨𝑝
𝑉 𝐹 𝐹 3. Modus Tollendo Ponens (MTP)
𝐹 𝑉 𝐹 4. Asociatividad 𝑝∨𝑞 𝑝∨𝑞
𝐹 𝐹 𝐹 (𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟) ∼𝑝 ∼𝑞
(𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟) 𝑞 𝑝
3. Disyunción Incluyente 4. Silogismo Hipotético (SH)
5. Distributiva 𝑝⇒𝑞
𝒑 𝒒 𝒑∨𝒒 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟) 𝑞⇒𝑟
𝑉 𝑉 𝑉 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟) 𝑝⇒𝑟
𝑉 𝐹 𝑉
6. Morgan 5. Simplificación (S)
𝐹 𝑉 𝑉
~(𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞 𝑝∧𝑞 𝑝∧𝑞
𝐹 𝐹 𝐹
∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞 𝑝 𝑞
4. Condicional
7. Condicional 6. Adición de Conjunción (AC)
𝑝 ⇒ 𝑞 ≡∼ 𝑝 ∨ 𝑞 𝑝
𝒑 𝒒 𝒑⇒𝒒
∼ 𝑝 ⇒∼ 𝑞 ≡ 𝑝 ∨∼ 𝑞 𝑞
𝑉 𝑉 𝑉 8. Bicondicional
𝑉 𝐹 𝐹 𝑝∧𝑞
𝑝 ⇔ 𝑞 ≡ (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝)
𝐹 𝑉 𝑉
7. Dilema Disyuntiva (DD)
𝐹 𝐹 𝑉 9. Complemento 𝑝⇒𝑞
𝑝 ∧ ~𝑝 ≡ 𝑭 𝑡⇒𝑠
5. Bicondicional 𝑝 ∨ ~𝑝 ≡ 𝑽 𝑝∨𝑡
𝒑 𝒒 𝒑⟺𝒒 𝑞∨𝑠
10. Identidad
𝑉 𝑉 𝑉 𝑝∧𝑽≡𝑝 8. Adición Disyuntiva (AD)
𝑉 𝐹 𝐹 𝑝∨𝑭≡𝑝 𝑝
𝐹 𝑉 𝐹
𝑝∨
𝐹 𝐹 𝑉 11. Absorción
𝑝∧𝑭≡𝑭
6. Disyunción Excluyente 𝑝∨𝑽≡𝑽
12. Ley
𝒑 𝒒 𝒑∨𝒒 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
𝑉 𝑉 𝐹 ~𝑝 ∧ (~𝑝 ∨ 𝑞) ≡ ~𝑝
𝑉 𝐹 𝑉
𝐹 𝑉 𝑉 13. Ley
𝐹 𝐹 𝐹 𝑝 ∨ (~𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
~𝑝 ∧ (𝑝 ∨ 𝑞) ≡ ~𝑝 ∧ 𝑞