Помогите, пожалуйста решить задание с кванторами.

[email protected] в категроии Информатика, вопрос открыт 13.04.2018 в 11:54


1. Пусть M(x,y) означает «число х – больше числа y»
Что означают утверждения: M(5, 1) M(8, 10) x M(x, 2)
Какие из них истинны, какие нет?
2. Введен предикат L(x,y) «х любит y -ка»
Как записать утверждения:
«Петя любит Машу»
«Каждый любит себя»
«Никто не любит всех»

1 задание я решила. Получилось:
M(x, y) означает «число х – больше числа y». Это означает, что предикат M(x, у) имеет интерпретацию. Тогда каждой формуле может быть приписано значение «истина» или «ложь».

M(5, 1)

В предикате M(x, y) переменные x и y заменены на конкретные величины (константы): «число 5 – больше числа 1». Данное выражение примет значение И.

M(8, 10)

В предикате M(x, y) переменные x и y заменены на конкретные величины (константы): «число 8 – больше числа 10». Данное выражение примет значение Л.

Предикат $x M(x, 2) означает «Некоторые числа x – больше числа 2». Данное выражение принимает значение И.

2 Задания с смогла решить только первое из 3х:

Утверждение «Петя любит Машу» будет записано: L(Петя, Маша);

Помогите решить во 2 задание вторую и третью фразы. Спасибо.

0 ответов

Нет результатов.
Оставлять ответы могут только авторизированные пользователи.
Зарегистрируйтесь или  авторизируйтесь на сайте чтобы оставить ответ на вопрос.