predicate logic
predikaattilogiikka
predikatlogik
logic
logik
logiikka
sentence logic
lauselogiikka
satslogik