|
Читайте также: |
Высказывание – повествовательное предложение, о котором можно сказать истинно оно или ложно (На улице идёт дождь – высказывание, какая хорошая погода – не высказывание).
Высказывания А и В равносильны тогда и только тогда, когда истинностные значения А и В совпадают (
).
Таблица истинности – таблица, описывающая логическую операцию (или функцию), в ней перечислены все значения логической операции для всех возможных значений аргументов.
Логические операции над высказываниями.
1. Отрицание. 
. Не а. Унарная операция.
| a | 
|
2. Конъюнкция. 
. a И b.
| a | b | 
|
3. Дизъюнкция. 
. a ИЛИ b.
| a | b | 
|
4. Импликация. 
. ЕСЛИ a, ТО b. a – посылка, b – заключение.
| a | b | 
|
5. Эквиваленция. 
. ТОГДА И ТОЛЬКО ТОГДА
| a | b | 
|
Если х делится на 4, то x делится на 2.
А: х делится на 4.
B: х делится на 2.
Формулы.
1. Снятие импликации 
2. Снятие эквиваленции 
3. Переместительный (коммуникативный) закон 
, 
4. Сочетательный (ассоциативный) закон 
, 
5. Распределительный (дистрибутивный) закон 
, 
.
6. Законы Де Моргана 
, 
7. Законы поглощения 
, 
.
8. Законы идемпотентности 
, 
.
9. Законы нуля и единицы 
, 
, 
, 
10. Закон исключающего третьего 
11. Закон противоречия 
12. Закон двойного отрицания 
Дата добавления: 2015-09-01; просмотров: 65 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Использование полиморфизма в ООП. | | | ЛОГИКА ВЫСКАЗЫВАНИ И ПРЕДИКАТОВ. |