Gündelik dile çevirmede ikinci adım nedir?
Sembolik önermede geçen önerme değişkenleri yerine, çeviri anahtarında belirtilen gündelik dil önermeleri konur.