真的想法。为了表明，声称“如果是一个哲学家然后是一个学者”是假的，一会显示有一些人是不是一个学者的哲学家。这与存在量词可以表示反诉 ：若想证明「若"a"为哲学家，则"a"为学者」此一宣称是错的，有些人会证明存在有些不是学者的哲学家。此一反论可以用存在量化formula_5来表示：其中，断言Phil("a")和Schol("a")都各只有一个参数。但一阶逻辑其实也可以表示具有一个以上参数的断言。例如，「存在一些人可以在任何时间被愚弄」可表示成这里，Person("x")解释为"x"是人，Time