| 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) |
