*יש אדם שהוא הכי מבוגר
אנחנו נסיק מכך שיש אדם שאין אף אחד מבוגר ממנו. כלומר אם יש שני מבוגרים, אז עדיין ניתן לומר שיש אחד שהוא הכי מבוגר
**<math>\exists x\in H\forall y\in H: (x\neq y) \rightarrow \neg P(x,y)</math>
השלילה: לכל אדם, יש אדם המבוגר ממנו.
**<math>\forall x\in H\exists y\in H: (x\neq y) \and P(x,y)</math>
*אם יש אדם שהוא הכי מבוגר, הוא שמח
נצרין את זה באופן: כל אדם שהוא הכי מבוגר, הוא גם הכי שמח.
**<math>\forall x\in H :[\forall y\in H: (x\neq y) \rightarrow \neg P(x,y)] \rightarrow Q(x)]</math>
השלילה הינה: יש אדם הכי מבוגר והוא עצוב
**<math>\exists x\in H: [\forall y\in H: (x\neq y) \rightarrow \neg P(x,y)] \and \neg Q(x)]</math>