Понятия логики высказываний. Лекция 1

Содержание

Слайд 2

Высказывания и операции над ними

Высказывания и операции над ними

Слайд 3

Определение
Под высказыванием понимают языковое предложение, о котором можно сказать, истинно оно или

Определение Под высказыванием понимают языковое предложение, о котором можно сказать, истинно оно или ложно
ложно

Слайд 4


Логические значения высказываний:
«истина» (И, 1, t)
«ложь» (Л, 0, f)

Логические значения высказываний: «истина» (И, 1, t) «ложь» (Л, 0, f)

Слайд 5

Примеры:
Париж – столица Англии
Шесть делится на два
Сколько будет 7*7?
7 * х =

Примеры: Париж – столица Англии Шесть делится на два Сколько будет 7*7?
21
Укажите высказывания и их логические значения

Слайд 6

Высказывание, представляющее собой одно утверждение, называют простым (элементарным).
Высказывания, которые получаются из простых

Высказывание, представляющее собой одно утверждение, называют простым (элементарным). Высказывания, которые получаются из
с помощью грамматических связок:
«не», «и», «или», «если …, то …», «тогда и только тогда, когда»
принято называть сложными (составными)

Слайд 7

Пример
Карась не рыба
Это простое или сложное высказывание?

Пример Карась не рыба Это простое или сложное высказывание?

Слайд 8

Все высказывания будем рассматривать с точностью до их логического значения
Пример
«В Красноярске есть

Все высказывания будем рассматривать с точностью до их логического значения Пример «В
педагогический вуз»
«Два – простое число»
Эти высказывания для нас одинаковые (оба истинны)

Слайд 9

Элементарные высказывания будем обозначать латинскими буквами:
А, В, С, …
x, y, z, ...

Элементарные высказывания будем обозначать латинскими буквами: А, В, С, … x, y, z, ...

Слайд 10

Логическое значение высказывания определяется функцией истинности, которая принимает значения в двухэлементном множестве

Логическое значение высказывания определяется функцией истинности, которая принимает значения в двухэлементном множестве {0; 1}
{0; 1}

Слайд 11

Определение
Отрицанием высказывания А называется новое высказывание, которое является истинным, если А –

Определение Отрицанием высказывания А называется новое высказывание, которое является истинным, если А
ложно, и ложным, если А – истинно
Обозначение:
Читается: «не А», «Неверно, что А»

Слайд 12

Определение
Отрицанием высказывания А называется новое высказывание, которое является истинным, если А –

Определение Отрицанием высказывания А называется новое высказывание, которое является истинным, если А
ложно, и ложным, если А – истинно
Таблица истинности

Слайд 13

Определение
Конъюнкцией двух высказываний А, В называется новое высказывание, которое является истинным в

Определение Конъюнкцией двух высказываний А, В называется новое высказывание, которое является истинным
единственном случае, если оба высказывания А, В – истинны
Обозначение:
Читается: «А и В»

Слайд 14

Определение
Конъюнкцией двух высказываний А, В называется новое высказывание, которое является истинным в

Определение Конъюнкцией двух высказываний А, В называется новое высказывание, которое является истинным
единственном случае, если оба высказывания А, В – истинны
Таблица истинности

Слайд 15

Конъюнкция: логическое умножение АВ
Таблица истинности

Конъюнкция: логическое умножение АВ Таблица истинности

Слайд 16

Определение
Дизъюнкцией двух высказываний А, В называется новое высказывание, которое является ложным в

Определение Дизъюнкцией двух высказываний А, В называется новое высказывание, которое является ложным
единственном случае, если оба высказывания А, В – ложны
Обозначение:
Читается: «А или В»

Слайд 17

Определение
Дизъюнкцией двух высказываний А, В называется новое высказывание, которое является ложным в

Определение Дизъюнкцией двух высказываний А, В называется новое высказывание, которое является ложным
единственном случае, если оба высказывания А, В – ложны
Таблица истинности

Слайд 18

Определение
Импликацией двух высказываний А, В называется новое высказывание, которое является ложным в

Определение Импликацией двух высказываний А, В называется новое высказывание, которое является ложным
единственном случае, если первое высказывание А - истинно, а второе высказывание В – ложно

Слайд 19

Импликация
Обозначение:
Читается: «если А, то В» «из А следует В»
«А имплицирует В»
А

Импликация Обозначение: Читается: «если А, то В» «из А следует В» «А
– посылка
В – заключение

Слайд 20

