CEVAP:

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