Terms containing propositional variable

Subject	English	Russian
math.	alphabetic change of bound propositional and functional variables	алфавитная замена связанных пропозициональных и функциональных переменных (ssn)
math.	bound propositional and functional variables	связанные пропозициональные и функциональные переменные (ssn)
math.	change of bound propositional and functional variables	замена связанных пропозициональных и функциональных переменных (ssn)
math.	propositional and functional variables	пропозициональные и функциональные переменные (ssn)
math.	propositional variable	пропозициональная переменная (ssn)
math., logic	propositional variable	пропорциональная переменная
comp.	propositional variable	высказывательная переменная
math.	rule of alphabetic change of bound propositional and functional variables	правило алфавитной замены связанных пропозициональных и функциональных переменных (ssn)
progr.	rules of substitution for propositional and functional variables	правила подстановки для пропозициональных и функциональных переменных (ssn)