英语 ⇄ 乌克兰语 俄语 +

propositional inference 强调
数学	пропозиционный вывод; пропозициональный вывод