CEVAP:

Niceleme mantığının formülleri şu şekilde tanımlanabilir: (a) t bir terim ve Y bir yüklem sembolü ise Yt bir formüldür, (b) A bir formül ise ~A bir formüldür, (c) A ve B birer formül ise, (A ? B), (A ? B), (A › B) ve (A - B) birer formüldür. (d) ? bir değişken A bir formül ise, 6 ? A ve 7 ? A birer formüldür, (e) Başka hiçbir sembol dizisi bir formül değildir. Sadece bir yüklem ve onu izleyen bir formülden oluşan Yt biçimindeki formüller “basit formül”, “atomik formül” ya da “atom”, bunun dışındaki formüller “bileşik formül” olarak adlandırılır.