Augustus De Morgan
Augustus De Morgan var en britisk matematiker og logiker. Han studerede i Cambridge og var fra 1828 professor i London. Han reformerede den aristoteliske logik og lagde bl.a. i bogen Formal Logic (1847) grunden til prædikatslogikken. I denne forbindelse formulerede