Logic as a tool a guide to formal logical reasoning ( PDFDrive ) 296
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (47.92 KB, 1 trang )
272
Logic as a Tool
Section 2.3
2.3.1 .(a) The formula is not a tautology:
((p → q) → q) → q : F
(p → q) → q : T , q : F
p→ q:F
q:T
×
p : T, q : F
(c) Tautology:
((p → q) ∧ (p → ¬q)) → ¬p : F
(p → q) ∧ (p → ¬q) : T , ¬p : F
p:T
p → q : T , p ơq : T
p:F
ì
q:T
p:F
ì
ơq : T
q:F
×
