Введем теперь несколько важных синтаксических понятий, связанных с кванторами и переменными

В формулах вида "αА и $αА формула А называется областью действия квантора (" или $) по переменной α. Вхождение предметной переменной в некоторую формулу называется связанным, если оно следует непосредственно за квантором или же находится в области действия квантора по данной переменной. В противном случае вхождение переменной называется свободным.

Рассмотрим, например, какие переменные являются свободными, а какие связанными в следующей формуле:

область действия "

область действия $

"х[P(x,y) É $y(ØP(y,x) & Q(f(x),z))]

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

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