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