sentence logic
lauselogiikka
satslogik
predicate logic
predikaattilogiikka
predikatlogik
logic
logik
logiikka