Читайте также: |
|
Элементы математической логики
1. Логика как наука. 2
2. Алгебра высказываний. 3
3. Основные законы логики. 5
4. Упрощение сложных высказываний. 6
5. Решение логических задач. 7
Логика как наука
Основные понятия:
· Логика – …
· Формы мышления:
- понятие …
- суждение …
- умозаключение …
& приведите примеры понятий, суждений, умозаключений из курсов математики, истории, информатики.
& Выведите, если это возможно, заключение из пары посылок:
a) Тем, кто лыс, расческа не нужна.
Ни одна ящерица не имеет волос.
b) Ни один добрый поступок не является незаконным.
все, что законно, можно делать без страха.
c) Некоторые уроки трудны.
все, что трудно, требует внимания.
H
Алгебра высказываний
Основные понятия:
· Алгебра логики – …
· Высказывание (суждение)
· Простое, сложное высказывание …
· Логическая операция …
· Логическое выражение...
· Логическая функция...
· Тождественно истинные (тождественно ложные) высказывания.
· Равносильные (тождественные, эквивалентные) высказывания.
& Заполнить таблицу «Свойства логических операций»
Инверсия истинна | тогда и только тогда, когда | высказывание … |
Дизъюнкция ложна | оба высказывания | … |
Конъюнкция истинна | … | |
Дизъюнкция истинна | хотя бы одно высказывание | … |
Конъюнкция ложна | … | |
Импликация ложна | из … высказывания следует … | |
Эквивалентность истинна | оба высказывания … или оба высказывания … |
& расставить логические операции по приоритету выполнения.
& Для каждой логической операции построить диаграммы Эйлера – Венна:
ИнверсияДизъюнкцияКонъюнкция
Импликация (выбираем те строки таблицы истинности, в которых импликация =1)
Эквивалентность (выбираем те строки таблицы истинности, в которых эквивалентность=1)
H
Дата добавления: 2014-12-20; просмотров: 36 | Поможем написать вашу работу | Нарушение авторских прав |