CEVAP:

1. adımda, tikel ve tümel-niceleme ifadeleri ile önerme eklemlerinin eş anlamlılarını standart niceleme ifadeleriyle ve önerme eklemleri ile değiştirerek ve noktalama işaretlerine uygun olarak parantezler yerleştirerek,
Her x ((x 2 den büyüktür ve x asal sayıdır) ise x tek sayıdır)
ifadesini elde ederiz.
2. adımda, niceleme ifadeleri ve önerme eklemleri yerine niceleyiciler ve
önerme eklemi sembolleri yerleştirilerek
?x ((x 2 den büyüktür ? x asal sayıdır) › x tek sayıdır
3. adımda, parantezli yüklem ifadelerinin uygulandıkları değişkenle birlikte
konulmasıyla
?x (({a 2 den büyüktür}x ? {a asal sayıdır}x) › {a tek sayıdır}x)
ifadesi elde edilir.4. adımda, parantezli yüklem ifadeleri yerine sembolleştirme anahtarında
bunların karşılığı olarak verilen yüklem sembolleri konarak
?x ((Fx ? Gx) › Hx)
ifadesi elde edilir.
5. adımda, ad yerine konması gereken bir ad sembolü olmadığından yine aynı
sembolik önerme elde edilir.
6. adımda, kurallara göre tümel-evetlemenin koşul eklemine göre işlem önceliği olduğundan, tümel-evetlemeye ait parantez kaldırılarak
?x (Fx ? Gx › Hx)
önermesi elde edilir