Презентация на тему Алгебра логики

мышления.
Понятие;
Высказывание;
Умозаключение
Основные формы мышления:

-
Содержание
Объем

форма мышления, в которой что-либо утверждается или отрицается о

реальных предметах, их свойствах и отношениях между ними.

только истинные суждения.
Умозаключение -
это форма мышления, с помощью

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

которые могут принимать лишь два значения «истинно» и «ложно».

Истинно =1
Ложно=0

Алгебра
высказываний

отрицание
операция не
конъюнкция
дизъюнкция
логическое умножение
операция и
логическое сложение

операция или

(логического выражения), в которую входят логические переменные, обозначающие высказывания,

и знаки логических операций, обозначающие логические функции.

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

всякое высказывание тождественно самому себе.
А=А
Закон непротиворечия: высказывание не

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

А=А

А ۷ В=А & В
А & В=А ۷ В

– количество переменных;
Количество столбцов = количество переменных + количество

логических операций