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

language of propositional logic מתח
.תִכנו	язык логики высказываний (ssn)