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

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

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

27 февраля 2015 г.

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

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

Основные определение и операции

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

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

Определение

Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно

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

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

Определение

Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно

Пример

1 A = Сегодня утром шел снег .

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

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

Определение

Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно

Пример

1 A = Сегодня утром шел снег .

2 B = Число 2 больше числа 1 и меньше числа 3 .

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

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

Определение

Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно

Пример

1	A = Сегодня утром шел снег .
2	B = Число 2 больше числа 1 и меньше числа 3 .
3	C = Если число делится на 6, то оно делится на 2 .

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

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

Определение

Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно

Пример

1	A = Сегодня утром шел снег .
2	B = Число 2 больше числа 1 и меньше числа 3 .
3	C = Если число делится на 6, то оно делится на 2 .
	D = Число p		не является рациональным .
4		2

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

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

Определение

Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно

Пример

1	A = Сегодня утром шел снег .
2	B = Число 2 больше числа 1 и меньше числа 3 .
3	C = Если число делится на 6, то оно делится на 2 .
	D = Число p				не является рациональным .
4			2
	E = Число p			является рациональным .
5		2

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

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

Определение

Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно

Пример

1	A = Сегодня утром шел снег .
2	B = Число 2 больше числа 1 и меньше числа 3 .
3	C = Если число делится на 6, то оно делится на 2 .
	D = Число p				не является рациональным .
4			2
	E = Число p			является рациональным .
5		2

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

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

Определение

Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно

Пример

1	A = Сегодня утром шел снег .
2	B = Число 2 больше числа 1 и меньше числа 3 .
3	C = Если число делится на 6, то оно делится на 2 .
	D = Число p				не является рациональным .
4			2
	E = Число p			является рациональным .
5		2

Очевидно что B, C è D являются истинными высказываниями,

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