PanLinx
English
eng-000
contraposition of implication
русский
rus-000
контрапозиция импликации
PanLex
