Составители:
Рубрика:
19
Если 2+2=5, то снег белый.
Если Лондон столица Парижа, то Париж – столица Рима.
1
являются, как это ни покажется парадоксальным, истинными – это легко можно
установить, воспользовавшись приведённой выше таблицей. Отсюда следует,
что система значений логической импликации не может быть использована как
формальный позитивный тест для причинно-следственных отношений. И в этом
нет ничего удивительного, поскольку для этих отношений вообще не может
быть ни универсальной
, ни логической позитивной концепции. Но зато есть
негативная. Негативный тест на причинность содержится во второй строке
таблицы истинности для импликации, а именно, там, где следование из истин-
ного суждения ложного суждения объявляется невозможным.
Рассмотрим пример:
Если Петя усердно готовится к экзамену, то он получает пятёрку.
Всем известно, что усердная
подготовка к экзамену иногда может стать одной
из причин получения оценки «пять», но, во-первых, не единственной и, во-
вторых, не всегда. Приводя всего один пример, когда Петя усиленно готовился
к экзамену, но не получил пятёрки, мы опровергаем предположение о том, что
подготовка к экзамену является достаточной для получения оценки «пять
». И в
этом же случае оказывается ложной соответствующая импликация.
В задачах на анализ сложных суждений естественного языка требуется
записать их в символическом виде, обозначая простые суждения буквами, а
логические союзы – символами. При этом надо должным образом использовать
скобки. Детали можно найти в учебнике.
Приведём примеры решений таких задач.
Если
Петя надевает очки, то видит, что на его носу сидит муха,
а если снимает, то не видит мухи.
Это сложное суждение образовано четырьмя простыми: «Петя надевает очки»,
«Петя видит, что на его носу сидит муха», «Петя снимает очки», «Петя не ви-
дит, что на его носу сидит муха», которые мы
обозначим как А, В, С и D соот-
ветственно. Первая часть суждения есть импликация А → В, вторая – также
импликация С → D, а всё суждение представляет собой конъюнкцию этих им-
пликаций – ((А → В) & (С → D)).
Бряка фордыбачит на глызе только тогда, когда с весны не закурдявилась.
1
Из Л. Кэролла
Страницы
- « первая
- ‹ предыдущая
- …
- 17
- 18
- 19
- 20
- 21
- …
- следующая ›
- последняя »