Terms for subject Artificial intelligence containing logic statement

English	Russian
statement in mathematical logic	высказывание на языке логики высказываний (Alex_Odeychuk)
statement in mathematical logic	высказывание в символической форме (Alex_Odeychuk)