Đảo hiệp sĩ & kẻ nói dối
Giả sử mỗi người là hiệp sĩ hoặc kẻ nói dối, kiểm lời từng người, loại kịch bản mâu thuẫn. Bốn bước, ba câu đố 2–4 người có bảng kiểm đủ trường hợp.
Câu đố lời khai & tìm thủ phạm
Câu "nếu An có mặt thì Bình có mặt" chỉ sai khi An có mặt mà Bình vắng; An vắng thì câu vẫn đúng. Lời điều kiện bị sai cho biết chắc hai điều cùng lúc.
Suy diễn & quy tắc suy luận
Modus ponens: có nếu p thì q và có p, suy ra q. Modus tollens: có nếu p thì q và không q, suy ra không p. Cả hai hợp lệ, là gạch nền của mọi chứng minh.
Suy diễn & quy tắc suy luận
Từ nếu p thì q và q mà kết luận p, hoặc từ không p mà kết luận không q, đều là lỗi hình thức: có trường hợp p sai, q đúng làm tiền đề đúng, kết luận sai.
Suy diễn & quy tắc suy luận
Phép kéo theo p → q chỉ sai khi p đúng mà q sai. Vế trước sai thì câu đúng một cách rỗng; nó không đòi quan hệ nhân quả, khác chữ nếu trong lời nói thường.
Logic trong lời nói hằng ngày
"p chỉ khi q" là p → q; "p miễn là q" là q → p; "p trừ khi q" là ¬q → p. Cách tự kiểm: hỏi tình huống nào làm người nói sai lời, rồi đặt mũi tên cho khớp.
Logic trong lời nói hằng ngày
Lời hứa "nếu con đạt p thì bố mẹ q" chỉ bị phá khi con đạt p mà không có q. Con chưa đạt thì thưởng hay không đều không trái lời — đúng bảng chân trị p → q.
Logic trong lời nói hằng ngày
Câu phản thực không đọc được bằng p → q vì tiền kiện luôn sai. Theo Stalnaker và Lewis, nó đúng khi ở tình huống giống thực tế nhất có p thì cũng có q.
