Математическая логика
Алгебра логики Раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических значений, и логический операций над ними. Основатель алгебры логики Джордж Буль. Высказывание Предложение, про которое можно сказать, истинно оно или ложно. Из имеющихся высказываний можно строить новые высказывания, используя логические связи «И», «ИЛИ», «НЕ», «ЕСЛИ…ТО…» и т.д. Если никакая часть данного высказывания не является высказыванием, то его называют элементарным. Высказывания, образованные из других высказываний, называют составными (сложными). Истинность составных высказываний зависит от истинности образующих их высказываний и логических связок.