Основные логические операции над высказываниями.

Отрицанием высказывания х называется высказывание, которое истинно тогда и только тогда, когда высказывание х ложно. Отрицание обозначается или -х (читается: «не х»).

Логические операции можно задавать при помощи таблиц истинности, показывающих соответствие значений истинности высказываний. Для высказываний x и эта таблица имеет вид:

х

Конъюнкцией двух высказываний х и y называется высказывание, истинное тогда и только тогда, когда истинны оба высказывания х и y. Конъюнкция обозначается: х Ù y,или х & y (читается: «х и y»). Таблица истинности для х Ù y имеет вид:

х y х Ù y

Дизъюнкцией двух высказываний х и y называется высказывание, ложное тогда и только тогда, когда оба высказывания х и y ложны. Дизъюнкция обозначается х Ú y (или x+y)(читается: «х или y»). Таблица истинности для х Ú y имеет вид:

х y х Ú y

Импликацией двух высказываний х и y называется высказывание, ложное тогда и только тогда, когда высказывание х истинно, а y – ложно. Импликация обозначается: х ® y (читается: «х влечет y» или «из х следует y»). Высказывание х называется посылкой импликации, а высказывание yследствием. Таблица истинности для х ® y имеет вид:

х y х ® y

Эквиваленцией (эквивалентностью) двух высказываний х и y называется высказывание, истинное тогда и только тогда, когда истинности высказываний х и y совпадают. Эквиваленция обозначается: х « y, или х ~ y (читается: «х эквивалентно y» или «х тогда и только тогда, когда y»). Таблица истинности для х « y имеет вид:

х y х « y

Сложением по модулю два (альтернативной дизъюнкцией, логи́ческим сложе́нием, исключа́ющим «ИЛИ», строгой дизъюнкцией) двух высказываний х и y называется высказывание, истинное тогда и только тогда, когда оба высказывания х и y принимают разные значения. Дизъюнкция обозначается хÅy (читается: «или х, или y»). Таблица истинности для хÅy имеет вид:

х y хÅy
0 0 0

Стрелка Пирсаэтоотрицание дизъюнкции. Стрелка Пирса обозначается X ↓ Y. Читается «ни X, ни Y». Введена в рассмотрение Чарльзом Пирсом (Сharles Peirce) в 1880—1881 г.г. Таблица истинности для стрелки Пирса имеет вид:

х y х y

Штрих Шеффераэто отрицание конъюнкции. Введена в рассмотрение Генри Шеффером в 1913 г. (в отдельных источниках именуется как Пунктир Чулкова). Штрих Шеффера обозначается x|y , задаётся следующей таблицей истинности:

х y x|y







Дата добавления: 2014-12-05; просмотров: 1655;


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

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

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

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