שינויים

עד כאן עסקנו במבנה הצורני של טענות: בתרגום לשפה פורמלית, בפסוקים שקולים וכדומה. עיקר העניין במתמטיקה אינו בטענות סתם, אלא בטענות '''נכונות'''; ולא בטענות נכונות סתם, אלא באלו שאפשר '''להוכיח'''. אם כך, עלינו ללמוד להוכיח טענות: כיצד מוכיחים, כיצד כותבים הוכחה, כיצד בודקים הוכחה, ומהן השגיאות הנפוצות שמהן יש להמנע. התשובה שניתן כאן לשאלות האלה היא חלקית ועל קצה המזלג, ותגע ברעיונות הבסיסיים בלבד. ככל שתלמדו מושגים מתקדמים ותורות חדשות, תלמדו גם טכניקות מתקדמות להוכחת טענות. ראו [http://u.cs.biu.ac.il/~tsaban/MathWriting.html כאן] רשימה קצרה בנושא כתיבה מתמטית. דבר אחד חשוב לזכור מן הרגע הראשון: הוכחות מתמטיות כותבים '''בעברית תקנית'''. מותר להשתמש בסימנים מתמטיים לפי הצורך, אבל בלי הקפדה על שפה תקינה, על פיסוק נכון ועל בניה שיטתית של הפסקאות, אי אפשר יהיה להבין את ההוכחות שלכם.