Yüklem Analizi

Tek tek önermelerdeki öğeler arasındaki ilişkilerin yanı sıra bütün olarak önermeler arasındaki ilişkilerle ilgilenen sembolik mantık sistemi. yüklem hesabı olarak da adlandırılır. önermesel analizi karşılaştırın.