Конъюнкция и дизъюнкция высказываний

Рассмотрим составное высказывание, которое образуется из элементарных высказываний с помощью союза «и».

Союз «и» в русском языке имеет различные смысловые оттенки. Например, предложение «Кубик маленький и красный» будет истинным, если истинны оба составляющих предложения. А предложение «На этих местах сидят дети и инвалиды» истинно, если истинно хотя бы одно из составляющих предложений. В математической речи союз «и» употребляется только в первом смысле.

Пусть даны высказывания А и В.

Конъюнкцией высказываний А и В называется высказывание, которое истинно, когда истинны оба данные высказывания одновременно.

Конъюнкция высказываний А и В обозначается: АÙВ. Читаем: «Конъюнкция высказываний А и В» или «А и В».

Название «конъюнкция» произошло от латинского слова «conjunctio», что означает «союз, связь или единение». Определение конъюнкции высказываний А и В можно записать в следующей таблице.

А В АÙВ
и и и
и л л
л и л
л л л

Замечание. В этой таблице, кроме первой строки для обозначения высказываний, еще – 4 строки для комбинаций значений истинности высказываний А и В. Для подсчета числа комбинаций используется комбинаторная задача – размещение с повторениями, т.к. мы два значения истинности («и» или «л») распределяем на два высказывания.

Используя формулу для подсчета числа размещений с повторениями Ā =m , получаем Ā = 2² = 4. Если данных высказываний будет 3, то комбинаций (строк) будет 8 по той же формуле Ā = 2³ = 8. Для четырех данных высказываний число комбинаций значений истинности и, соответственно, число строк будет равно уже 16, т.к. Ā = 2 = 16.

Примеры.

1. Составное высказывание «Число 2 чётное и простое» будет истинным, т.к. оно является конъюнкцией двух истинных высказываний «Число 2 чётное» и «Число 2 простое».

2. Составное высказывание «Число 14 четное и простое» будет ложным, т.к. оно представляет собой конъюнкцию двух высказываний «Число 14 четное» и «Число 14 простое», из которых первое истинно, а второе ложно.

3. Составное высказывание «8<5<4» будет также ложным, т.к. является конъюнкцией двух ложных высказываний «8<5» и «5<4».

4. Пример использования составного высказывания «А и В» в работе с дошкольниками. Наглядный материал изображён на рисунке 16:

Задание ребенку: «Возьми

чёрный треугольник». Рис. 16

Элементарные предложения: А – «фигура треугольной формы», В – «фигура чёрного цвета».

  Выбор ребёнка Значение истинности элементарных предложений   Оценка воспитателя
А В
    и   и   «правильно»
    и   л   «неправильно»
    л   и   «неправильно»
    л   л   «неправильно»

Замечание. В обыденной речи конъюнкция может выражаться не только с помощью союза «и», но и другими, например, «а», «но», «однако», «не только…, но и …».

Например, «Число 16 делится не только на 2, но и на 4».

Рассмотрим составное высказывание, которое образуется из элементарных высказываний с помощью союза «или».

Предложение «Идет дождь или светит солнце» будет истинным, если истинно хотя бы одно из составляющих предложений, причем не исключается возможность истинности обоих предложений. Именно в этом смысле понимается союз «или» и в математическом языке.

Пусть даны высказывания А и В.

Дизъюнкцией высказываний А и В называется высказывание, которое истинно, когда истинно хотя бы одно из данных высказываний.

Дизъюнкция высказываний А и В обозначается: А В.Читаем: «Дизъюнкция высказываний А и В» или «А или В».

Название «дизъюнкция» произошло от латинского слова «disjunctio», что означает «разделение, разобщение».

Определение дизъюнкции высказываний А и В можно записать в следующей таблице.

А В А В
и и и
и л и
л и и
л л л

Примеры.

1. Составное высказывание «Число 14 чётное или простое» будет истинным, т.к. оно представляет собой дизъюнкцию высказываний «Число 14 чётное» и «Число 14 простое», где первое – истинно, а второе – ложно.

2. Составное высказывание «Число 36 делится на 6 или на 9» будет также истинным, т.к. оно является дизъюнкцией двух истинных высказываний «Число 36 делится на 6» и «Число 36 делится на 9».

3. Составное высказывание «4≥6» будет ложным, т.к. оно представляет собой дизъюнкцию двух ложных высказываний «4>6» и «4=6».

