Verilen sembolik önermede, kısaltma amacıyla eksik bırakılmış parantez yerine konur.

Sembolik önermede geçen önerme değişkenleri yerine, çeviri anahtarında belirtilen gündelik önermeleri konur.

Önerme eklemi sembolleri yerine önerme eklemleri konur.

Elde edilen ifadeyi doğal bir gündelik dil önermesine dönüştürmek için, parantezler kaldırılarak istenen eklemlerinin yerine eşanlamlıları ve uygun noktalama işaretleri yerleştirilir.

Önerme eklemlerinin yerine önerme eklemi sembolleri konur.