Презентация "Формы мышления. Алгебра высказываний" – проект, доклад

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

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

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

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

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

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

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

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

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

А

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