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

inconsistent propositional formula מתח
.תִכנו	противоречивая формула высказываний (ssn)