4. Пример использования составного высказывания «А или В» в работе с детьми дошкольного возраста. Наглядный материал изображён на рисунке 17:

Задание ребенку: «Возьми фигуру, похожую на яблоко по цвету или по форме».

Рис. 17

Элементарные предложения: А – «форма как у яблока», В – «цвет как у яблока».

  Выбор ребенка Значение истинности элементарных предложений   Оценка воспитателя
А В
    и   и   «правильно»
    и   л   «правильно»
    л   и   «правильно»
    л   л   «неправильно»

 

Замечание. Определения конъюнкции и дизъюнкции двух высказываний можно обобщить на n составляющих их высказываний.

Конъюнкцией высказываний A , А , …, А называется высказывание, которое истинно, когда истинны все данные высказывания одновременно.

Дизъюнкцией высказываний A , А , …, А называется высказывание, которое истинно, когда истинно хотя бы одно из данных высказываний.

Для операций конъюнкции и дизъюнкции высказываний выполняются одинаковые законы, поэтому рациональнее рассматривать их одновременно.

I. Закон коммутативности

а) конъюнкции высказываний: ( A,B)(A B=B A),

б) дизъюнкции высказываний: ( A,B)(A B=B A).

I а) читаем: «Для любых высказываний А и В конъюнкция высказываний А и В равносильна конъюнкции высказываний В и А».

I б) читаем: «Для любых высказываний А и В дизъюнкция высказываний А и В равносильна дизъюнкции высказываний В и А».

Название этого закона произошло от латинского слова «commutatio», что означает «перемена», поэтому закон иначе называется переместительным (от перемены мест высказываний конъюнкция или дизъюнкция не меняется).

Доказательство законов Iа и Iб проводят в таблицах истинности.

Iа Iб

А В AB BA   А В AB BA
и и и и и и и и
и л л л и л и и
л и л л л и и и
л л л л л л л л

Сравнивая в этих таблицах значения истинности для результатов операций AB и BA (AB и BA) по строкам, убеждаемся, что эти значения совпадают, следовательно, составные высказывания AB и BA (AB и BA) равносильны, а равенства: AB = BA и AB = BA верны.

II. Закон ассоциативности

а) конъюнкции высказываний: ( A,B,C)[A (B C)=(A B) C],

б) дизъюнкции высказываний: ( A,B,C)[A (B C)=(A B) C].

II а) читаем: «Для любых высказываний А, В и С конъюнкция высказывания А с конъюнкцией высказываний В и С равносильна конъюнкции высказывания С с конъюнкцией высказываний А и В».

II б) читаем: «Для любых высказываний А, В и С дизъюнкция высказывания А с дизъюнкцией высказываний В и С равносильна дизъюнкции высказывания С с дизъюнкцией высказываний А и В».

Название закона произошло от латинского слова «associatio», что означает «сочетание, соединение», поэтому он иначе называется сочетательным (от перемены мест скобок конъюнкция или дизъюнкция не меняется).

В следующей таблице истинности докажем закон II а.

А В С BC A(BC) AB (AB)C
и и и и и и и
и и л л л и л
и л и л л л л
и л л л л л л
л и и и л л л
л л и л л л л
л л л л л л л

* *

Сравнивая в этой таблице по строкам значения истинности для результатов операций A(BC) и (AB)C (столбцы, помеченные знаком «*»), убеждаемся, что эти значения совпадают, следовательно, равенство A(BC)=(AB)C – верно.

Закон II б предлагается доказать самостоятельно.

III. Закон дистрибутивности

а) конъюнкции относительно дизъюнкции: ( A,B,C)[A (B C)= (A B) C)],

б) дизъюнкции относительно конъюнкции: ( A,B,C)[A (B C)= (A В) (A C)].

Название закона произошло от латинского слова «distributio», что означает «распределение», поэтому иначе его называют распределительным законом.

III а) читаем: «Для любых высказываний А, В и С конъюнкция высказывания А с дизъюнкцией высказываний В и С равносильна дизъюнкции конъюнкции А и В с конъюнкцией высказываний А и С».

III б) читаем: «Для любых высказываний А, В и С дизъюнкция высказывания А с конъюнкцией высказываний В и С равносильна конъюнкции дизъюнкции А и В с дизъюнкцией А и С».

