Önermesel Analiz

Tek tek önermelerdeki öğeler arasındaki ilişkilerle değil, yalnızca bütün olarak önermeler arasındaki mantıksal ilişkilerle ilgilenen sembolik mantık sistemi. önermeler hesabı olarak da adlandırılır. yüklem analiziyle karşılaştırın.