Элементы математической логики

Пример 4.Составим таблицу истинности для формулы

Пример 5. Формализовать высказывание: «если самолет вылетел согласно расписанию и по маршруту следования были хорошие метеоусловия, то самолет прилетает в аэропорт назначения по расписанию».

Перечислим следующие высказывания: – «самолет вылетел по расписанию», высказывание – «по маршруту следования были хорошие метеоусловия», – «самолет прилетает в аэропорт назначения по расписанию». Тогда исходное высказывание можно записать в виде следующей логической формулы: .

Пример 6.Формализовать высказывание: «неверно, что число 100 делится на 11 и делится на 3».

Пусть есть высказывание «100 делится на 11», – высказывание «100 делится на 3». Исходное высказывание можно записать в виде .

Мы уже видели, что для выяснения значения истинности любой формулы в эту формулу подставляют упорядоченный набор значений истинности высказываний . Каждый такой конкретный набор значений истинности (т.е. элемент множества , где ) называется интерпретацией формулы .

Определение 7.Формула называется общезначимой (или тавтологией), если она истинна в любой интерпретации.

Для обозначения общезначимой формулы используют запись (тавтология обозначается символом ö).

Пример 7. ,что подтверждается таблицей

Определение 8.Формула называется противоречивой (иликонтрадикцией), если она ложна в любой интерпретации. Для обозначения противоречивой формулы используют запись .

Пример 8. ,что соответствует таблице

Используя тавтологию и контрадикцию, мы получаем возможность оперировать формулами, содержащими символы 1 и 0 , — таковы, например, формулы или .

Определение 9.Формула называется выполнимой, если она истинна не во всех интерпретациях.

Пример 9. —выполнимая формула , поскольку в интерпретации, когда истинно, истинно, эта формула является ложной.

Определение 10. Формула логически следует из формулы (запись ), если формула имеет значение «истина» во всех тех интерпретациях, при которых формула имеет значение «истина».

Следующая теорема, которую мы приводим без доказательства, задает критерий справедливости логического следования.

Теорема 1. Формула логически следует из формулы в том и только в том случае, когда импликация является общезначимой, т.е. .

Определение 11.Две формулы и называютсялогически эквивалентными (илиравносильными), если их эквиваленция есть тавтология при любых наборах значений истинности высказываний , .

Для равносильных формул и обычно используют запись . Согласно определению 11, равносильность двух формул означает, что и одновременно .

Пример 10. . Две указанные формулы равносильны, так как их эквиваленция есть тавтология

Нетрудно заметить, что две формулы являются равносильными, если их логические значения совпадают на любых одинаковых упорядоченных наборах значений истинности высказываний, входящих в состав формул (сравните четвертый и последний столбцы).

Отметим, наконец, что сама форма записи логических формул допускает существенные упрощения. Мы пока лишь условимся опускать внешние скобки в обозначениях формул. Другие возможные упрощения будут обсуждаться в следующем разделе.

Основные законы логики

Общезначимые формулы выполняют особую роль в математической логике, так как они отражают ее основные законы.

Для любых высказываний и справедливы следующие законы логики:

1) коммутативность дизъюнкции и конъюнкции:

, ;