者。符号formula_2被用来标记一个条件叙述。箭号的左边为假设，右边则为结论。此一公式的真值取决于标记成"a"的元件，及「Phil」和「Schol」的解释之上。「对于每个"a"，若"a"为哲学家，则"a"为学者」之类形式的断言，需要同时使用变数及量化。再次，令Phil("a")表示"a"为哲学家，且令Schol("a")表示"a"为一学者，则一阶叙述表示不论"a"代表什么，若"a"为哲学家，则"a"为学者。此处的formula_4（全称量化）代表宣称对「所有」"a"的选择，括弧内的叙述皆为真的想法