Консультация № 173179
11.10.2009, 19:09
0.00 руб.
0 1 1
Приветствую, Вас эксперты!
Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные, а какие связанные.
x(∃y(А(х)→B(y,z))

Обсуждение

давно
Мастер-Эксперт
17387
18353
12.10.2009, 19:16
общий
это ответ
Здравствуйте, Dflame.

Данное выражение составлено из переменных предикатов A(x) и B(y, z) с помощью логической операции следования и кванторов общности и существования. Это выражение обращается в конкретный предикат при подстановке вместо переменных конкретных предикатов. Следовательно, данное выражение является формулой логики предикатов.

Переменные x и y, указанные при кванторах, являются связанными. Переменная z является свободной.

С уважением.

5
Об авторе:
Facta loquuntur.
Форма ответа