давно
Мастер-Эксперт
17387
18353
12.10.2009, 19:16
общий
это ответ
Здравствуйте, Dflame.
Данное выражение составлено из переменных предикатов A(x) и B(y, z) с помощью логической операции следования и кванторов общности и существования. Это выражение обращается в конкретный предикат при подстановке вместо переменных конкретных предикатов. Следовательно, данное выражение является формулой логики предикатов.
Переменные x и y, указанные при кванторах, являются связанными. Переменная z является свободной.
С уважением.
Об авторе:
Facta loquuntur.