PanLinx
русский
rus-000
эквивалентность высказываний
English
eng-000
equivalence of propositions
PanLex