自然语言，例如英语，是有缺陷的。一个缺陷是歧义，另一个缺陷是，如果它们很长，写起来很繁琐。然而，句子可以被形式化为一种符号逻辑语言，这种语言既没有这些缺陷（尽管，正如有鉴赏力的读者会发现的那样，自然语言比这些语言具有许多优势）。
第一个要考虑的这种语言是命题演算。
