Составители:
Рубрика:
Программа спецкурса «ВВЕДЕНИЕ В СИМВОЛИЧЕСКУЮ ЛОГИКУ»
104
Тема 4
Семантика логических союзов (связок)
Если простое высказывание истинно тогда и только
тогда, когда оно утверждает существование некоторого бе
зусловного факта, имеющего место в действительности
(все люди смертны), то ответ на вопрос об истинности
сложного высказывания требует, помимо учета фактов,
рассмотрения смысла логической связи, при помощи ко
торой это высказывание было образовано (если все люди
смертны, то я тоже смертен). Раскрытию смысла логиче
ских союзов, соединяющих простые высказывания, по
священа данная тема.
Это делается с помощью таблиц истинности, где содер
жится ответ на вопрос, когда сложное высказывание ис
тинно и ложно.
1. Простейшей операцией логики высказывания явля
ется операция отрицания, которой в русском языке соот
ветствует частица не. Определение отрицания, символы.
Таблица истинности для отрицания.
2. Конъюнкция. Определение. Символ конъюнкции.
Таблица истинности для конъюнкции. Выражение конъ
юнкции в естественном языке.
3. Дизъюнкция. Определение, Два различных значения
дизъюнкции – исключающее и неисключающее. Символы.
Таблицы истинности для неисключающей и строгой дизъюнк
ции. Выражение дизъюнкции в естественном языке.
4. Импликация. Определение. Символ. Понятие анте
цедента и консеквента. Материальная и формальная имп
ликация. Таблица истинности для материальной импли
кации. Выражение импликации в естественном языке.
Роль импликации в решении различных теоретикопозна
вательных и научнопрактических задач.
Страницы
- « первая
- ‹ предыдущая
- …
- 101
- 102
- 103
- 104
- 105
- …
- следующая ›
- последняя »
