Terms for subject Mathematics containing propositional variable

English	Russian
alphabetic change of bound propositional and functional variables	алфавитная замена связанных пропозициональных и функциональных переменных (ssn)
bound propositional and functional variables	связанные пропозициональные и функциональные переменные (ssn)
change of bound propositional and functional variables	замена связанных пропозициональных и функциональных переменных (ssn)
propositional and functional variables	пропозициональные и функциональные переменные (ssn)
propositional variable	пропозициональная переменная (ssn)
propositional variable	пропорциональная переменная
rule of alphabetic change of bound propositional and functional variables	правило алфавитной замены связанных пропозициональных и функциональных переменных (ssn)