close

Вход

Забыли?

вход по аккаунту

?

Логика

код для вставки
Основы логики
«Человек не знал двух слов ±
да и нет. Он отвечал туманно: Может быть, возможно, мы подумаем…»
Илья Ильф
«Записные книжки»
Основы логики
ФОРМЫ МЫШЛНИЯ
Логика
±
это наука о формах и способах мышления. Это учение о способах рассуждения и доказательств.
Мышление Понятие
±
выделение существенных признаков предмета или класса предметов, позволяющих их отличить от других
Умозаключение
±
позволяет из одного или нескольких суждений получить новое суждение (знание или вывод)
Высказывание
±
это формулировка своего понимания окружающего мира.
Симанова Т.С.
•
Какой длины эта лента?
•
Прослушайте сообщение.
•
елайте утреннюю зарядку!
•
Назовите устройство ввода информации.
•
Кто отсутствует?
•
Париж ²
столица нглии.
•
Число 11 является простым. •
4 + 5 = 10.
•
ез труда не вытащишь и рыбку из пруда. •
Сложите числа 2 и 5. •
Некоторые медведи живут на севере. •
се медведи -
бурые.
•
Чему равно расстояние от Москвы до Ленинграда?
ФОРМЫ МЫШЛНИЯ
Какие из предложений являются высказываниями? Определить их истинность.
.
Получить высказывание: «Этот треугольник равносторонний», путем умозаключений.
ФОРМЫ МЫШЛНИЯ
Все углы равнобедренного треугольника равны
ЛОИЧСКИ ЫРНИЯ И ОПРЦИИ
Алгебра —
это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и над другими математическими объектами, в том числе и над высказываниями. Такая алгебра называется
алгеброй логики. Алгебра логики отвлекается от смысловой содержательности высказываний и принимает во внимание только истинность или ложность высказывания.
•
Логическая переменная
²
это простое высказывание, содержащее только одну мысль. Ее символическое обозначение —
латинская буква (например A
,
B
,
X
,
Y и т.д.). Значением логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (1 и 0).
•
Составное высказывание ²
логическая функция
, которая содержит не сколько простых мыслей, соединенных между собой с помощью логических операций. Ее символическое обозначение —
F
(
A
,
B
,...).
•
Логические операции
-
логическое действие.
ЛОИЧСКИ ЫРНИЯ И ОПРЦИИ
Базовые логические операции ЛОИЧСКИ ЫРНИЯ И ОПРЦИИ
конъюнкция
дизъюнкция
отрицание
импликация
дополнительные
логические операции
эквивалентность
Логическое выражение
-
это составное высказывание (логическая функция) выраженная в виде формулы, в которую входят логические переменные и знаки логических операций.
Значение логического выражения можно вычислить. Им может быть только ЛОЖЬ или ИСТИНА. ЛОИЧСКИ ЫРНИЯ И ОПРЦИИ
Порядок выполнения логических операций:
1)
действия в скобках;
2)
инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность ЛОИЧСКИ ЫРНИЯ
И ОПРЦИИ
Симанова Т.С.
«Летом Петя поедет в деревню, и если будет хорошая погода, то он пойдет на рыбалку».
ЛОИЧСКИ ЫРНИЯ И ОПРЦИИ
Простые высказывания «удет хорошая погода» «Он пойдет на рыбалку» «Петя поедет в деревню» А
= Петя поедет в деревню;
В
= удет хорошая погода;
С
= Он пойдет на рыбалку.
F
= А&(В+С)
Симанова Т.С.
Основные логические операции
Конъюнкция
(от лат. conjunction ²
связываю) Дизъюнкци
я (от лат. disjunction -
различаю) Инверсия (от лат. inversion
±
перевора
-
чиваю) Имплика
-
ция (от лат. imputation ²
тесно связывать) Эквивалент
-
ность (от
лат
. equivalents
-
равноценно
) Название Логическое
умножение Логическое сложение Отрицани
е Логическо
е следовани
е Логическое равенство Обозначени
е А&В или А
^
В A
B
¬
А или
А→В А
-
условие В
-
следствие А ≡ В или А↔ В Союз в естественном языке А и В А или В Не А Если А. то В; когда А, тогда В; коль скоро А то и В; и т.п. А тогда и только тогда, когда В Примеры А «Число 10 -
четное»; В -
«Число 10 ±
отрицатель
-
ное» «Число 10 четное и отри
-
цательное» -
ЛОЖЬ «Число 10 ²
четное или отрицательно
е» ²
ИСТИНА «Неверно, что число 10
-
четное» ЛОЖЬ «Неверно, что число 10 отрица
-
тельное» -
ИСТИНА «Если число 10 ²
четное, то оно является отрицате
льным» = ЛОЖЬ «Число 10 -
чет
ное тогда и только тогда; когда отрицатель
-
но» = ЛОЖЬ Основные логические операции
Таблица истинности
Таблица истинности
²
таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний Конъюнкция
Дизъюнкция
Инверсия
Импликация
Эквивалентнос
ть
A
B
А&В
A
B
А
В
A ¬
А
A
B
А→
В
A
B
А
≡
В
0
0
0
0
0
0
0
0
1
0
0
1
0
1
0
0
1
1
0
1
0
1
1
0
1
0
1
0
0
1
0
1
1
0
1
0
0
1
0
0
1
1
1
1
1
1
1
1
1
1
1
1
Конъюнкция
Дизъюнкц
ия
Инверсия
Импликац
ия
Эквивалентно
сть
Вывод: результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны
Вывод: результат будет ложным тогда и только тогда, когда оба исходных высказыван
ия ЛОЖНЫ, и ИСТИННЫ в остальных случаях Вывод: результат будет ложным, если исходное выражени
е истинно, и наоборот Вывод: результат будет ложным тогда и только тогда, когда из истинного основания (А) следует ложное следствие (В) Вывод: результат будет истинным тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны ыводы
Основные логические операции
Автор
marinulik-m
Документ
Категория
Образовательные
Просмотров
219
Размер файла
340 Кб
Теги
логика
1/--страниц
Пожаловаться на содержимое документа