Cтраница 2
Обратимся теперь к вопросу об общих методах доказательства общезначимости формулы и посмотрим, что мы можем здесь заимствовать из исчисления высказываний. Теорема 2.2 ( если теперь Л eq В приписать смысл, соответствующий нашей теперешней оценочной процедуре) и теорема 2.3 переходят в новое исчисление без изменения. В доказательствах используются по существу прежние рассуждения. Сущность теоремы 2.1 заключается в возможности доказать общезначимость формулы, не разделяя ее на простые компоненты. Та же техника применяется и в исчислении предикатов. Назовем формулу исчисления предикатов простой в исчислении высказываний, если в ней отсутствуют сентенциональные связки. [16]