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

propositional inference מתח
.מָתֵי	пропозиционный вывод; пропозициональный вывод