Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Логические законы и правила
Содержание
- 1. Логические законы и правила
- 2. 1. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ.А=АЯ пойду гулять = Я не не пойду гулятьДвойное отрицание исключает отрицание.
- 3. 2.ПЕРЕМЕСТИТЕЛЬНЫЙ (КОММУНИКАТИВНЫЙ) ЗАКОН.- Для логического сложения:АvB =
- 4. 3. СОЧЕТАТЕЛЬНЫЙ (АССОЦИАТИВНЫЙ) ЗАКОН.- Для логического сложения:(AvB)vC
- 5. 4. РАСПРЕДЕЛИТЕЛЬНЫЙ (ДИСТРИБУТИВНЫЙ) ЗАКОН.Для логического сложения:(AvB)vC= (A&C)v(B&C)Для
- 6. 5. ЗАКОН ОБЩЕЙ ИНВЕРСИИ (ЗАКОНЫ ДЕ МОРГАНА).Для логического сложения:AvB = A&BДля логического умножения:A&B = AvB
- 7. 6. ЗАКОНЫ ИДЕМПОТЕНТНОСТИ.Для логического сложения:AvA = AДля логического умножения:A&A = AЗакон означает отсутствие показателей степени.
- 8. 7. ЗАКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ.Для логического сложения:Av1 =
- 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. ДОКАЗАТЕЛЬСТВО:Справедливость приведённых законов можно доказать табличным способом:
- 15. Скачать презентанцию
1. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ.А=АЯ пойду гулять = Я не не пойду гулятьДвойное отрицание исключает отрицание.
Слайды и текст этой презентации
Слайд 1ЛОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ
Проект 10 «А» класса
13.03.2012
Слайд 32.ПЕРЕМЕСТИТЕЛЬНЫЙ (КОММУНИКАТИВНЫЙ) ЗАКОН.
- Для логического сложения:
АvB = BvA
Ты или я
= Я или ты
Для логического умножения:
A&B = B&A
Собака и кошка
= Кошка и собакаРезультат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.
Слайд 43. СОЧЕТАТЕЛЬНЫЙ (АССОЦИАТИВНЫЙ) ЗАКОН.
- Для логического сложения:
(AvB)vC = Av(BvC)
Для логического
умножения:
(A&B)&C = A&(B&C)
При одинаковых знаках скобки можно ставить произвольно
или вообще опускать.
Слайд 54. РАСПРЕДЕЛИТЕЛЬНЫЙ (ДИСТРИБУТИВНЫЙ) ЗАКОН.
Для логического сложения:
(AvB)vC= (A&C)v(B&C)
Для логического умножения:
(A&B)vC =
(AvC)&(BvC)
Определяет правила выноса общего высказывания за скобку.
Слайд 65. ЗАКОН ОБЩЕЙ ИНВЕРСИИ (ЗАКОНЫ ДЕ МОРГАНА).
Для логического сложения:
AvB =
A&B
Для логического умножения:
A&B = AvB
Слайд 76. ЗАКОНЫ ИДЕМПОТЕНТНОСТИ.
Для логического сложения:
AvA = A
Для логического умножения:
A&A =
A
Закон означает отсутствие показателей степени.
Слайд 87. ЗАКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ.
Для логического сложения:
Av1 = 1, Av0 =
A
Для логического умножения:
A&1 = A, A&0 = 0
Слайд 98. ЗАКОН ПРОТИВОРЕЧИЯ.
A&A = 0
Невозможно, чтобы противоречащие высказывания были одновременно
истинными.
Слайд 109. ЗАКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО.
AvA = 1
Из двух противоречащих высказываний об
одном и том же предмете одно всегда истинно, а второе
– ложное, третьего не надо.
Слайд 1110. ЗАКОН ПОГЛОЩЕНИЯ.
Для логического сложения:
Av(A&B) = A
Для логического умножения:
A&(AvB) =
A
Слайд 1211. ЗАКОН ИСКЛЮЧЕНИЯ (СКЛЕИВАНИЯ).
- Для логического сложения:
(A&B)v(A&B) = B
-
Для логического умножения:
(AvB)&(AvB) = B
Слайд 14ДОКАЗАТЕЛЬСТВО:
Справедливость приведённых законов можно доказать табличным способом: выписать все наборы
значений А и В, вычислить на них значения левой и
правой частей доказываемого выражения и убедиться, что результирующие таблицы совпадут.
Теги
