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

rules of substitution for propositional and functional variables מתח
.תִכנו	правила подстановки для пропозициональных и функциональных переменных (ssn)