#Formal Logic

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.