Составители:
Рубрика:
в соответствие с отношениями в " логическом квадрате " является
истинным?
Упражнение 3 . Известно, что суждение " Все критяне - лжецы "
истинно. Что можно сказать о логическом значении суждения:
a) "Некоторые критяне - лжецы", б) "Ни один критянин - не
лжец", в) "Некоторые критяне - не лжецы"?
Упражнение 4. Известно, что суждение "Некоторые критяне -
лжецы" - истинно. Что можно сказать о логическом значении
суждения:
а)" Все критяне - лжецы", б) "Ни один критянин - не лжец",
в)"Некоторые критяне - не лжецы"?
Упражнение 5. Следуя отношениям суждений в логическом
квадрате, вывести опосредованным путем из 1) истинности А
ложность Е; 2) из истинности Е ложность А; 3) из ложности I
ложность А.
Пример: Аи→ Ел. Этот вывод можно сделать как
непосредственно (отношение противоположности), так и
опосредованно через О: из истинности А следует ложность О, а из
ложности О следует ложность Е (см. стрелки в логическом квадрате).
Предлагаем найти еще один опосредованный путь вывода Аи→ Ел.
Аи Ел
Iи Oл
2.3 . СЛОЖНЫЕ СУЖДЕНИЯ
Сложные суждения образуются из простых при помощи логических
союзов. Четыре главных логических союза выделены на основе анализа
грамматических союзов, число которых ,например, в русском языке
превышает сотню. Обозначив простые суждения буквами А, В, С...,а
логический союз соответствующим символом, приведем список
выражений естественного языка, которые могут быть заменены
символом.(см. Клини С. Математическая логика.С.81-8)
Соединительное суждение - к о н ъ ю н к ц и я: А & В
А и В А, а также В
А, но В Как А, так и В
А, да В А вместе с В
Не только А, но и В А, в то время как В
В, хотя и А А, однако В
В, несмотря на А А, при этом В и т.п.
Разделительное суждение - д и з ъ ю н к ц и я:
Нестрогая дизъюнкция:А v В Строгая дизъюнкция: А↔ В
А или В или оба А либо В, но не оба
А или В Либо А, либо В
28
Страницы
- « первая
- ‹ предыдущая
- …
- 26
- 27
- 28
- 29
- 30
- …
- следующая ›
- последняя »
