Cтраница 4
Во-вторых, вы должны быть осторожны, приписывая модели некий оттенок общезначимости, которой она может быть не заслуживает. Следует допускать только приемлемые априорные предположения. [46]
В § § 1.1.7 и 1.1.8 были описаны алгоритмы проверки выполнимости и общезначимости логических формул. В § 1.1.10 было введено понятие эквивалентной нормальной формы и предложен ( теорема 1.1) алгоритм преобразования произвольной логической формулы в эквивалентную ей нормальную форму. Цель этого параграфа состоит в. [47]
Метод истинностных таблиц является хорошо известной эффективной процедурой для решения вопроса об общезначимости произвольного предложения пропозиционального исчисления. [48]
Выяснялось, что доказательство тавтологий - более трудоемкое дело, чем просто проверка общезначимости. Следовательно, может возникнуть вопрос о пользе аксиоматических систем. Действительно, аксиоматизация исчисления высказываний сама по себе бесполезна, так как существуют относительно эффективные алгоритмические средства для определения того, является или нет формула тавтологией. [49]
Известно, что для исчисления предикатов первого порядка не существует общего метода установления общезначимости любых формул, т.е. исчисление предикатов первого порядка является неразрешимым. Однако если некоторая формула исчисления предикатов общезначима, то существует процедура для проверки ее общезначимости, т.е. исчисление предикатов можно назвать полу разрешимым. [50]
Аристотелю, логики, в структурах, где принцип tertium поп datur утрачивает свою общезначимость и где появляются модальности, вводятся конструкции, отображающие логику микромира и другие нестандартные реалии бытия и мысли. [51]