PanLinx
русский
rus-000
пропорциональная функция
English
eng-000
propositional function
PanLex