הועלה לאתר:  
מספר עמודים: 25
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

לוגיקה - סיכום נקודות

סיכום מאת: ניר אדר

סימונים

plot:\[\forall x\] - לכל plot:\[x\]. plot:\[\exists x\] - קיים plot:\[x\]. דוגמאות:

  • "לכל plot:\[x\] ולכל plot:\[y\] מתקיים plot:\[xy = yx\]" ייכתב בצורה הבאה: plot:\[\forall x\forall y\left( {xy = yx} \right)\].
  • "לכל מספר קיים מספר הגדול ממנו" ייכתב: plot:\[\forall x\exists y\left( {y > x} \right)\].

כל טענה מתמטית ניתנת לתיאור בעזרת תחשיב היחסים.

תגיות המסמך:

לפרק הקודםהרעיון המרכזי
לפרק הבאהגדרה פורמלית של השפה
מאת: bentz

תיקון

מציעה להחליף את
(a¬)
ב
a¬
שכן (a¬) אינו פסוק
מאת: משה ב

סמנטיקה
שיתוף:
| עוד