英语 ⇄ 俄语 +

statement in mathematical logic 强调
人工智能	высказывание на языке логики высказываний (Alex_Odeychuk); высказывание в символической форме (Alex_Odeychuk)