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