ЛЕКЦИЯ 1

ЛОГИКА ВЫСКАЗЫВАНИЙ

Слово «логика» происходит от древнегреческого «логос»: «понятие», «разум»,

рассуждение».
Логика – наука о мышлении, о правильных рассуждениях, о приемах и методах познания с
помощью рассуждений.

Традиционная Математическая
логика логика

Исследует Исследует
законы формальные
правильного структуры
мышления рассуждений

Основные методологические принципы формальной логики

Принцип тождества.
Один и тот же термин используется всегда в одном и том же смысле.
Если истинность какого-либо факта установлена, то она не подвергается сомнению.

Принцип непротиворечивости.
Утверждая что-либо, нельзя отрицать то же самое.
Один и тот же факт (высказывание) не может быть одновременно истинным и ложным.
Например, высказывание Сократа «Я знаю, что я ничего не знаю» противоречиво, так как
одновременно утверждает и опровергает один и тот же факт: если Сократ знает, что он
ничего не знает, то он не знает также и этого.

Принцип исключенного третьего.

Нельзя одновременно отвергать высказывание и его отрицание.
Любое высказывание может быть либо истинным, либо ложным, – третьего не дано.

Принцип достаточного основания.

Всякое высказывание должно быть обосновано, т.е. истинность утверждения нельзя
принимать на веру.
Если утверждение выводится из каких-либо суждений, данных, фактов – оснований, то их
должно быть достаточно для установления истинности утверждения.

АЛГЕБРА ВЫСКАЗЫВАНИЙ
Основные понятия

Суждение, или высказывание – это мысль, в которой утверждается наличие

или отсутствие каких-либо фактов или связей между фактами.

Они выражаются повествовательными предложениями.

Простые высказывания
Определение 1. Простое высказывание — это простое повествовательное предложение,
относительно которого можно однозначно сказать, истинно оно или ложно.
Вопросительные и восклицательные предложения высказываниями не являются.

Логические значения Истинно (True) и Ложно (False) будем обозначать соответственно T

и F.
Логическая истинность простого высказывания устанавливается на основании
действительности: известных фактов, законов и т.п.

Примеры:
«Москва – столица России» – истинное высказывание, оно имеет значение True
(«истинно»).
«5 > 10» – ложное высказывание, оно имеет значение False («ложно»).
«Все люди смертны» – истинное высказывание.
«Некоторые люди – юристы» – истинное высказывание.

Каждое простое высказывание обозначают символами латинского алфавита (с индексами

или без индексов), которые называют пропозициональными символами: A, B, C, A1, A2….

Сложные высказывания
Сложные высказывания составляются из простых с помощью союзов «не», «и», «а»,
«или», «если ..., то...», «… тогда, когда…», «тогда и только тогда», «если и только если» и
др.
 Логические связки
«не» отрицание 
«и», «а» конъюнкция &
«или» дизъюнкция 
«если …, то …» импликация 
«тогда и только тогда, когда», эквивалентность 
«если и только если»

Примеры. «Лондон – столица Англии»  A,

«Лондон не является столицей Англии»   A.
«Самый большой город Англии, Лондон (A), является ее столицей (B)»  AB;
«Население Канады говорит на английском (A) или на французском языке (B)»  A  B;
«Если воробей – птица (A), то у него есть крылья (B)»  A  B;
«Животное является птицей (A) тогда и только тогда, когда у него есть крылья (B)» 
A  B.

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

Отрицание
В традиционной логике различают утвердительные и отрицательные суждения.
В логике высказываний отрицательные суждения получаются из утвердительных с
помощью логической операции отрицания.

A A Если высказывание: A  «Воробей – птица» истинно,

то высказывание A  «Воробей не птица» – ложно.
F T
A  A  «Неверно, что воробей не птица» 
T F «воробей – птица».
Конъюнкция A & B, соответствующая союзам «и», «а», истинна в том и только том
случае, если истинны оба входящих в нее высказывания.
A B A&B A & B = B& A – коммутативность
F F F A & (B&C) = (A &B)& C – ассоциативность
F T F Принцип непротиворечивости
T F F (закон противоречия):
T T T A&A F

Примеры.
На улице идет дождь (A) с сильным ветром (B)  A & B.
На улице сильный ветер (B) и дождь (A)  B& A.
Девушка вышла замуж (A) и родила ребенка (B)  A & B.
Девушка родила ребенка (B) и вышла замуж (A)  B & A.

Дизъюнкция A  B, соответствующая союзу «или», истинна в любом случае, когда

истинно хотя бы одно входящее в нее высказывание, и ложна только в том случае, если
оба простых высказывания ложны.
A B AB A  B = B  A – коммутативность
F F F Ассоциативность:
F T T A  (B  C) = (A  B)  C
T F T Закон исключенного третьего:
T T T AA T

Примеры.
Дважды два – четыре (A) или пять(B)  A  B.
А за окном то снег (A), то дождь (B)  A  B.
Больной либо умрет (A), либо выживет (A)  A  A.

Импликация A  B выражает логическую (чаще всего – причинно-следственную) связь

между высказываниями A и B и формализует естественное умозаключение, в котором из
посылки (антецедента) A следует заключение (консеквент) B.
 A B AB
Принцип тождества (закон
F F T утверждения консеквента):
F T T AAT
T F F
T T T

Таблица истинности импликации отражает правильные (достоверные) умозаключения.

Умозаключение будет правильным (истинным) в том случае, если из истинной посылки
следует истинное заключение: T  T = T, и будет ложным, если из истинной посылки
выведено ложное заключение: T  F = F.
Если же посылка ложна, то из нее можно вывести как ложное, так и истинное заключение,
– умозаключение остается истинным в обоих случаях: F  T = T, F  F = T, – из лжи
следует все, что угодно.

Обычно импликация выражает некоторое правило, которое выражает необходимость

истинности посылки для того, чтобы выполнялась истинность заключения, например:
«Если воду нагреть до 100 градусов, то она закипит».
«Чтобы получить диплом, нужно закончить институт».
«Если кошка перебежит дорогу, то случится неприятность».
«Когда на небе тучи, может пойти дождь».

Эквивалентность A  B утверждает равнозначность (равносильность, тождественность)

двух утверждений A и B; она истинна тогда, когда истинностные значения A и B
совпадают.
A B AB
F F T
F T F
T F F
T T T

Эквивалентность A  B утверждает не только необходимость условия A для того, чтобы

было истинно B, но и достаточность этого условия, т.е. А  В = (А  В)  (В  А), где
А  В выражает необходимость А, а В  А – достаточность А.
Например, утверждение: «Птицы летают над морем – земля близка», – выражает
одновременно два утверждения: необходимость условия – «Если птицы летают над
морем, то близка земля», и достаточность: «Если земля близко, то птицы летают над
морем».

Определение формулы (пропозициональной формы).

Сложное высказывание можно записать в виде формулы, которую называют
пропозициональной формой.
Определение 2.
* Каждая пропозициональная буква есть формула.
* Если A и B – формулы, то формулами являются: (A), (A  B), (A  B),
(А  В), (А  В).
Построив формулу алгебры высказываний, мы отвлекаемся от ее содержательного
смысла, и оперируем только с понятиями истинности и ложности.

Соглашения:
Внешние скобки можно опускать.
Установлен приоритет операций: , &, , , .

Интерпретация формулы – приписывание переменным истинностных значений.

Множество всех интерпретаций формулы образует таблицу истинности формулы.

Две формулы называются эквивалентными, если их таблицы истинности совпадают.

Эквивалентные формулы: А  В  А  В  (А  В).
А В АВ А А  В В А  В (А  В)
F F T T T T F T
F T T T T F F T
T F F F F T T F
T T T F T F F T

