Sembolik önermelerin biçimini belirtmek için kullanılan parantezlerin aşırı kullanımı okumayı güçleştirdiğinden, belirsizliğe yol açmayan kimi parantezler yazılmayabilir. Sembolik önermelerin en dış parantezleri yazılmayabilir ve eklemler arasında ~, ˄, ˅, →, ↔ öncelik sırası gözeterek çoğu parantez kaldırılabilir.