Презентация на тему: Логические законы и правила
А=А А=А Я пойду гулять = Я не не пойду гулять Двойное отрицание исключает отрицание.
- Для логического сложения: - Для логического сложения: АvB = BvA Ты или я = Я или ты Для логического умножения: A&B = B&A Собака и кошка = Кошка и собака Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.
- Для логического сложения: - Для логического сложения: (AvB)vC = Av(BvC) Для логического умножения: (A&B)&C = A&(B&C) При одинаковых знаках скобки можно ставить произвольно или вообще опускать.
Для логического сложения: Для логического сложения: (AvB)vC= (A&C)v(B&C) Для логического умножения: (A&B)vC = (AvC)&(BvC) Определяет правила выноса общего высказывания за скобку.
Для логического сложения: Для логического сложения: AvB = A&B Для логического умножения: A&B = AvB
Для логического сложения: Для логического сложения: AvA = A Для логического умножения: A&A = A Закон означает отсутствие показателей степени.
Для логического сложения: Для логического сложения: Av1 = 1, Av0 = A Для логического умножения: A&1 = A, A&0 = 0
A&A = 0 A&A = 0 Невозможно, чтобы противоречащие высказывания были одновременно истинными.
AvA = 1 AvA = 1 Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе – ложное, третьего не надо.
Для логического сложения: Для логического сложения: Av(A&B) = A Для логического умножения: A&(AvB) = A
- Для логического сложения: - Для логического сложения: (A&B)v(A&B) = B - Для логического умножения: (AvB)&(AvB) = B
(A⟺B) = (B⟺A) (A⟺B) = (B⟺A)
Справедливость приведённых законов можно доказать табличным способом: выписать все наборы значений А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие таблицы совпадут. Справедливость приведённых законов можно доказать табличным способом: выписать все наборы значений А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие таблицы совпадут.
