Definitsioon: loogika haru, mis uurib mõistete, otsustuste, järelduste ja tõestuste struktuuri (EKSS)
Mõiste: predikaatloogika
Ülemmõiste: loogika