Докажем закон IIIа дистрибутивности конъюнкции относительно дизъюнкции, используя таблицу истинности и определения операций конъюнкции и дизъюнкции.

А В С BC A(BC) AB AС (AB)C)
и и и и и и и и
и и л и и и л и
и л и и и л и и
и л л л л л л л
л и и и л л л л
л и л и л л л л
л л и и л л л л
л л л л л л л л

* *

Сравнивая по строкам значения истинности для результатов операций A(BC) и (AB)C) (столбцы, помеченные знаком «*»), убеждается, что все значения совпадают, значит составные высказывания A(BC) и (AB)C) равносильны и равенство A(BC) = (AB)C) – верно.

Закон III б предлагается доказать самостоятельно.

IV. Законы де Моргана

а) отрицание конъюнкции: ( A,B) ( =`А `B),

б) отрицание дизъюнкции: ( A,B)( =`А `B).

Законы названы именем шотландского математика де Моргана (1806 -1871 гг.).

IV а) читаем: «Для любых высказываний А и В отрицание конъюнкции высказываний А и В равносильно дизъюнкции отрицаний высказываний А и В».

IV б) читаем: «Для любых высказываний А и В отрицание дизъюнкции высказываний А и В равносильно конъюнкции отрицаний высказываний А и В».

Доказательство этих законов выполнено в следующих таблицах.

IV а IV б

А В AB Ā `B   А В AB Ā `B
и и и л л л л и и и л л л л
и л л и л и и и л и л л и л
л и л и и л и л и и л и л л
л л л и и и и л л л и и и и

* * * *

Сравнивая по строкам значения истинности для результатов операций и `А `B в левой таблице (и `А `B – в правой таблице) в столбцах, отмеченным знаком «*», убеждаемся, что все значения совпадают, значит, законы де Моргана доказаны.

Рассмотрим применение этих законов на следующих примерах.

1. Даны высказывания А: «5>3» и В: «4=5», где А – и, а В – л. Образуем конъюнкцию данных высказываний: AB: «5>3 и 4=5» - она ложна. Ее отрицание: : «Неверно, что 5>3 и 4=5». Чтобы определить значение истинности этого составного высказывания, воспользуемся законом де Моргана = `А `B. Тогда имеем `А `B: «5`>3 или 4≠5» или «5≤3 или 4≠5», это составное высказывание истинно, т.к. «5≤3» - л, а «4≠5» - и.

2. Из высказываний А: «6M2» и В: «4<8», из которых оба истинны, образуем дизъюнкцию AB: «6M2 или 4<8» (она «и»), а теперь – её отрицание : «Неверно, что 6M2 или 4<8». Используя закон де Моргана = `А `B, получим AB = `А `B: «6`M2 и 4`<8» или «6 не кратно 2 и 4≥8»; это составное высказывание ложно, т.к. оба составляющие высказывания «6 не кратно 2» и «4≥8» ложны.

V. а) Закон противоречия: ( A) (A Ā=л).

б) Закон исключения третьего: ( A)(A Ā=и).

V а) читаем: «Для любого высказывания А конъюнкция высказывания А с его отрицанием есть ложное высказывание».

V б) читаем: «Для любого высказывания А дизъюнкция высказывания А с его отрицанием есть истинное высказывание».

Доказательство законов V а и V б приведено в следующих таблицах.

V а V б

А Ā AĀ   А Ā AĀ
и л л и л и
л и л л и и

В левой таблице значения истинности для составного высказывания AĀ все ложны, а это и значит, что AĀ=л. В правой таблице значения истинности для высказывания AĀ все истинны, т.е. AĀ=и.

Замечание. В логике считается, что операция конъюнкции «сильнее» операции дизъюнкции, поэтому, если в составном высказывании есть знаки операций конъюнкции и дизъюнкции и нет скобок, то сначала выполняют конъюнкцию, а затем дизъюнкцию.

Например, порядок выполнения действий в составном высказывании AВC будет такой: сначала находят конъюнкцию высказываний В и С, а затем – дизъюнкцию высказывания А с полученным составным высказыванием ВС.

Согласно этому замечанию, например, закон дистрибутивности конъюнкции относительно дизъюнкции (см. III а) можно записать: (A,B,C)[A (BC)=ABAC].








Дата добавления: 2015-10-19; просмотров: 4979;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.04 сек.