Önerme Mantığı ile Yüklem Mantığı
Matematik
Aritmetik
Çok Önemli
Özet
Ö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.