Вопрос № 29747: Здравствуйте уважаемые эксперты!
вопрос:
1. Нужна литература по логике предикатов, желательно на очень-очень простом и понятном языке (русском).
2. Выразить один квантор через другой: !Ex Ax P1 (x1 y) v !E Ay P2 (x1 y)
...
Вопрос № 29.747
Здравствуйте уважаемые эксперты!
вопрос:
1. Нужна литература по логике предикатов, желательно на очень-очень простом и понятном языке (русском).
2. Выразить один квантор через другой: !Ex Ax P1 (x1 y) v !E Ay P2 (x1 y)
Непечатаемые символы:
! - отрицание
E - в оригинале - обратить справа на лево (Заменяет слова «существует», «найдется»)
A - в оригинале - обратить сверху вниз (Заменяет слова «для любого», «для каждого», «для всех»)
v - или, (+)
Отвечает: Татьяна
Здравствуйте, Терсков Алексей Николаевич!
Вы уже задавали этот вопрос, я просила уточнить - т.е. просто поставить скобки
!Ex Ax P1 (x1 y) v !E Ay P2 (x1 y) - тут вообще говоря немного нелогичное выражение, очень трудно понять, что имеется в виду
я так понимаю, должно быть так
!(Ex AуP1 (x, y)) v !(ExAy P2 (x, y))
тогда это равно АхЕуР1(х,у) v АхЕуР2(x,y)
я уже вам говорила, уточните выражение и я с удовольствием вам помогу.
--------- Нет ничего невозможного!!!
Ответ отправила: Татьяна (статус: 8-ой класс)
Отправлен: 18.11.2005, 22:37 Оценка за ответ: 5 Комментарий оценки: Думаю, что я что-то неправильно пишу! Если бы вам на эл. почту, а я незнаю адреса! :(