Формы мышления. Алгебра высказываний

Логика-наука о законах и формах мышления
Основными формами мышления являются:
понятия
суждения
умозаключения

Понятие- форма мышления, в которой отражаются существенные признаки отдельного предмета.
( портфель, трапеция, ветер )
Суждение- мысль, в которой что- либо утверждается или отрицается о предметах.
( весна пришла)

Умозаключение- прием мышления , посредством которого из исходного знания получается новое знание. ( литий- металл)

В основе логических схем и устройств ПК лежит специальный математический аппарат , использующих законы математической логики.
В математической логике суждения наз-ся высказываниями.
Высказывание-это предложение , о котором можно сказать , истинно оно или ложно.
( Земля- это планета истинно )
( 5х5=26 ложно )
Если высказывание истинно, то его значение равно 1, если ложно 0.
Простые высказывания назвали логическими переменными, а сложные – логическими функциями.
Для простоты записи высказывания обозначаются латинскими буквами А,В, С….
( у кошки 4 ноги А=1 )
( Курск –столица РФ В=0 )

Основные логические операции.

КОНЪЮНКЦИЯ
⮚ Соответствует союзу И
⮚ Обозначается знаками ^ ,&
⮚ Иначе называется логическое умножение
Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания истинны.
Таблица истинности конъюнкции имеет вид

2. ДИЗЪЮНКЦИЯ
⮚ Соответствует союзу ИЛИ
⮚ Обозначается знаком v
⮚ Иначе называется логическое сложение
Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны.
Таблица истинности дизъюнкции имеет вид

3. ИНВЕРСИЯ
⮚ Соответствует частице НЕ
⮚ Обозначается черточкой над именем
⮚ Иначе называется отрицание
Инверсия логической переменной ложна, если сама переменная истинна, и, наоборот, инверсия истинна, если переменная ложна..
Таблица истинности инверсии имеет вид
А