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

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

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

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

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

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

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

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

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

Приоритет логических операций- (порядок выполнения операций ) 1 инверсия 2         конъюнкция 3         дизъюнкция