CEVAP:

1. adımda, verilen sembolik önermede, (Fx ? Hx) tikel-evetleme önermesinin parantezleri, okuma kolaylığı sağlamak için kaldırılmıştır. Bu parantezleri ekleyerek,
?x (Gx - (Fx ? Hx))
önermesini elde ederiz.
2. adımda, önermede ad sembolü olmadığından, bu adımda yapılması gereken bir şey yoktur.
3. adımda, yüklem sembolleri yerine, sembolleştirme anahtarında verilen
yüklem ifadelerini küme parantezleri içine koyarak ve bu ifadelerin yanına
yüklemin uygulandığı değişkenleri koyarak,
?x ({a’nın kuyruğu vardır}x - ({a bir köpektir}x ? {a bir kedidir}x))
ifadesini elde ederiz.
4. adımda, önermede geçen {Y(a)}X ifadeleri yerine, Y(a) yüklem ifadesinde
a yerine X değişken veya ad sembolünün konmasıyla elde edilen Y(X) ifadesini koyarak,
?x (x’in kuyruğu vardır - (x bir köpektir ? x bir kedidir))
ifadesini elde ederiz.