Cтраница 4
Каждая формула представляет собой форму сложных высказываний: она превращается в высказывание, если в нее вместо переменных подставить к. Понятие общезначимой пропозициональной формулы становится математически точным после того или иного уточнения понятия высказывания и смысла логич. [46]
Существует ли способ для выяснения в конечное число шагов тождественной истинности произвольной пропозициональной формулы. Как следует видоизменить определение пропозициональной формулы, чтобы все такие формулы можно было бы записывать словами конечного алфавита. [47]
И ( истина) или Л ( ложь), причем истинностное значение составного высказывания однозначно определяется истинностными значениями входящих в него более простых высказываний. Это позволяет ограничиться подстановкой в пропозициональные формулы только истинностных значений высказываний и вычислением значения формулы в соответствии с классич. И и Л вместо переменных формула принимает значение И. [48]