Предикаты: P(x,y,z) = Истина <=> xy=z; S(x,y,z) = Истина <=> x+y=z; б) высказывание x-простое; Я сделал следующим образом: существует x для всех y для всех z(НЕ(P(x,y,z) и P(x,z,y)) и ((P,z,y,x) и P(z,x,y)) или (P(y,z,x) и P(y,x,z)))); Я руководствовался следующей логикой: всего 6 предикатов, разобьём их на 3 блока по 2 предиката (для удобности понимания). В первом блоке: Не(xy=z и xz=y), zx^2 неравно z, x^2 неравно 1, x неравно 1. Во втором блоке: zy=x и zx=y => 1)xz^2=1, z=1; 2)z=x/y и z=y/x=> x=y. Аналогично в 3ем блоке, будет y=1 и z=x. Определение простого числа: Натуральное число x называется простым, если оно не равно 1(x неравно 1) и при всяком разложении его в произведение двух натуральных чисел одно из них оказывается равным 1 (y=1 или z=1) или равным x (y=x или z=x). Прошу проверить

задан 15 Июн '17 18:34

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

(15 Июн '17 19:31) kotkatyakot

Почти то же самое было здесь. Там, правда, ещё добавлялись два одноместных предиката, но они легко выразимы. В предыдущем вопросе я написал, как это делается.

Я Вас самое начало решения неправильное, а дальше я не читал. Дело в том, что если про "икс" надо что-то сказать, то эта переменная никоим образом не идёт под квантором.

(15 Июн '17 20:12) falcao

@kotkatyakot, @falcao, спасибо, я разобрался

(15 Июн '17 21:06) Quintin65
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×883
×408
×61

задан
15 Июн '17 18:34

показан
307 раз

обновлен
15 Июн '17 21:06

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru