Lập bảng sai/ dài dòng

- Lập bảng ngữ nghĩa:

((A  B) & ((B & C)  D))  ( A   D)
S Đ X Đ X Đ Đ S Đ S S S Đ
S Đ Đ Đ Đ Đ Đ Đ Đ S Đ S S S Đ
S Đ Đ Đ Đ S S Đ Đ S Đ S S S Đ
S Đ Đ S Đ Đ Đ S Đ S S S Đ
S Đ S Đ S S S Đ Đ S Đ S S S Đ

 Bảng không đóng, không phải quy luật logic, suy luận trên không
hợp logic

 Công thức biểu thị suy luận: ((A ⸧ B) & ((B & C) ⸧ D)) ⸧ ( A ⸧  D)

((A ⸧ B) & ((B & C) ⸧ D)) ⸧ ( A ⸧  D)

S Đ Đ Đ Đ S Đ S S S Đ

Không xảy ra mâu thuẫn => suy luận không hợp logic

 Công thức ((p ⸧ q) & ((q & r) ⸧ s)) ⸧ (¬ p ⸧ ¬ s)

((p ⸧ q) & ((q & r) ⸧ s)) ⸧ (¬ p ⸧ ¬s
Đ Đ Đ Đ Đ Đ Đ Đ Đ S Đ S S

((P  Q) & ((Q & R)  U)  (¬P  ¬U)

Ta có bảng ngữ nghĩa:
((P  Q) & ((Q & R)  U)  (¬ P  ¬ U)
S Đ X Đ X Đ Đ S Đ S S S Đ

S Đ Đ Đ Đ Đ Đ Đ Đ S Đ S S S Đ

S Đ Đ Đ Đ S S Đ Đ S Đ S S S Đ

S Đ Đ S Đ Đ Đ S Đ S S S Đ

S Đ S Đ S S S Đ Đ S Đ S S S Đ