英语 ⇄ 俄语 +

negation-as-inconsistency 强调
编程	отрицание как противоречие (правило в логическом программировании; см. напр., Introduction to logic programming by Ghristopher John Hogger ssn)