Terms for subject Programming containing propositional

English	Russian
completeness in propositional logic	полнота в логике высказываний (ssn)
inconsistent propositional formula	противоречивая формула высказываний (ssn)
language of propositional logic	язык логики высказываний (ssn)
propositional connective	логическая связка (ssn)
propositional formula	формула высказываний (ssn)
rules of substitution for propositional and functional variables	правила подстановки для пропозициональных и функциональных переменных (ssn)
transforming english to propositional form	перевод с естественного языка на язык высказываний (ssn)
valid propositional formula	общезначимая формула высказываний (ssn)
well-formed propositional formula	правильная формула высказываний (ssn)