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