Все вопросы к тесту (html) Математическая логика и теория алгоритмов



В алгебре логики все высказывания рассматриваются только с точки зрения их смыслового содержания:

Значение высказывания может принимать любое значение от 0 до 1:

Инволютивность отрицания означает, что двойное отрицание высказывания есть само исходное высказывание:

Основателем математической логики считается Г. Лейбниц:

Фраза "если число делится на 6, то оно делится на 7" является импликацией:



Алгебра логики обладает коммутативными и ассоциативными законами относительно операций конъюнкции и дизъюнкции и дистрибутивным законом конъюнкции относительно дизъюнкции:

Впервые аксиоматическое построение математической теории было предпринято Г. Лейбницем в построении геометрии:

Впервые в истории идеи о построении логики на математической основе были высказаны Аристотелем:

Все логические слагаемые формулы различны:

Всякое сложное высказывание, которое может быть получено из элементарных высказываний посредством применения логических операций, называется формулой алгебры логики:

Значение импликации x -> y, при x = 0 и y = 0, равно 0:

Логика интересуется в первую очередь содержанием рассуждения:

Парадокс Кантора формулируется в рамках теории множеств:

Под высказыванием понимается любое истинное повествовательное предложение:

Теория алгоритмов является частью математической логики: