自然語言，例如英語，是有缺陷的。一個缺陷是歧義，另一個缺陷是，如果它們很長，寫起來很繁瑣。然而，句子可以被形式化為一種符號邏輯語言，這種語言既沒有這些缺陷（儘管，正如有鑑賞力的讀者會發現的那樣，自然語言比這些語言具有許多優勢）。
第一個要考慮的這種語言是命題演算。