Эквивалентные формулы:
(А  В)  (А  В)  (В  А)
 А  А Закон двойного отрицания
A&BB&A Коммутативность
ABBA
A & (B & C)  (A & B) & C Ассоциативность
 A  (B  C)  (A  B)  C
A & (B  C)  (A & B)  (A(& C) Дистрибутивность
A  (B & C)  (A  B) & (A  C)

Определение 3. Тождественно истинная формула называется тавтологией.

Тавтология истинна при любых значениях входящих в нее переменных; таблица
истинности тавтологии в каждой строке содержит значение «истинно».
Запись |= А означает: «формула А – тавтология».

Примеры тавтологий.
|= A  A. Эта тавтология утверждает принцип тождества.
A A  A.
F FF=T
T TT=T

Истинность или ложность высказывания определяется на основании «здравого смысла»,

и, если она установлена, то больше уже не подвергается сомнению. Например, Если снег
белый, то он белый. Если снег черный, то он черный. Это именно такие высказывания,
которые в естественном языке мы и привыкли называть тавтологиями. Классический
пример такой тавтологии: «масло масляное».
Другой пример: «Если хочешь быть счастливым, будь им».

Закон исключенного третьего |= A  A.

Утверждение «Каждый ребенок является либо мальчиком, либо девочкой» выразимо
формулой: |= A  A.
Этой же формулой выражается высказывание: «Больной либо умрет, либо выживет».

Законы де Моргана: |=  (А  В)  ( А  В);

Неверно, что это преступление совершили А или В  Ни А, ни В не совершали этого
преступления.
|=  (А  В)  ( А  В).
Неверно, что А и В вместе участвовали в ограблении  Либо А, либо В, либо оба они в
ограблении не участвовали.

Каждой теореме булевой алгебры соответствует тавтология алгебры высказываний.

Алгебра высказываний – интерпретация булевой алгебры.

Определение 4. Тождественно ложная формула называется противоречием.

Например, формула A &A – противоречие.
Примеры противоречий:
«Речка движется и не движется…».
«Наказывать преступников – зло, и не наказывать преступников – тоже зло».

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

хотя бы на одной своей интерпретации.
Например, формулы А  В, А  В, А  В – выполнимые формулы.

Проверка тавтологий
1. Построение таблицы истинности.
Закон утверждения консеквента: |= A  (B  A)
(Содержательно эта тавтология утверждает принцип монотонности достоверных
рассуждений: если истинность некоторого высказывания A уже установлена, то
добавление новых фактов не изменяет его истинности).

A B BA A  (B  A)
F F T T
F T F T
T F T T
T T T T

2. Метод редукции (сведение к противоречию).

Докажем, что формула (A  (B  C))  ((A  B)  (A  C)) – тавтология.
Предположим, что это не так, т.е. существует такая интерпретация, на которой формула
принимает ложное значение:
T F

|(A  (B  C))  ((A  B)  (A  C))| = F.

T F
Получаем систему уравнений:
1) |A  (B  C)| = T,
2) |A  B| = T,
3) |A  C| = F.

Из 3): |A  C| = F следует: |A| = T, |C| = F.

Подставим эти значения в 2): |T  B| = T, откуда |B| = T.
Подставим найденные значения |A| = T, |C| = F, B| = T в 1):
|T  (T  F)| = |T F| = F.
Полученное значение противоречит условию 1), следовательно, не существует такой
интерпретации, на которой формула принимает ложное значение, т.е. она является
тавтологией.

Проверим, является ли следующая формула тавтологией:

|= (A  (B  C))  (A  B  C).
Предположим, что |(A  (B  C))  (A  B  C)| = F.
1) |A  (B  C)| = T,
2) |A  B| = T,
3) |C| = F.

