CEVAP:

A = ?x ((FA ? Gy) ? (Gy › Hx)) olsun. A formülünün tek serbest değişkeni
y olduğundan, A(a) ifadesi A formülünde y değişkeninin her geçişi yerine a
elemanının konması ile elde edilir: A(a) = ?x ((FA ? Ga) ? (Ga › Hx)). Aynı
şekilde, A(b) = ?x ((FA ? Gb) ? (Gb ›Hx))