在数理逻辑中，句子是没有自由变量的公式；在模型论中，一个句子在给定的数学结构中要么是真要么是假。例如"不是"一个句子，因为出现了自由变量formula_2；在实数的结构中，如果formula_3则它是真，但是如果formula_4则不是。在另一方面"是"一个句子，但它在实数结构中是假。