Определение
Импликацией двух высказываний А, В называется новое высказывание, которое является ложным в

Определение Импликацией двух высказываний А, В называется новое высказывание, которое является ложным
единственном случае, если первое высказывание А - истинно, а второе высказывание В – ложно
Таблица истинности

Слайд 21

Определение
Эквивалентностью двух высказываний А, В называется новое высказывание, которое является истинным, если

Определение Эквивалентностью двух высказываний А, В называется новое высказывание, которое является истинным,
высказывания А, В имеют одинаковые логические значения, и ложным – в остальных случаях

Слайд 22

Эквивалентность
Обозначение: A~B,
Читается:
- «А тогда и только тогда, когда В»
- «для того,

Эквивалентность Обозначение: A~B, Читается: - «А тогда и только тогда, когда В»
чтобы А, необходимо и достаточно, чтобы В»
- «А эквивалентно В»

Слайд 23

Определение
Эквивалентностью двух высказываний А, В называется новое высказывание, которое является истинным, если

Определение Эквивалентностью двух высказываний А, В называется новое высказывание, которое является истинным,
высказывания А, В имеют одинаковые логические значения, и ложным – в остальных случаях
Таблица истинности

Слайд 24

Разделительное «или»
Обозначение:
Читается:
«А не эквивалентно В»
Операция “XOR”

Разделительное «или» Обозначение: Читается: «А не эквивалентно В» Операция “XOR”

Слайд 25

Определение
Разделительное «или» для двух высказываний А, В это новое высказывание, которое истинно,

Определение Разделительное «или» для двух высказываний А, В это новое высказывание, которое
если высказывания А, В имеют разные логические значения, и ложно – в остальных случаях.

Слайд 26

Дополнительные связки

Дополнительные связки

Слайд 27

Таблицы истинности

Составляются для любой формулы логики высказываний
Если в формуле n переменных,

Таблицы истинности Составляются для любой формулы логики высказываний Если в формуле n
то в таблице строк 2n
Пусть дана формула F(x1,x2,…,xn)
Список переменных формулы
Оценки списка переменных <0,0,…,0>,<0,1,…,1>, <1,1,0,…,1>, <1,1,…,1> и т.п.

Слайд 28

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

Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре:
(0,0), (0,1), (1,0), (1,1).
Если формула содержит три переменные, то возможных наборов значений переменных восемь:
(0,0,0), (0,0,1), (0,1,0), (0,1,1),
(1,0,0), (1,0,1), (1,1,0), (1,1,1).
Количество наборов для формулы с четырьмя переменными равно шестнадцати и т.д.

Слайд 29

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

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

Слайд 30

Выражение одних логических связок через другие:

А⊃В≡¬А∨В≡¬(А∧¬В)
А~В≡(А⊃В)∧(В⊃А)≡(¬A∨B)∧(¬B∨A) ≡ (А∧В)∨(¬А∧¬В)
А∨В≡¬А⊃В≡¬(¬А∧¬В)
А∧В≡¬(А⊃¬В)≡(¬(¬А∨¬В))
А В≡ ¬ (А~В)

Выражение одних логических связок через другие: А⊃В≡¬А∨В≡¬(А∧¬В) А~В≡(А⊃В)∧(В⊃А)≡(¬A∨B)∧(¬B∨A) ≡ (А∧В)∨(¬А∧¬В) А∨В≡¬А⊃В≡¬(¬А∧¬В) А∧В≡¬(А⊃¬В)≡(¬(¬А∨¬В))
=(А∧¬В)∨(¬А∧В)

Слайд 31

Тавтология

Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в

Тавтология Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в
них переменных. Например, формула А v
Такие формулы называются тождественно истинными формулами или тавтологиями.
Высказывания, которые формализуются тавтологиями, называются логически истинными высказываниями.

Слайд 32

Тождественная ложь

В качестве другого примера рассмотрим формулу А & , которой

Тождественная ложь В качестве другого примера рассмотрим формулу А & , которой
соответствует, например, высказывание “Катя самая высокая девочка в классе, и в классе есть девочки выше Кати”. Очевидно, что эта формула ложна, так как либо А, либо обязательно ложно.
Такие формулы называются тождественно ложными формулами или противоречиями.
Высказывания, которые формализуются противоречиями, называются логически ложными высказываниями.

Слайд 33

Тождественная ложь

При всех наборах значений переменных x и y формула принимает

Тождественная ложь При всех наборах значений переменных x и y формула принимает
значение 0, то есть является тождественно ложной.