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

Основными формами мышления являются:

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

отдельного предмета.

( портфель, трапеция, ветер )



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

знания получается новое

знание.
( литий- металл)

специальный математический аппарат , использующих законы математической логики.

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

,&
Ø      Иначе называется логическое умножение
Конъюнкция двух логических переменных истинна

тогда и только тогда, когда оба высказывания истинны.

Таблица истинности конъюнкции имеет вид

знаком v
Ø      Иначе называется логическое сложение
Дизъюнкция двух логических переменных

ложна тогда и только тогда, когда оба высказывания ложны.

Таблица истинности дизъюнкции имеет вид

именем
Ø      Иначе называется отрицание
 
Инверсия логической переменной ложна, если сама

переменная истинна, и, наоборот, инверсия истинна, если переменная ложна..

Таблица истинности инверсии имеет вид

А