Пример 2. Дано высказывание: «Утверждение, что множество А есть часть множества В, означает, что все элементы из А являются элементами из В»

Пример 1.

Дано высказывание: «Утверждение, что множество А есть часть множества В, означает, что все элементы из А являются элементами из В». Записать посредством кванторов.

Решение. .

Дано высказывание: «Утверждение, что множество А не есть часть множества В, равносильно следующему: существует такой элемент из А, что он не принадлежит В». Записать посредством кванторов.

Решение. .

Замечание. В основе математической логики лежит логика высказываний, в которой высказывания изучаются с помощью особого буквенного исчисления, называемого алгеброй логики.

Определение 8. Алгебра логики – раздел математической логики, который изучает общие свойства выражений, составленных из высказываний с помощью логических операций.

Дата добавления: 2014-01-07