Свободные вхождения переменных

связанные вхождения переменных

Переменная х входит в формулу три раза и все три раза является связанной. Первый раз х следует непосредственно за квантором "; второе и третье вхождения х находятся в области действия этого квантора. Переменная тоже у входит в формулу три раза. Но первое вхождение у является свободным, так как квантор " к у не относится, а квантор $ встречается лишь позднее. Второе вхождение у следует непосредственно за квантором $, третье оказывается в области действия этого квантора – так что оба эти вхождения у оказываются связанными. Переменная z входит в формулу только один раз, и это единственное вхождение является свободным, потому что ни один квантор (ни ", ни $) к z не относятся.

Упражнение 2. Определите, какие вхождения переменных в данную формулу являются связанными, а какие свободными:

"х(Q(z,y) º P(x,y)) & "z$y(P(y,x) É Q(f(x),z))

Дата добавления: 2015-06-30; просмотров: 145; Нарушение авторских прав

Мы поможем в написании ваших работ!