Презентация на тему: Формы мышления. Алгебра высказываний
Формы мышления. Алгебра высказываний
Логика-наука о законах и формах мышления Основными формами мышления являются: понятия суждения умозаключения
Понятие- форма мышления, в которой отражаются существенные признаки отдельного предмета. ( портфель, трапеция, ветер )Суждение- мысль, в которой что- либо утверждается или отрицается о предметах. ( весна пришла)
Умозаключение- прием мышления , посредством которого из исходного знания получается новое знание. ( литий- металл)
В основе логических схем и устройств ПК лежит специальный математический аппарат , использующих законы математической логики. В математической логике суждения наз-ся высказываниями.Высказывание-это предложение , о котором можно сказать , истинно оно или ложно. ( Земля- это планета истинно )( 5х5=26 ложно ) Если высказывание истинно, то его значение равно 1, если ложно 0.Простые высказывания назвали логическими переменными, а сложные – логическими функциями. Для простоты записи высказывания обозначаются латинскими буквами А,В, С…. ( у кошки 4 ноги А=1 ) ( Курск –столица РФ В=0 )
Основные логические операции.
КОНЪЮНКЦИЯØ Соответствует союзу ИØ Обозначается знаками ^ ,&Ø Иначе называется логическое умножениеКонъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания истинны.Таблица истинности конъюнкции имеет вид
2. ДИЗЪЮНКЦИЯ Ø Соответствует союзу ИЛИØ Обозначается знаком vØ Иначе называется логическое сложениеДизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны.Таблица истинности дизъюнкции имеет вид
3. ИНВЕРСИЯØ Соответствует частице НЕØ Обозначается черточкой над именемØ Иначе называется отрицание Инверсия логической переменной ложна, если сама переменная истинна, и, наоборот, инверсия истинна, если переменная ложна..Таблица истинности инверсии имеет вид
Приоритет логических операций-(порядок выполнения операций ) 1 инверсия2 конъюнкция3 дизъюнкция