Из 2): |A  B| = T, следует
а) |A| = T, |B| = T.
Подставляя найденные значения в 1), получаем противоречие: |T  (T  F)| = F.
b) |A| = T, |B| = F.
Подставим в 1), получим: |T  (F  F)| = T.
При интерпретации |A| = T, |B| = F, |C| = F формула принимает ложное значение.
Следовательно, формула не является тавтологией.

Свойства тавтологий

Правило подстановки. Если в тавтологии заменить каждое вхождение входящих в нее

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

Пример. Из тавтологии |= A  (B  A) получим новые тавтологии:

 |= A  B  (B  A  B) Замена A на A  B
|= A  (C  D  A) Замена B на C  D
|= |= A  (B  A) Замена A на A

Каждая тавтология – это схема, из которой с помощью подстановки можно получить

бесконечное число тавтологий.

Правило эквивалентной замены. Если в тавтологии некоторую подформулу заменить

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

Пример.

Тавтология Эквивалентная замена

Новая тавтология
или подстановка

|= А  (В  А) В  А  В  A |= А  В  A

|= А  В  A Подстановка В вместо В |= А  В  A

|= А  В  A В  В |= А  В  A

|= А  (В  А) В  А  (B  A) |= A  (B  A),

ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

Логическое следование
Определение 6. Если A и B – формулы, то говорят, что B логически следует из А, или А
логически влечет В, если на всех интерпретациях, на которых А принимает истинное
значение, В также принимает истинное значение.
Отношение логического следования обозначается так: A |= B или A  B,
где A – посылка, или гипотеза, В – заключение, или следствие.

Теорема. Логическое следование A |= B выполнено тогда и только тогда, когда формула

A  B — тавтология.
Доказательство. Пусть выполнено логическое следование A |= B.
При |A| = T , | B | = T , |AB | = |T  T| = T;
при |A| = F, | B | = T, |AB | = |F  T| = T;
при |A| = F, | B | = F, |AB | = |F  F| = T.
Случай |A| = T, | B | = F исключен по самому определению логического следования.

Предположим теперь, что формула AB есть тавтология. Тогда не существует такой
интерпретации, на которой |AB| = F . Следовательно, если формула |A| = T, то и | B | = T,
что соответствует определению логического следования, т.е. А |= В.

Определение 7. Формула В логически следует из формул А1, А2,..., An, если на всех тех
интерпретациях, на которых посылки A1,...,An принимают истинные значения
одновременно, формула В также принимает истинное значение.
Это обозначается так: A1, ..., An |= B. Часто обозначают: {A1, ... An} =  (гипотезы).
Теорема. А1, A2, ..., An |= B тогда и только тогда, когда = А1  A2  ...  An  B.

Определение 8. Если А и В — формулы, и А  В — тавтология, то говорят, что А

логически эквивалентна формуле В.
Это обозначается как А  В, или А  В.

Логические следования устанавливают правила вывода истинных заключений из

истинных посылок.
Говорят, что логическое следование (правило вывода) сохраняет истинность.
Правила вывода, сохраняющие истинность, называются достоверными (дедуктивными)
рассуждениями (умозаключениями).

Правила логического вывода

Правило modus ponens (правило MP, правило отделения).
A, A  B |= B.
Доказательство.
Предположим, что на некоторой интерпретации |A| = T, |A  B| = T, а В  F.
Тогда |A  B| |A  F|  T , откуда |А| = F, что противоречит условию.

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

A, A  B
B
Правило MP выражает элементарный акт дедукции: если правило A  B истинно, и
установлена истинность посылки A, то отсюда следует истинность заключения B.
Пример. Если кошка перебегает дорогу, то случается неприятность. Кошка перебежала
дорогу. Следовательно, случится неприятность.
Из-за плохой погоды (А) рейс может быть отложен (В). Погода плохая (А).
Следовательно, рейс может быть отложен (В). A  B, A |= B.

Правило modus tollens (MT): A  B, B |= A.

Предположим, что |(А  В)| = T, |В| = T  |B| =F и |А.| = F  |A| = T.
Подставим в первое условие: |(А  В)| = | T  F| = F.

