predikaattilogiikka

Etymology
🇰🇲

Noun

 * 1)  predicate logic