Suy diễn & quy tắc suy luận
Tam đoạn luận giả định và tam đoạn luận lựa chọn trong logic
Tam đoạn luận giả định nối nếu p thì q, nếu q thì r thành nếu p thì r. Tam đoạn luận lựa chọn: p hoặc q, không p, vậy q. Bẫy nằm ở chữ hoặc loại trừ.
#hoặc loại trừ
Suy diễn & quy tắc suy luận
Logic & máy tính
Đèn cầu thang hai công tắc: phép XOR ngay trong nhà giải thích dễ hiểu
Đèn cầu thang bật tắt ở hai đầu vì trạng thái đèn là XOR (hoặc XNOR) của hai công tắc hai chiều: gạt bất kỳ công tắc nào, đèn cũng đổi trạng thái.
Logic trong lời nói hằng ngày
Hoặc bao hàm và hoặc loại trừ: "trà hoặc cà phê" nghĩa là gì
Hoặc bao hàm (p ∨ q) đúng khi ít nhất một vế đúng, kể cả cả hai; hoặc loại trừ (XOR) đúng khi đúng một vế. "Trà hoặc cà phê" loại trừ là nhờ ngữ cảnh và hàm ý.