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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

построено из двух высказываний:

Число 2 больше числа 1 и Число 2 меньше числа 3 . Для получения новых высказываний из других

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

построено из двух высказываний:

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

Для получения новых высказываний из других вводятся операции над высказываниями

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

построено из двух высказываний:

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

Для получения новых высказываний из других вводятся операции над высказываниями (или как их еще называют

логические связки ).

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

построено из двух высказываний:

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

Для получения новых высказываний из других вводятся операции над высказываниями (или как их еще называют

логические связки ).

В качестве основных выделим пять операций:

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

построено из двух высказываний:

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

Для получения новых высказываний из других вводятся операции над высказываниями (или как их еще называют

логические связки ).

В качестве основных выделим пять операций: дизъюнкция,

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

построено из двух высказываний:

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

Для получения новых высказываний из других вводятся операции над высказываниями (или как их еще называют

логические связки ).

В качестве основных выделим пять операций: дизъюнкция,

конъюнкция,

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

построено из двух высказываний:

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

Для получения новых высказываний из других вводятся операции над высказываниями (или как их еще называют

логические связки ).

В качестве основных выделим пять операций: дизъюнкция,

конъюнкция, отрицание,

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

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

Из высказываний можно строить новые высказывания. Например, высказывание

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

построено из двух высказываний:

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

Для получения новых высказываний из других вводятся операции над высказываниями (или как их еще называют

логические связки ).

В качестве основных выделим пять операций: дизъюнкция,

конъюнкция, отрицание, импликация и

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