Логикалық операторлар

Дәлелдеуге болатын пікірлердің заңдылықтары туралы ғылым

• Пікір

• Информатика

• Логика

• Санау жүйесі

Логика түрлері

• Формальді

• Ықтималдық

• Математикалық

• Барлығы

Жалған немесе ақиқат болуы мүмкін қандай да бір пайымдау

• Логика

• Пікір

• Санау жүйесі

• Информатика

Математикалық логиканың негізін қалаған

• Джордж Буш

• Лейбниц

• Джэк Канновер

• Джордж Буль

Математикалық логикадағы операциялар

• Және

• Немесе

• Емес

• Барлығы

Және операциясы үшін белгілер

• ^

• *

• &

• барлығы

"Және" басқаша атауы

• Көбейту

• Коньюкция

• Инверсия

• Дизьюнкция

Пікірлердің екеуіде ақиқат болғанда ақиқат береді

• Инверсия

• Дизьюнкция

• Коньюкция

• Эквиваленция

А және В пікірлердің біреуі жалған болса жалған мән береді

• Инверсия

• Дизьюнкция

• Коньюкция

• Импликация

А,В пікірлердің ақиқат кестесінде неше нұсқа болады

• 22 = 4

• 23 = 8

• 2 = 2

• 24 = 16