ויקיפדיה

שפה מסדר ראשון – הבדלי גרסאות

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
מ הסרת רווחים מיותרים לפני שם הקטגוריה (תג) (דיון)
מ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap
שורה 28:
* <math>\ x_1>x_1</math>
* <math>\ \forall x_1 \exists x_2(x_1+x_2=0)</math>
* <math>\ (p > 1) \andland (\forall a ((a>0) \implies ((\exists b ( p = a\cdot b)) \implies (a\cdot a = 1 \orlor a \cdot a = p\cdot p))))</math>
* <math>\ \forall x \exists y (y>x)</math>
 
אוחזר מתוך "https://he.wikipedia.org/wiki/שפה_מסדר_ראשון"