Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Дизъюнкция.

Множества. | Примеры | Операции над множествами. | Основные свойства операций над множествами. | Алгебра высказываний. | Отрицание. | Т.е. импликация ложна тогда и только тогда, когда a – истина, а b – ложь. | Формулы алгебры высказываний. | Формулы алгебры высказываний. | Равносильность формул. |


Дизъюнкция (логическое сложение) соответствует неразделительному «или» в русском языке.

Определение.

Дизъюнкцией высказываний а и b называется высказывание, обозначаемое a b и определяемое следующей таблицей

0 0 0

0 1 1

1 0 1

1 1 1

т.е. дизъюнкция ложна тогда и только тогда, когда ложны оба высказывания а и b.

Имеют место следующие свойства:

1. a b ≡ b a – коммутативность

2. a 1 ≡ 1/

3. a 0 ≡ a,

4. a a ≡ a – закон идемпотентности.

 


Дата добавления: 2015-07-20; просмотров: 60 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Конъюнкция.| Эквиваленция

mybiblioteka.su - 2015-2024 год. (0.004 сек.)