///
A sentença “Há pelo menos um desembargador que é mais velho que todos os juízes” pode ser escrita na forma simbólica como \(\forall x \exists y (D(x) \land J(y) o V(x,y))\), em que D(x) representa a proposição “x é desembargador”; J(y) representa a proposição “y é juiz”; e V(x,y) representa a proposição “x é mais velho que y”.