𝑃 𝑄

𝑃⇔𝑄
 𝑝 ~𝑝

𝑝⇒𝑝 𝑝⇔𝑝
𝑝∧𝑉 ⇔𝑝 𝑝∨𝑉 ⇔𝑉
~ ~𝑝 ⇔ 𝑝
𝑝∨𝐹 ⇔𝐹; 𝑝∧𝐹 ⇔𝐹 𝑝 ∨ ~𝑝 ⇔ 𝑉
𝑝 ∧ ~𝑝 ⇔ 𝐹

𝑝⇒𝑝∨𝑞 𝑞 ⇒𝑝∨𝑞 𝑝∨ 𝑝∧𝑞 ⇔𝑝

𝑝∧𝑞 ⇒𝑝 𝑝∧𝑞 ⇒𝑞 𝑝∧
𝑝⇒𝑝 𝑝∧ 𝑝∨𝑞 ⇔𝑝 𝑝∧𝑝 ⇒𝑝 𝑝∨𝑝⇒𝑝
 𝑝 ⇒ 𝑞 ⇔ ~𝑝 ∨ 𝑞

𝑝∧𝑞 ∧𝑟 ⇔𝑝∧ 𝑞∧𝑟

𝑝∧𝑞 ⇔ 𝑞∧𝑝 𝑝∨𝑞 ∨𝑟 ⇔𝑝∨ 𝑞∨𝑟
𝑝∨𝑞 ⇔ 𝑞∨𝑝 𝑝⇔𝑞 ⇔𝑟 ⇔ 𝑝⇔ 𝑞⇔𝑟 𝑝 ⇒ 𝑞 ⇔ ~ 𝑝 ∧ ~𝑞
𝑝⇔𝑞 ⇔ 𝑞⇔𝑝

𝑝⇔𝑞 ⇔ 𝑝⇒𝑞 ∧ 𝑞⇒𝑝 𝑝 ⇒ 𝑞 ⇔ ~𝑞 ⇒ ~𝑝 𝑝 ⇔ 𝑞 ⇔ ~𝑞 ⇔ ~𝑝

𝑝∧ 𝑞∨𝑟 ⇔ 𝑝∧𝑞 ∨ 𝑝∧𝑟
~ 𝑝 ∧ 𝑞 ⇔ ~𝑝 ∨ ~𝑞

𝑝∨ 𝑞∧𝑟 ⇔ 𝑝∨𝑞 ∧ 𝑝∨𝑟

~ 𝑝 ∨ 𝑞 ⇔ ~𝑝 ∧ ~𝑞
𝑝⇒ 𝑞∧𝑟 ⇔ 𝑝⇒𝑞 ∧ 𝑝⇒𝑟
𝑝⇒ 𝑞∨𝑟 ⇔ 𝑝⇒𝑞 ∨ 𝑝⇒𝑟
 𝒑⇒𝒑 ∨𝒒 𝒑 ⇒ 𝒑 ∨ ~𝒒 ∧ ~𝒑 ∧ ~𝒑 ∨ 𝒒

𝑝⇒𝑝 ∨𝑞 𝑝 ⇒ 𝑝 ∨ ~𝑞 ∧ ~𝑝 ∧ ~𝑝 ∨ 𝑞
𝑝 ∨ ~𝑝 ∨ 𝑞 Ley del condicional ~𝑝 ∨ 𝑝 ∨ ~𝑞 ∧ ~𝑝 ∧ ~𝑝 ∨ 𝑞 Ley del condicional

V∨𝑞 Ley del tercio excluido ~𝑝 ∨ 𝑝 ∨ ~𝑞 ∧ ~𝑝 Ley de la absorción

𝑞 Ley de la identidad ~𝑝 ∨ 𝑝 ∨ ~𝑞 ∧ ~𝑝 Ley de asociatividad

𝑉 ∨ ~𝑞 ∧ ~𝑝 Ley del tercio

excluido

𝑉 ∧ ~𝑝 Ley de la identidad

~𝑝 Ley de la identidad
𝑝∶

𝑞:
𝑝∶
𝑞∶
𝑟∶
𝑟:
𝑝 ∧𝑞 ⇒𝑟
~𝑟

∴ ~𝑝 ∧ ~𝑞
𝑝: 𝑝: 𝑝:

𝑞: 𝑞: 𝑞:

𝑟: 𝑟: 𝑟:
𝑝:
𝑝: 𝑝: 𝑝:

𝑞: 𝑞: 𝑞:
𝑞:

𝑟: 𝑟: 𝑟:

𝑟:
¡Éxitos!
o