PanLinx
русский
rus-000
отрицающе-утверждающий модус
English
eng-000
modus tollendo ponens
PanLex