Rolando Flores Aguilar

Formulario Álgebra
Lógica Proposicional 70724970

Tablas De Verdad Leyes Lógicas Reglas de Inferencia

1. Negación 1. Ley De Involución 1. Modus Ponendo Ponens

~(~𝑝) ≡ 𝑝 𝑝⇒𝑞
𝒑 ~𝒑 𝑝
𝑽 𝐹 2. Ley De Idempotencia 𝑞
𝑭 𝑉 𝑝∧𝑝≡𝑝
𝑝∨𝑝≡𝑝 2. Modus Tollendo Tollens
2. Conjunción 𝑝⇒𝑞
3. Ley De Conmutatividad ~𝑞
𝒑 𝒒 𝒑∧𝒒 𝑝∧𝑞 ≡𝑞∧𝑝 ~𝑝
𝑽 𝑉 𝑉 𝑝∨𝑞 ≡𝑞∨𝑝
𝑽 𝐹 𝐹 3. Modus Tollendo Ponens
𝑭 𝑉 𝐹 4. Ley De Asociatividad 𝑝∨𝑞 𝑝∨𝑞
𝑭 𝐹 𝐹 (𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟) ∼𝑝 ∼𝑞
(𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟) 𝑞 𝑝
3. Disyunción
5. Ley de Distributividad 4. Regla De Simplificación
𝒑 𝒒 𝒑∨𝒒 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟) 𝑝∧𝑞 𝑝∧𝑞
𝑽 𝑉 𝑉 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟) 𝑝 𝑞
𝑽 𝐹 𝑉
𝑭 𝑉 𝑉 6. Ley De Identidad 5. Regla De Adjunción
𝑭 𝐹 𝐹 𝑝∧𝑽≡𝑝 𝑝∨𝑽≡𝑽 𝑝
𝑝∧𝑭≡𝑭 𝑝∨𝑭≡𝑝 𝑞
4. Implicación 𝑝∧𝑞
7. Ley de Complemento
𝒑 𝒒 𝒑⇒𝒒 𝑝 ∧ ~𝑝 ≡ 𝑭 ~𝑽 ≡ 𝑭 6. Ley Del Silogismo Hipotético
𝑝 ∨ ~𝑝 ≡ 𝑽 ~𝑭 ≡ 𝑽 𝑝⇒𝑞
𝑽 𝑉 𝑉
𝑽 𝐹 𝐹 𝑞⇒𝑟
8. Ley de Morgan 𝑝⇒𝑟
𝑭 𝑉 𝑉 ~(𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞
𝑭 𝐹 𝑉 ∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞 7. Ley De Adición
𝑝
5. Bicondicional 9. Ley De Absorción 𝑝∨𝑞
𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
𝒑 𝒒 𝒑⟺𝒒 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 8. Ley de Simplificación Disyuntiva
𝑽 𝑉 𝑉 𝑝∨𝑝
𝑽 𝐹 𝐹 10. Ley de Equivalencia 𝑝
𝑭 𝑉 𝐹 Lógica
𝑭 𝐹 𝑉 𝑝 ⇒ 𝑞 ≡ ~𝑝 ∨ 𝑞 9. Ley De Silogismo Disyuntivo
∼ (𝑝 ⇒ 𝑞) ≡ 𝑝 ∧∼ 𝑞 𝑝∨𝑞
6. Diferencia Simétrica 𝑝 ⇔ 𝑞 ≡ (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝) 𝑝⇒𝑟
𝑝 ⇔ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞) ∗ 𝑞⇒𝑠
𝒑 𝒒 𝒑∨𝒒 𝑝 ∨ 𝑞 ≡∼ (𝑝 ⇔ 𝑞) 𝑟∨𝑠
𝑽 𝑉 𝐹 𝑝 ∨ 𝑞 ≡ (𝑝 ∨ 𝑞) ∧ (∼ 𝑝 ∨∼ 𝑞) ∗
𝑽 𝐹 𝑉 (* otros no tan usados) 10. Regla Del Dilema Destructivo
𝑭 𝑉 𝑉 11. Ley De Transposición
∼ 𝑟 ∨∼ 𝑠
𝑭 𝐹 𝐹 𝑝 ⇒ 𝑞 ≡ ~𝑞 ⇒ ~𝑝 𝑝⇒𝑟
12. Ley De Exportación
𝑞⇒𝑠
(𝑝 ∧ 𝑞) ⇒ 𝑟 ≡ 𝑝 ⇒ (𝑞 ⇒ 𝑟) ∼ 𝑝 ∨∼ 𝑞