Презентация ЗАКОНЫ ДЕ МОРГАНА

Август 29, 2022

Главная
Философия
Презентация ЗАКОНЫ ДЕ МОРГАНА

Содержание

2. План презентации Понятие; Персоналия. Огастес де Морган; Определение; Использованные источники.
3. Понятие Законы де Моргана (правила де Моргана) — логические правила, связывающие пары дуальных логических операторов при
4. Огастес де Морган Огастес (Август) де Морган 1806-1871— шотландский математик и логик; профессор математики университетского колледжа
5. Определение Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения: not (P
6. Обычная запись этих законов в формальной логике:
7. или: Если существует операция логического умножения двух и более элементов, операция «и» — (A&B), то для
8. Итак, законы де Моргана имеют вид: (1) (A & B) экв. ( A) / ( B);
9. Законы читаются: Закон (1) читается: отрицание конъюнкции высказываний А и В эквивалентно (равносильно) дизъюнкции отрицаний этих
10. Использованные источники http://dic.academic.ru/dic.nsf/enc_philosophy/6108/; http://ru.wikipedia.org/.
12. Скачать презентацию

Слайд 2

План презентации
Понятие;
Персоналия. Огастес де Морган;
Определение;
Использованные источники.

Слайд 3

Понятие
Законы де Моргана (правила де Моргана) — логические правила, связывающие пары дуальных

логических операторов при помощи логического отрицания.

Слайд 4

Огастес де Морган
Огастес (Август) де Морган 1806-1871— шотландский математик и логик;

профессор математики университетского колледжа в Лондоне; первый президент Лондонского математического общества.
Основные труды:
по математической логике и теории рядов;
к своим идеям в алгебре логики пришёл независимо от Дж. Буля;
изложил (1847) элементы логики высказываний и логики классов;
дал первую развитую систему алгебры отношений;
с его именем связаны известные теоретико-множественные соотношения (законы де Моргана).

Слайд 5

Определение
Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы

следующие соотношения:
not (P and Q) = (not P) or (not Q)
not (P or Q) = (not P) and (not Q)

Слайд 6

Обычная запись этих законов в формальной логике:

Слайд 7

или:
Если существует операция логического умножения двух и более элементов, операция «и» —

(A&B), то для того, чтобы найти обратное от всего суждения ~(A&B), необходимо найти обратное от каждого элемента и объединить их операцией логического сложения, операцией «или» — (~A+~B). Закон работает аналогично в обратном направлении:
~(A+B) = (~A&~B))

Слайд 8

Итак, законы де Моргана имеют вид:
(1) (A & B) экв. (

A) / ( B);
(2) (A / B) экв. ( A) & ( B).

Слайд 9

Законы читаются:
Закон (1) читается: отрицание конъюнкции высказываний А и В эквивалентно

(равносильно) дизъюнкции отрицаний этих высказываний;
Закон (2) читается: отрицание дизъюнкции высказываний А и В эквивалентно конъюнкции их отрицаний.

Слайд 10

Презентация ЗАКОНЫ ДЕ МОРГАНА

Содержание

План презентацииПонятие;Персоналия. Огастес де Морган;Определение;Использованные источники.

ПонятиеЗаконы де Моргана (правила де Моргана) — логические правила, связывающие пары дуальных

Огастес де МорганОгастес (Август) де Морган 1806-1871— шотландский математик и логик;

ОпределениеОгастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы

Обычная запись этих законов в формальной логике:

или:Если существует операция логического умножения двух и более элементов, операция «и» —

Итак, законы де Моргана имеют вид:(1) (A & B) экв. (

Законы читаются:Закон (1) читается: отрицание конъюнкции высказываний А и В эквивалентно

Использованные источникиhttp://dic.academic.ru/dic.nsf/enc_philosophy/6108/;http://ru.wikipedia.org/.

Похожие презентации