Mantıkta biçim nedir?
Her önermenin bir anlamı ve bir biçimi vardır. Önermedeki (bağımsız anlamları olduğunda) tek tek sözcükleri veya simgeleri anlamlarından soyutlarsak, yani, önermenin değişmez anlamları olan sözcükleri yerine değişebilen karşılıkları üstlenebilen simgeleri koyarsak, önermenin arı biçiminin betisini elde ederiz.
Her önermenin bir anlamı ve bir biçimi vardır. Önermedeki (bağımsız anlamları olduğunda) tek tek sözcükleri veya simgeleri anlamlarından soyutlarsak, yani, önermenin değişmez anlamları olan sözcükleri yerine değişebilen karşılıkları üstlenebilen simgeleri koyarsak, önermenin arı biçiminin betisini elde ederiz.