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ừ.
#phép tuyển
Suy diễn & quy tắc suy luận
Suy diễn & quy tắc suy luận
Luật De Morgan là gì: cách phủ định câu có và, hoặc cho đúng
Luật De Morgan: phủ định của p và q là không p hoặc không q; phủ định của p hoặc q là không p và không q. Dùng khi giải bất phương trình, viết code.
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 ý.