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.
#Augustus De Morgan
Suy diễn & quy tắc suy luận
Quy nạp & suy luận khoa học
Quy nạp toán học và quy nạp khoa học: cùng tên mà khác bản chất
Quy nạp toán học là suy diễn: có bước cơ sở và bước chuyển thì kết luận chắc chắn cho mọi n. Quy nạp khoa học khái quát từ quan sát nên luôn có thể bị bác bỏ.
Lịch sử logic học
Augustus De Morgan và cuộc đổi mới logic học ở thế kỷ 19
Augustus De Morgan đưa vào vũ trụ thảo luận, tam đoạn luận với chữ "phần lớn" và logic quan hệ. Hai luật phủ định mang tên ông vốn đã được Ockham nêu từ trước.