Переведите с естественного языка на язык логики предикатов

@Ann1984 · Регистрация: 09.10.2018

Author24 — интернет-сервис помощи студентам

Здравствуйте. У меня задание: "переведите с естественного языка на язык логики предикатов:
всякое четное число, большее 2, есть сумма двух простых чисел."
Я поступила таким образом.
Предикаты:
А (х) $https://www.cyberforum.ru/cgi-bin/latex.cgi?\equiv$ "x – четное число" ,
у,z - простые числа.
Универсум: N = натуральные числа.
Формула: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall N (N > 2)\rightarrow (\exist y,z \epsilon N(N=y+z))$ .
Но данное решение не было принято, т.к. формула пришется для х, а не для N (слова преподавателя).
Подскажите пожалуйста, как можно переделать формулу. И может там еще какие ошибки.

@DrType · 19.11.2019, 11:10

Если $https://www.cyberforum.ru/cgi-bin/latex.cgi?\mathbb{N}$ универсум, то принадлежность $https://www.cyberforum.ru/cgi-bin/latex.cgi?\mathbb{N}$ требовать необязательно.
Можно обозначить через $https://www.cyberforum.ru/cgi-bin/latex.cgi?P$ множество всех простых чисел, тогда следующий вариант будет в принципе приемлем:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x ((A(x) & x>2)\rightarrow (\exist y,z \in P (x=y+z))$ .
А Ваша формула некорректна потому, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?N$ это имя множества, а не общее имя его элементов.

@3D Homer · 19.11.2019, 13:48

Я бы написал ∃y∃z (P(y) /\ P(z) /\ x = y + z).

@Ann1984 0 / 0 / 0 Регистрация: 09.10.2018 Сообщений: 87
		1
	Переведите с естественного языка на язык логики предикатов 19.11.2019, 08:35. Показов 4220. Ответов 2 Метки нет (Все метки) Здравствуйте. У меня задание: "переведите с естественного языка на язык логики предикатов: всякое четное число, большее 2, есть сумма двух простых чисел." Я поступила таким образом. Предикаты: А (х) $https://www.cyberforum.ru/cgi-bin/latex.cgi?\equiv$ "x – четное число" , у,z - простые числа. Универсум: N = натуральные числа. Формула: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall N (N > 2)\rightarrow (\exist y,z \epsilon N(N=y+z))$ . Но данное решение не было принято, т.к. формула пришется для х, а не для N (слова преподавателя). Подскажите пожалуйста, как можно переделать формулу. И может там еще какие ошибки. 0

@DrType Модератор 6279 / 3518 / 1050 Регистрация: 07.09.2019 Сообщений: 5,667 Записей в блоге: 1
	19.11.2019, 11:10	2
	Сообщение было отмечено Ann1984 как решение Решение Если $https://www.cyberforum.ru/cgi-bin/latex.cgi?\mathbb{N}$ универсум, то принадлежность $https://www.cyberforum.ru/cgi-bin/latex.cgi?\mathbb{N}$ требовать необязательно. Можно обозначить через $https://www.cyberforum.ru/cgi-bin/latex.cgi?P$ множество всех простых чисел, тогда следующий вариант будет в принципе приемлем: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x ((A(x) & x>2)\rightarrow (\exist y,z \in P (x=y+z))$ . А Ваша формула некорректна потому, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?N$ это имя множества, а не общее имя его элементов. 0

@3D Homer $Эксперт по математике/физике$ 4952 / 3570 / 1151 Регистрация: 01.09.2014 Сообщений: 9,660
	19.11.2019, 13:48	3
	Я бы написал ∃y∃z (P(y) /\ P(z) /\ x = y + z). 2

Переведите с естественного языка на язык логики предикатов

Решение