CEVAP:

Gündelik dile çevirme işlemi, sembolleştirme işleminin tersi olduğundan,
sembolik bir önermeyi gündelik dile çevirirken, sembolleştirmede izlediğimiz
adımları tersine çeviririz. Gündelik dile çeviri adımlarını açıkça sıralayalım:
1. adımda, en dıştaki parantezler hariç, okuma kolaylığı sağlamak için kaldırılmış olan parantezler eklenir.
2. adımda, ad sembolleri yerine, sembolleştirme anahtarında verilen adlar
konur.
3. adımda, ifadede geçen her yüklem sembolü yerine, sembolleştirme anahtarında verilen yüklem ifadesi küme parantezleri içine konur. Hemen yanına
yüklemin uygulandığı değişken veya ad konur.
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) ifadesi konur.
5. adımda, niceleyiciler ve önerme eklemi sembolleri yerine gündelik dildeki
niceleme ifadeleri ve önerme eklemleri konur.
6. adımda, doğal bir ifade elde etmek için parantezler yerine noktalama işaretleri konur ve istenirse kimi niceleme ifadeleri ve önerme eklemleri eşanlamlı başka ifadelerle değiştirilir.