Predikatuak, haien propietateak eta eragiketak aztertzen dituen logika. Aldagai eta kuantifikatzaileen bidez lan egiten du. Predikatuen logikak proposizioen barne-egitura hartzen du kontuan.