Какие из приведенных формул исчисления предикатов содержат свободные переменные, и, следовательно, не могут принять конкретное значение И или Л: D(Петр, x) ∃y D(Петр, y) ∃x D(x, y) ∀x ∃y D(x, y) ∃x ∀y D(x, y)

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

1. Формула: D(Петр, x)
   Здесь первый аргумент – константа «Петр», второй аргумент – переменная x. Переменная x не связана ни одним квантором. Следовательно, переменная x является свободной.

2. Формула: ∃y D(Петр, y)
   В этой формуле переменная y находится в области действия ква...