( Önerme mantığı önermeler arası ilişkiler İLE yüklem mantığı önermelerin iç yapısını inceler. Önerme mantığı ve, ya da, değil bağlaçları İLE yüklem mantığı niceleyiciler (tüm, bazı) kullanır. Önerme mantığı daha basit İLE yüklem mantığı daha güçlü ifade gücüne sahiptir. )

( Gottlob Frege tarafından 1879 yılında keşfedildi/formüle edildi. (1848-1925) (Ülke: Almanya) (Alan: Matematik, Mantık, Felsefe) (Önemli katkıları: Modern mantığın kurucusu, önerme mantığı, yüklem mantığı, anlam ve gönderim ayrımı, matematiksel mantık gösterimi) )