Логические законы и правила

Содержание

1. ЗАКОН ДВОЙНОГО 1. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ.ОТРИЦАНИЯ. А=А Я пойду гулять = Я не не пойду гулять Двойное отрицание исключает отрицание.
Презентации » Геометрия » Логические законы и правила

Слайды презентации

Слайд 1
ЛОГИЧЕСКИЕ ЗАКОНЫ И ЛОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРАВИЛА ПРЕОБРАЗОВАНИЯ ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ

ЛОГИЧЕСКИХ ВЫРАЖЕНИЙВЫРАЖЕНИЙ Проект 10 «А» класса 13.03.2012

ЛОГИЧЕСКИХ 
ВЫРАЖЕНИЙВЫРАЖЕНИЙ
Проект 10 «А» класса
13.03.2012

Слайд 2
1. ЗАКОН ДВОЙНОГО 1. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ.ОТРИЦАНИЯ. А=А Я пойду гулять = Я

не не пойду гулять Двойное отрицание исключает отрицание.

не не пойду гулять
Двойное отрицание исключает отрицание.

Слайд 3
2.ПЕРЕМЕСТИТЕЛЬНЫЙ 2.ПЕРЕМЕСТИТЕЛЬНЫЙ (КОММУНИКАТИВНЫЙ) (КОММУНИКАТИВНЫЙ) ЗАКОН.ЗАКОН. - Для логического сложения: А vB = BvA Ты

или я = Я или ты - Для логического умножения: A&B = B&A Собака и кошка = Кошка и собака Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.

или я = Я или ты
-
Для логического умножения:
A&B = B&A
Собака и кошка = Кошка и собака
  Результат операции над высказываниями не 
зависит от того, в каком порядке берутся эти 
высказывания.

Слайд 4
3. СОЧЕТАТЕЛЬНЫЙ 3. СОЧЕТАТЕЛЬНЫЙ (АССОЦИАТИВНЫЙ) (АССОЦИАТИВНЫЙ) ЗАКОН.ЗАКОН. - Для логического сложения: (AvB)vC =

Av(BvC) - Для логического умножения: ( A&B ) &C = A&(B&C) При одинаковых знаках скобки можно ставить произвольно или вообще опускать.

Av(BvC)
-
Для логического умножения:
( A&B ) &C = A&(B&C)
  При одинаковых знаках скобки можно 
ставить произвольно или вообще 
опускать.

Слайд 5
5. ЗАКОН ОБЩЕЙ 5. ЗАКОН ОБЩЕЙ ИНВЕРСИИ (ЗАКОНЫ ДЕ ИНВЕРСИИ (ЗАКОНЫ

ДЕ МОРГАНА).МОРГАНА). - Для логического сложения: AvB = A&B - Для логического умножения: A&B = AvB

ДЕ 
МОРГАНА).МОРГАНА).
-
Для логического сложения:
AvB = A&B
-
Для логического умножения:
A&B = AvB

Слайд 6
6. ЗАКОНЫ 6. ЗАКОНЫ ИДЕМПОТЕНТНОСТИ.ИДЕМПОТЕНТНОСТИ. - Для логического сложения: AvA = A - Для логического умножения: A&A

= A Закон означает отсутствие показателей степени.

= A
Закон означает отсутствие 
показателей степени.

Слайд 7
77 . ЗАКОНЫ ИСКЛЮЧЕНИЯ . ЗАКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ.КОНСТАНТ. - Для логического сложения: Av1 = 1,

Av0 = A - Для логического умножения: A&1 = A, A&0 = 0

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

A
-
Для логического умножения:
A&(AvB) = A

Слайд 11
11. ЗАКОН11. ЗАКОН ИСКЛЮЧЕНИЯ ИСКЛЮЧЕНИЯ (СКЛЕИВАНИЯ).(СКЛЕИВАНИЯ). - Для логического сложения: ( A&B )

v(A&B) = B - Для логического умножения: (AvB)&(AvB) = B

v(A&B) = B 
- Для логического умножения:
(AvB)&(AvB) = B

Слайд 12
12. ЗАКОН12. ЗАКОН КОНТРАПОЗИЦИИ КОНТРАПОЗИЦИИ (ПРАВИЛО (ПРАВИЛО ПЕРЕВЁРТЫВАНИЯ).ПЕРЕВЁРТЫВАНИЯ). ( A ⟺B )

= (B ⟺A )

= (B ⟺A )

Слайд 13
ДОКАЗАТЕЛЬСТВО:ДОКАЗАТЕЛЬСТВО: Справедливость приведённых законов можно доказать табличным способом: выписать все наборы значений

А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие таблицы совпадут.

А и В, 
вычислить на них значения левой и правой 
частей доказываемого выражения и 
убедиться, что результирующие таблицы 
совпадут.
Чтобы скачать презентацию - поделитесь ей с друзьями с помощью социальных кнопок.