ДИСКРЕТНАЯ МАТЕМАТИКА БЕЗ ФОРМУЛ   ::   Соловьев Александр

Страница: 40 из 71

А возможно, и оба. Представить же себе живое существо, которое не любит и пиво, и мороженое, не позволяет фантазия.

Операцию КОН'ЮНКЦИЯ называют еще " логическим и ". Сложное высказывание будет истинно, если истинны оба входящих в него высказывания.

Операция ОТРИЦАНИЕ – " логическое не " – истинное высказывание превращает в ложное и наоборот.

Пожалуй, самая интригующая операция – это ИМПЛИКАЦИЯ или " логическое если…, то ". Например, «Если Наполеон родился в Кудымкаре, то газ при нагревании сужается». Это, кстати, истинное высказывание! Нет причин считать его ложным. Единственная ситуация, когда импликация ложна, это когда посылка (часть «если») истинна, а следствие (часть «то») ложна.

Еще интереснее с точки зрения здравого смысла то, что импликацию иногда (не совсем корректно по иным причинам!) называют операцией логического следования, хотя наш пример показывает, что высказывания могут логически не следовать одно из другого, более того, могут не иметь между собой никакой логической связи. Напомним, импликация, как и другие операции, берет в расчет только истинность входящих в нее высказываний.

«Если Волга впадает в Каспийское море, то 2 + 2 = 4» истинное высказывание.

«Если Волга впадает в Каспийское море, то 2 + 2 = 5» ложное высказывание.

Хотя оба эти «логические рассуждения» с точки зрения здравого рассуждения одинаково бессмысленны.

|< Пред. 38 39 40 41 42 След. >|

Java книги

Контакты: [email protected]