0 / 0 / 0
Регистрация: 11.06.2012
Сообщений: 31
1

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

22.11.2012, 09:40. Показов 2115. Ответов 5
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Доброго времени суток.
Вот мое задание.
Пусть W- множество людей. На множестве W заданы следующие предикаты:
E(x, y) = И - x и y – один и тот же человек;
P(x, y) = И - x родитель y;
C(x, y) = И - x и y – супруги;
M(x) = И - x – мужчина;
W(x) = И - x – женщина.
С использованием этих предикатов записать формулы, выражающие следующее утверждение:
"У каждого есть дедушка"
Мой ответ:
https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x(\exists y & \exists z & P(y,x) & P(z,y)&M(z))
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
22.11.2012, 09:40
Ответы с готовыми решениями:

Проверьте, пожалуйста, моё решение
Задача: Найти (доказав, что других нет) все вещественные r, для которых существует непостоянная...

Проверьте пожалуйста мое решение
Дан 1 одномерный массив n размера. Необходимо заполнить его числами путём ввода с клавиатуры....

Проверьте мое решение и подскажите, что не так
Доброго времени суток! Поскольку я плохо разбираюсь в маткаде, прошу проверить мое решение и...

Найти распределение [4E], где E - случ. величина (проверьте мое решение)
Как найти распределение N = , если E непрерывно равномерно распределена на отрезке , то есть...

5
Змеюка одышечная
9863 / 4594 / 178
Регистрация: 04.01.2011
Сообщений: 8,556
22.11.2012, 13:43 2
Между переменными и между переменной и предикатом логические операции не ставят.
0
0 / 0 / 0
Регистрация: 11.06.2012
Сообщений: 31
23.11.2012, 08:10  [ТС] 3
Цитата Сообщение от vetvet Посмотреть сообщение
Между переменными и между переменной и предикатом логические операции не ставят.
Вы имеете ввиду кванторы наверное?
То, есть такой вариант точнее?
https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x \exists y \exists z (P(y,x)&P(z,y)&M(z))
0
Змеюка одышечная
9863 / 4594 / 178
Регистрация: 04.01.2011
Сообщений: 8,556
23.11.2012, 15:51 4
Цитата Сообщение от Extro Посмотреть сообщение
Вы имеете ввиду кванторы наверное?
И их тоже.

Цитата Сообщение от Extro Посмотреть сообщение
То, есть такой вариант точнее?
Такой вернее.
1
0 / 0 / 0
Регистрация: 11.06.2012
Сообщений: 31
24.11.2012, 19:51  [ТС] 5
Спасибо!
0
Змеюка одышечная
9863 / 4594 / 178
Регистрация: 04.01.2011
Сообщений: 8,556
24.11.2012, 20:57 6
Extro, всегда пожалуйста
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
24.11.2012, 20:57
Помогаю со студенческими работами здесь

Проверьте решение, пожалуйста
Задача: Корпорация включает в себя пять заводов в разных странах мира. Процент брака в компаниях...

проверьте, пожалуйста, решение
Решил задачу, проверьте пожалуйста, может ошибки где, или посоветуете что. P.S. Прошу прощения...

Проверьте, пожалуйста, решение
Нужно упростить, построить таблицу истинности, построить СДНФ и СКНФ методом преобразований и по...

Проверьте пожалуйста решение.
Найти сумму целых положительных чисел кратных 4 и меньших 100. Я тут чото нарешал - Program...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
6
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2023, CyberForum.ru