sentence logic
lauselogiikka
satslogik
predicate logic
predikatlogik
predikaattilogiikka
logic
logik
logiikka