PanLinx
eesti
ekk-000
propositsioonifunktsioon
English
eng-000
propositional function
PanLex