述要强。后者并不意味着，被愚弄的人在任何时间时上总是要是同一位。量化的范围是由可以用来满足量化的物件所组成的集合（在本节中的一些非正式的例子里，量化的范围并没有被指定）。除了指定Person和Time等断言符号的意义，解释也必须指定一个非空集合，称为论域，做为量化的范围。因此，formula_13之类形式的叙述在一特定解释下称之为真，若在可用来赋予断言中符号Phil意义的解释所指定的论域里存在着物件。
语法.一阶逻辑可分成两个主要的部份：语法决定哪些符号的组合是一阶逻辑内的合法