全称量化と条件文の組合せ

「人間は動物である」のような対象一般に性質を帰する文は「∀x(Fx→Gx)」と記号化され、「アリストテレスはどの哲学者からも尊敬される哲学者である」は「Fa∧∀x(Fx→Gxa)」と記号化される。

aがアリストテレス、Fxが「xは哲学者である」、Gxyが「xはyを尊敬する」を表す場合、Faでアリストテレスが哲学者であることを示し、∀x(Fx→Gxa)で全ての哲学者がアリストテレスを尊敬することを示す。