Leyes lógicas
- 1. L E Y E S L Ó G I C A S
~(𝑝 ∧ 𝑞) ≡ ~𝑝 ∨ ~𝑞
~(𝑝 ∨ 𝑞) ≡ ~𝑝 ∧ ~𝑞
𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
𝑝 → 𝑞 ≡ ~𝑝 ∧ ~𝑞
𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝
𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝 ∧ 𝑞) ∧ 𝑟
𝑝 ∨ (𝑞 ∨ 𝑟) ≡ (𝑝 ∨ 𝑞) ∨ 𝑟
𝑝 ↔ (𝑞 ↔ 𝑟) ≡ (𝑝 ↔ 𝑞) ↔ 𝑟
𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝
𝑝 ∨ 𝑞 ≡ 𝑞 ∨ 𝑝
𝑝 ↔ 𝑞 ≡ 𝑞 ↔ 𝑝
𝑝 ∧ 𝑝 ≡ 𝑝
𝑝 ∨ 𝑝 ≡ 𝑝
𝑝 ↔ 𝑝 ≡ 𝑝
𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
𝑝 → (𝑞 ∧ 𝑟) ≡ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)
𝑝 → (𝑞 ∨ 𝑟) ≡ (𝑝 → 𝑞) ∨ (𝑝 → 𝑟)
𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
𝑝 ∧ (~𝑝 ∨ 𝑞) ≡ 𝑝 ∧ 𝑞
𝑝 ∨ (~𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
𝑝 ∧ 𝑉 ≡ 𝑝
𝑝 ∧ 𝐹 ≡ 𝐹
𝑝 ∨ 𝑉 ≡ 𝑉
𝑝 ∨ 𝐹 ≡ 𝑝
𝑝 ∧ ~𝑝 ≡ 𝐹
𝑝 ∨ ~𝑝 ≡ 𝑉
~(~𝑝) ≡ 𝑝
[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] ⇒ (𝑝 → 𝑟)
L E Y E S L Ó G I C A S
~(𝑝 ∧ 𝑞) ≡ ~𝑝 ∨ ~𝑞
~(𝑝 ∨ 𝑞) ≡ ~𝑝 ∧ ~𝑞
𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
𝑝 → 𝑞 ≡ ~𝑝 ∧ ~𝑞
𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝
𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝 ∧ 𝑞) ∧ 𝑟
𝑝 ∨ (𝑞 ∨ 𝑟) ≡ (𝑝 ∨ 𝑞) ∨ 𝑟
𝑝 ↔ (𝑞 ↔ 𝑟) ≡ (𝑝 ↔ 𝑞) ↔ 𝑟
𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝
𝑝 ∨ 𝑞 ≡ 𝑞 ∨ 𝑝
𝑝 ↔ 𝑞 ≡ 𝑞 ↔ 𝑝
𝑝 ∧ 𝑝 ≡ 𝑝
𝑝 ∨ 𝑝 ≡ 𝑝
𝑝 ↔ 𝑝 ≡ 𝑝
𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
𝑝 → (𝑞 ∧ 𝑟) ≡ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)
𝑝 → (𝑞 ∨ 𝑟) ≡ (𝑝 → 𝑞) ∨ (𝑝 → 𝑟)
𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
𝑝 ∧ (~𝑝 ∨ 𝑞) ≡ 𝑝 ∧ 𝑞
𝑝 ∨ (~𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
𝑝 ∧ 𝑉 ≡ 𝑝
𝑝 ∧ 𝐹 ≡ 𝐹
𝑝 ∨ 𝑉 ≡ 𝑉
𝑝 ∨ 𝐹 ≡ 𝑝
𝑝 ∧ ~𝑝 ≡ 𝐹
𝑝 ∨ ~𝑝 ≡ 𝑉
~(~𝑝) ≡ 𝑝
[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] ⇒ (𝑝 → 𝑟)