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

logical derivability מתח
.מָתֵי	логическая выводимость