句子（數學邏輯）
在數學邏輯中，謂詞邏輯的句子（或封閉公式）是一個布爾值良好的公式，沒有自由變量。句子可以被視為表達命題，這是必須是真實的或錯誤的。需要限制沒有自由變量，以確保句子可以具有具體的，固定的真實價值：因為（一般）公式的自由變量可以在幾個值中範圍範圍，因此，這種公式的真實值可能會有所不同。
其中沒有任何邏輯連接器或量詞的句子被稱為原子句。類似於原子公式。然後，通過應用連接劑和量詞來從原子公式中構建句子。
一組句子稱為理論。因此，單個句子可以稱為定理。要正確評估句子的真理（或虛假），必須提及對理論的解釋。對於一階理論，解釋通常稱為結構。給定結構或解釋，句子將具有固定的真實價值。當有可能提出所有句子都是真實的解釋時，理論是可滿足的。算法的研究自動發現對所有句子為真句的理論的解釋被稱為滿意度模型理論問題。
例子
對於公式的解釋，請考慮以下結構：正實數，實數和複數。一階邏輯中的以下示例
是一個句子。這句話意味著對於每個y，都有一個x 
但是，公式
由於存在自由變量y而不是句子。對於實際數字，如果我們任意替換（任意），則此公式是正確的
重要的是自由變量的存在，而不是穩定的真實價值。例如，即使對於綜合數字，公式始終是正確的，它仍然不被視為句子。這樣的公式可以稱為謂詞。