Алгебра логики обладает коммутативными и ассоциативными законами относительно операций конъюнкции и дизъюнкции и дистрибутивным законом конъюнкции относительно дизъюнкции:
В алгебре логики все высказывания рассматриваются только с точки зрения их смыслового содержания:
Впервые аксиоматическое построение математической теории было предпринято Г. Лейбницем в построении геометрии:
Впервые в истории идеи о построении логики на математической основе были высказаны Аристотелем:
Все логические слагаемые формулы различны:
Всякое сложное высказывание, которое может быть получено из элементарных высказываний посредством применения логических операций, называется формулой алгебры логики:
Значение высказывания может принимать любое значение от 0 до 1:
Значение импликации x -> y, при x = 0 и y = 0, равно 0:
Инволютивность отрицания означает, что двойное отрицание высказывания есть само исходное высказывание:
Логика интересуется в первую очередь содержанием рассуждения:
Основателем математической логики считается Г. Лейбниц:
Парадокс Кантора формулируется в рамках теории множеств:
Под высказыванием понимается любое истинное повествовательное предложение:
Теория алгоритмов является частью математической логики:
Фраза "если число делится на 6, то оно делится на 7" является импликацией: