רוסית ⇄ אנגלית גרמנית

правило удаления дизъюнкции מתח
.מָתֵי, .לָטִי	modus tollendo ponens