Контрольная работа: Математическая логика и теория алгоритмов 3

Решение: "x "y "z ((D (y , x )& D (z , y ))ÞD (z , x ))

7) Пользуясь знаками арифметических операций (+, ´) и отношений (Ð, =) запишите на языке логики предикатов следующее высказывание о действительных числах: «система уравнений не имеет решения»

Решение: - ложно.

8) Пользуясь знаками арифметических операций (+, ´) и отношений (Ð, =) запишите при помощи логический символов высказывание и определите, истинное или ложное: «для любых действительных чисел x и y , если

x < y и y ¹ 0, то x /y < 1»

Решение: - истинное высказывание, т.к.

Прочитай и до делай всмысле вставь нижнии исправленные задания в верх

Рецензия на контрольную работу

по дисциплине Математическая логика и теория алгоритмов
студента ТМЦ ДО Заболотского М.А.

город Южно-Сахалинск

Отметка о зачёте: незачет

Рецензент Р.В. Мещеряков

04 января 2004 года

Замечания

По контрольной работе 1.

1. не верно

5. расписать более подробно

9. не верно, не полно.

Там где отмечено "не верно" требуется ознакомление с теорией соответствующих разделов пособия. В следующий раз необходимо высылать только не зачтенные решения вместе с новыми решениями

1Неверное

Найдите множество X, удовлетворяющее следующему условию:

Решение:

, т.к.

-относительным дополнением множества A до пустого множества является само множество A

-относительным дополнением множества А к самому себе является f

т.е.

1 Исправленное

Найдите множество X, удовлетворяющее следующему условию:

Решение:

Рассмотрим на диаграмме Венна