פסוק (לוגיקה) – הבדלי גרסאות

* <math>\forall x\forall y (x\times y=y\times x)</math> - פסוק זה קובע ש[[כפל]] הוא [[פעולה קומוטטיבית]]. הפסוק נכון במספרים הממשיים. הוא לא נכון, למשל, ב[[אלגברת הקווטרניונים של המילטון]].

*<math>\forall x\forall y\exists z(x<y \to x<z<y)</math> - הפסוק קובע שה[[סדר חלקי|סדר]] בקבוצה הוא [[סדר צפוף]]. הפסוק נכון במספרים הממשיים. הוא לא נכון ב[[מספר שלם|מספרים השלמים]].

 

==תקרית הפסוק ותבנית הפסוק==