Пример. Из-за плохой погоды (А) рейс может быть отложен (В). Рейс не отложен (В).
Следовательно, погода не плохая (А). A  B, B |= A.

Метатеорема о дедукции (МТД).

Если из множества посылок Г и посылки А выводима формула В, то из множества Г
выводима формула А  В, т. е.
Г, А = В  Г = А  В.
Дедуктивная цепочка:
Если А1, A2, ..., An |= B, то |= А1  (A2 ( ...  (An  B)…)).

МТД можно использовать для доказательства тавтологий.

Пример:
А, А  В |= В. правило MP:
А |= (А  В)  В. по МТД
|= А  ((А  В)  В). по МТД

Пример:
A  B, B |= A. modus tollens (MT)
A  B |= В  А по МТД (Правило контрапозиции)
|= (A  B)  (В  А) по МТД (Теорема контрапозиции)

Пример. Дело может быть пересмотрено (B) в том случае, если результаты
расследования вызывают сомнения (A): A  B. Следовательно, если дело не
пересматривается (B), то результаты расследования не вызывают сомнения (A):
В  А.
Обратная метатеорема о дедукции.
Если существует вывод Г = А  В, то формула В выводима из Г и А:
Г = А  В  Г, А = В.

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

правила вывода.
Пример:
|= (A  (B  C))  (B  (A  C))
A  (B  C) |= B  (A  C)
A  (B  C), B |= A  C
Теорема о перестановке посылок
ОМТД
ОМТД (правило удаления средней посылки)

Правило силлогизма (чисто условное умозаключение):

А  В, В  С |= А  С.
Следствие следствия есть следствие основания.
Пример. Если в стране инфляция (A), то цены растут (B). Если цены растут (B), то
люди несчастны (C). Следовательно, если в стране инфляция (A), то люди несчастны (C).

Шерлок Холмс: «Мой принцип расследования состоит в том, чтобы исключить все явно
невозможные предположения. Тогда то, что остается, является истиной, какой бы
неправдоподобной она ни казалась».
А  В,  А |= В  А  В,  А |= В (МР)
А  В  С,  А,  В |= С  А  (В  С),  А,  В |= С.

Пример. Шерлок Холмс: «Нам известно, что преступник не мог попасть в комнату ни
через дверь (A), ни через дымовой ход (B). Мы знаем также, что он не мог спрятаться в
комнате (C), поскольку в ней прятаться негде. Как же тогда он проник сюда? – Через
крышу(D)! – Без сомнения. Он мог проникнуть в эту комнату только через крышу.»
А  В  С  D,  А,  В,  С |= D.

Формализация и решение логических задач

Проверка логического следования.

1 способ. Построение таблицы истинности.
2 способ. Доказательство от противного (метод редукции).
3 способ Формальный вывод.
3 способ. Метод резолюций.

Пример.
Малые дети неразумны. Тот, кто может укрощать крокодилов, заслуживает уважения.
Неразумные люди не заслуживают уважения. Следовательно, малые дети не укрощают
крокодилов.
Пусть А — «человек – маленький ребенок», B — «человек разумен», C — «человек
заслуживают уважения», D — «человек может укрощать крокодилов».

Формальный дедуктивный вывод.

1. А  В Г1 5. С  В правило
(Малые дети неразумны.) (Только разумные люди контрапозиции
заслуживают уважения). (3).
2. D  C Г2 6. D  B правило
(Тот, кто может (Разумно укрощать крокодилов). силлогизма
укрощать крокодилов, (2, 5).
заслуживает уважения.)
3. В  С Г3 7. B  D правило
(Неразумные люди не (Неразумные люди не укрощают контрапозиции
заслуживают уважения.) крокодилов). (6).
4. А  С правило 8. А  D правило
(Малые дети не силлогизма (Малые дети не укрощают силлогизма
заслуживают уважения). (1, 3). крокодилов). (1,7).