SORU: Sembolleştirmenin aşamaları nelerdir?
CEVAP: vap: 1. Önerme eklemlerinin eşanlamlıları yerine standart önerme eklemleri yazılarak, ve noktalamaya uygun olarak, parantezler yerleştirilerek, önermenin standart biçimi elde edilir. 2. Önerme eklemlerinin yerine önerme eklemi sembolleri konur. 3. Basit önermeler yerine, sembolleştirme anahtarında verilen önerme değişkenleri konur. 4. İstenirse, okumada kolaylık sağlamak amacıyla, kimi parantezler ikinci ünitede belirttiğimiz işlem önceliği kurallarına göre kaldırılabilir.
