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.
Suy diễn & quy tắc suy luận
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.
Lịch sử logic học
Logic Trung Cổ không chỉ chép Aristotle: Boethius dịch Organon, thế kỷ XIII có thuyết suppositio và thơ Barbara, Ockham phát biểu bằng lời luật De Morgan.