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