Логические законы и правила
Содержание
- 2. 1. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ. А=А Я пойду гулять = Я не
- 3. 2.ПЕРЕМЕСТИТЕЛЬНЫЙ (КОММУНИКАТИВНЫЙ) ЗАКОН. - Для логического сложения: АvB = BvA Ты
- 4. 3. СОЧЕТАТЕЛЬНЫЙ (АССОЦИАТИВНЫЙ) ЗАКОН. - Для логического сложения: (AvB)vC = Av(BvC)
- 5. 4. РАСПРЕДЕЛИТЕЛЬНЫЙ (ДИСТРИБУТИВНЫЙ) ЗАКОН. Для логического сложения: (AvB)vC= (A&C)v(B&C) Для логического
- 6. 5. ЗАКОН ОБЩЕЙ ИНВЕРСИИ (ЗАКОНЫ ДЕ МОРГАНА). Для логического сложения: AvB
- 7. 6. ЗАКОНЫ ИДЕМПОТЕНТНОСТИ. Для логического сложения: AvA = A Для логического
- 8. 7. ЗАКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ. Для логического сложения: Av1 = 1, Av0
- 9. 8. ЗАКОН ПРОТИВОРЕЧИЯ. A&A = 0 Невозможно, чтобы противоречащие высказывания были
- 10. 9. ЗАКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО. AvA = 1 Из двух противоречащих высказываний
- 11. 10. ЗАКОН ПОГЛОЩЕНИЯ. Для логического сложения: Av(A&B) = A Для логического
- 12. 11. ЗАКОН ИСКЛЮЧЕНИЯ (СКЛЕИВАНИЯ). - Для логического сложения: (A&B)v(A&B) = B
- 13. 12. ЗАКОН КОНТРАПОЗИЦИИ (ПРАВИЛО ПЕРЕВЁРТЫВАНИЯ). (A⟺B) = (B⟺A)
- 14. ДОКАЗАТЕЛЬСТВО: Справедливость приведённых законов можно доказать табличным способом: выписать все наборы
- 15. Скачать презентацию
Слайды и текст этой презентации
Слайд 1
Описание слайда:
ЛОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ
Проект 10 «А» класса
13.03.2012
Слайд 2
Описание слайда:
1. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ.
А=А
Я пойду гулять = Я не не пойду гулять
Двойное отрицание исключает отрицание.
Слайд 3
Описание слайда:
2.ПЕРЕМЕСТИТЕЛЬНЫЙ (КОММУНИКАТИВНЫЙ) ЗАКОН.
- Для логического сложения:
АvB = BvA
Ты или я = Я или ты
Для логического умножения:
A&B = B&A
Собака и кошка = Кошка и собака
Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.
Слайд 4
Описание слайда:
3. СОЧЕТАТЕЛЬНЫЙ (АССОЦИАТИВНЫЙ) ЗАКОН.
- Для логического сложения:
(AvB)vC = Av(BvC)
Для логического умножения:
(A&B)&C = A&(B&C)
При одинаковых знаках скобки можно ставить произвольно или вообще опускать.
Слайд 5
Описание слайда:
4. РАСПРЕДЕЛИТЕЛЬНЫЙ (ДИСТРИБУТИВНЫЙ) ЗАКОН.
Для логического сложения:
(AvB)vC= (A&C)v(B&C)
Для логического умножения:
(A&B)vC = (AvC)&(BvC)
Определяет правила выноса общего высказывания за скобку.
Слайд 6
Описание слайда:
5. ЗАКОН ОБЩЕЙ ИНВЕРСИИ (ЗАКОНЫ ДЕ МОРГАНА).
Для логического сложения:
AvB = A&B
Для логического умножения:
A&B = AvB
Слайд 7
Описание слайда:
6. ЗАКОНЫ ИДЕМПОТЕНТНОСТИ.
Для логического сложения:
AvA = A
Для логического умножения:
A&A = A
Закон означает отсутствие показателей степени.
Слайд 8
Описание слайда:
7. ЗАКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ.
Для логического сложения:
Av1 = 1, Av0 = A
Для логического умножения:
A&1 = A, A&0 = 0
Слайд 9
Описание слайда:
8. ЗАКОН ПРОТИВОРЕЧИЯ.
A&A = 0
Невозможно, чтобы противоречащие высказывания были одновременно истинными.
Слайд 10
Описание слайда:
9. ЗАКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО.
AvA = 1
Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе – ложное, третьего не надо.
Слайд 11
Описание слайда:
10. ЗАКОН ПОГЛОЩЕНИЯ.
Для логического сложения:
Av(A&B) = A
Для логического умножения:
A&(AvB) = A
Слайд 12
Описание слайда:
11. ЗАКОН ИСКЛЮЧЕНИЯ (СКЛЕИВАНИЯ).
- Для логического сложения:
(A&B)v(A&B) = B
- Для логического умножения:
(AvB)&(AvB) = B
Слайд 13
Описание слайда:
12. ЗАКОН КОНТРАПОЗИЦИИ (ПРАВИЛО ПЕРЕВЁРТЫВАНИЯ).
(A⟺B) = (B⟺A)
Слайд 14
Описание слайда:
ДОКАЗАТЕЛЬСТВО:
Справедливость приведённых законов можно доказать табличным способом: выписать все наборы значений А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие таблицы совпадут.
Презентация на тему Логические законы и правила доступна для скачивания ниже:
