Sembolleştirmenin birinci adımı, önermenin standart biçimde ifade edilmesidir. İkinci adımı nedir?
Standart biçimde geçen önerme eklemlerinin sembollerinin konmasıdır.