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

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