Презентация по информатике на тему Алгебра логики

Алгебра логики Формальная логика - наука, позволяющая делать заключения о правильности какого-либо суждения не по его фактическому содержанию, а только по форме его построения.
Закон исключения третьего«Во время своих странствий Платон был в Египте ИЛИ не был Платон в Египте»Формальная логика

Закон непротиворечивости«Во время своих странствий Платон был в Египте И не был Платон в Египте»Формальная логика

Закон отрицания«Если не верно, что Платон НЕ был в Египте, то значит Платон был в Египте»Формальная логика

Высказывание- это основной элемент логики, определяемый как повествовательное предложение, относительно которого можно однозначно сказать истинно оно или ложноФормальная логика
Какие из предложений могут быть высказыванием?Листья опадают осеньюЗемля прямоугольная2>1Не пейте сырую водуКто не хочет быть счастливымH2O+SO3=H2SO4


Алгебра логикиДжордж Буль, 1847 г1 – высказывание истинно0 – высказывание ложно
Инверсия(логическое отрицание)Обозначение:, ¯, Не верно, что…Черное – белоеДа – НетИстинно - Ложно{5C22544A-7EE6-4342-B048-85BDC9FD1C3A}АА1001



Конъюнкция (логическое умножение)Обозначение: , &, ИНа стоянке стоят синяя И красная машинаА – на стоянке стоит синяя машинаВ – на стоянке стоит красная машина{5C22544A-7EE6-4342-B048-85BDC9FD1C3A}АВАВ111100010000



Дизъюнкция (логическое сложение)Обозначение: , ИЛИНа стоянке стоят синяя ИЛИ красная машинаА – на стоянке стоит синяя машинаВ – на стоянке стоит красная машина{5C22544A-7EE6-4342-B048-85BDC9FD1C3A}АВАВ111101011000



Строгая дизъюнкция Обозначение: , ИЛИ … ИЛИ …Я нахожусь на западной ИЛИ восточной трибуне стадионаА –я на левой трибуне стадионаВ – я на правой трибуне стадиона{5C22544A-7EE6-4342-B048-85BDC9FD1C3A}АВАВ110101011000



Импликация (логическое следование)Обозначение: , ЕСЛИ… ТО…ЕСЛИ на улице идет дождь, ТО асфальт мокрыйА –На улице идет дождьВ – Асфальт мокрый{5C22544A-7EE6-4342-B048-85BDC9FD1C3A}АВАВ111100011001


Эквивалентность(логическое равенство)Обозначение: , ТОГДА И ТОЛЬКО ТОГДА, КОГДАЧисло делится на 3 ТОГДА И ТОЛЬКО ТОГДА, КОГДА сумма цифр делится на 3А –число делится на 3В – сумма цифр делится на 3{5C22544A-7EE6-4342-B048-85BDC9FD1C3A}АВАВ111100010001