Логические высказывания

	Основные определение и операции	Законы логики высказываний
	Равносильность формул и законы логики высказываний

Законы логики высказываний

Часть из законов следует прямо из определений, часть проверяется построением таблиц истинности

Некоторые законы имеют специальные названия.

1 è 10 законы коммутативности

2 è 20 законы ассоциативности

3 è 30 законы дистрибутивности

9 è 90 законы поглощения

Логика высказываний

	Основные определение и операции	Законы логики высказываний
	Равносильность формул и законы логики высказываний

Законы логики высказываний

Часть из законов следует прямо из определений, часть проверяется построением таблиц истинности

Некоторые законы имеют специальные названия.

1 è 10 законы коммутативности

2 è 20 законы ассоциативности

3 è 30 законы дистрибутивности

9 è 90 законы поглощения

10 è 100 законы де Моргана

Логика высказываний

	Основные определение и операции	Законы логики высказываний
	Равносильность формул и законы логики высказываний

Законы логики высказываний

Часть из законов следует прямо из определений, часть проверяется построением таблиц истинности

Некоторые законы имеют специальные названия.

1 è 10 законы коммутативности

2 è 20 законы ассоциативности

3 è 30 законы дистрибутивности

9 è 90 законы поглощения

10 è 100 законы де Моргана

Законы 11 è 12 выражают импликацию и эквиваленцию через

дизъюнкцию, конъюнкцию и отрицание, что удобно для преобразования логических выражений

Логика высказываний

	Основные определение и операции	Законы логики высказываний
	Равносильность формул и законы логики высказываний

Нетрудно заметить, что почти все законы логики высказываний имеют аналоги среди свойств операций над множествами.

Логика высказываний

	Основные определение и операции	Законы логики высказываний
	Равносильность формул и законы логики высказываний

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

Логика высказываний

	Основные определение и операции	Законы логики высказываний
	Равносильность формул и законы логики высказываний

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

_	^	:			0	1
[	\				0/	U

Логика высказываний