CHƯƠNG 6 – CÁC PHƯƠNG PHÁP LẬP LUẬN TRÊN LOGIC MỆNH ĐỀ

2.4 Các câu hằng đúng: Trong logic mệnh đề, ta có: 9 ¬¬A ⇔ A (luật phủ định kép) 9 A ∨ ¬A (luật loại trừ) 9 (A ⇔ B) ⇔ (A⇒B) ∧ (B⇒A) 9 (A⇒B) ⇔ ¬A ∨ B 9 ¬ (A∨B) ⇔ ¬A ∧ ¬B (luật DeMorgan đối với phép ∨) 9 ¬ (A∧B) ⇔ ¬A ∨ ¬B (luật DeMorgan đối với phép ∧) 9 C ∨ (A∧B) ⇔ (C∨A) ∧ (C∨B) (luật phân phối phép ∨ đối với phép ∧) 9 C ∧ (A∨B) ⇔ (C∧A) ∨ (C∧B) (luật phân phối phép ∧ đối với phép ∨) 9 (A ∧ (A⇒B)) ⇒B (Tam đoạn luận) 9 Luật phân giải (xem mục 4)