שינויים

קפיצה אל: ניווט, חיפוש
/* תרגיל */
מה לא חשוב? לא חשוב שמות המשתנים. למשל <math>\forall x\forall y \exists z : (x<y)\to R(x,z,y)</math>
זה פסוק זהה לפסוק <math>\forall m\forall n \exists k : (xm<yn)\to R(m,k,n)</math>
חשוב גם הסדר, והכוונה לשני דברים:
1,693
עריכות