Ну нашла чего пугаться. Квантор всеобщности означает"выполняется для всех элементов". Квантор существования - "есть такой элемент, для которого выполняется".

это я поняла. но вот это (в частности, формулу) не могу.
"вхождение называется связанным, если переменная стоит непосредственно за квантором (здесь понятно) или входит в область действия квантора по этой переменной (здесь нет)"
F = t(x)&(/здесь квантор всеобщности/y)[S(x,y)->(здесь квантор существования/x)(r(x,y)/логическое или/t(y))]
1 и 2 вхождение x свободное, а 3 и 4 связанное. все вхождения y связаны.
и вообще все что касается предикатов не очень понятно, с логикой высказываний все просто.

Но там всего 3 вхождения х? Одно связанное.
F истинно, если истинно t(x) и для любых у из того, что истинно S(x,y) следует, что существует такое х, что истинно r(x,y) или t(y).
F - это формула F(x), от у она не зависит, потому что все вхождения у связанные.
Формула вроде просто к t(x) сводится, потому что если t(x) ложно, то F тоже ложно, а если t(x) истинно, то t(y) тоже истинно для всех у и вторая часть( где импликация ) тогда тоже выполняется.
t(x) это кстати то же самое, что "для любого х " t(x) , первое истинно тогда и только тогда, когда второе истинно
Проверь, верно ли у тебя формула записана.

Джей, как ты все это понимаешь? =)
в лекциях, которые давала препод, именно так и написано.
сдала я сегодня этот экзамен. про логику предикатов все таки чуши наговорила. как назло попалась. второй вопрос ответила, задачу решила, кстати такого типа мы не рассматривали на лекциях. а она мне се равно тройбан влепила. обидно. я просто слышала как отвечали другие. и главно никаких доп вопросов не задала. ладно...самое важное, что одним экзаменом меньше =)

KaT:eHok :)