句子 (数理逻辑) 在数理逻辑中句子是没有自由变量的公式在模型论中一个句子在给定的数学结构中要么是真要么是假 例如   x  x   y displaystyle exists xxy 不是一个句子因为出现了自由变量 y displaystyle y 在实数的结构中如果 y   displaystyle y 则它是真但是如果 y    displaystyle y 则不是在另一方面   y    x  x   y displaystyle forall yexists xxy 是一个句子但它在实数结构中是假