שינויים

# אינדוקציה# קשרים: אוה'''סדנא בחשיבה מתמטית''' מציגה את עקרונות היסוד של הלוגיקה המתמטית, וגם# טבלאות אמת# טאוטולוגיותושניים מהרעיונות המרכזיים במתמטיקה - הגדרה והוכחה. החומר נועד לקריאה עצמית. קיראו אותו לאט, סתירותוהשתדלו להבין כל פסקה ולפתור את התרגילים. אם אינכם מבינים משהו, חוקי דה-מורגן# מודוס פוננס, סילוגיזם תקין# כמתים נסו לדלג ולחזור אליו מאוחר יותר. הפרקים הראשונים (לכלהצרנה, קייםטבלאות אמת, קיים יחידקשרים, קיימים אינסוףתחשיב הפרדיקטים) + כימות יחסי (קיים אפסילון גדול מאפס, לכל אפסילון גדול מאפס)# שלילת פסוקים, הוכחה בדרך השלילה, הפרכה מעט טכניים. אל תוותרו בגללם עלהפרקים האחרונים -ידי דוגמא נגדית.# הצרנהכמתים, דוגמאות מהחייםהגדרות והוכחות, דוגמאות מהחיים המתמטיים# כתיבת הוכחה# מציאת שגיאות בהוכחותשבשבילם נכתבה כל הסדנא.

= דגשיםאם יש לכם שאלות, דוגמאותהצעות, הערות ותרגילים =השגות והערות אחרות, אתם מוזמנים לכתוב אותם בדף השיחה.

== אינדוקציה ==== קשרים ==== טבלאות אמת ==== טאוטולוגיות ==== מודוס פוננס ==== כמתים ==== שלילה == == הצרנה ==תרגילים ודוגמאות אלו ילוו אותנו במהלך הסדנא: ===אמביוולנטיות בין עברית לבין מתמטיקה===*נניח ויש קופסא המכילה 3 כדורים אותם נחלק בין 3 אנשים. אדם א' מציץ בקופסא ואומר '''"לא יכול להיות שמישהו יקבל כדור ירוק"'''. אדם ב' אינו מסתכל בקופסא ואומר '''"יכול להיות שמישהו יקבל כדור ירוק"'''. שניהם צודקים מכיוון שהמושג "יכול להיות", בדבריו של אדם ב', בעצם מופיע במשמעות של "לא הוכחתי שזה בלתי אפשרי", שזו עובדה חסרת משמעות [[88-101 חשיבה מתמטית.- לוגיקה פסוקית|חלק ראשון]] - לוגיקה פסוקית*מורה אומרת לתלמידיה "שבוע הבא יהיה לכם בוחן, כך שבערב לפניו '''לא תדעו בוודאות''' על קיום הבוחן למחרת". לכאורה משפט זה יוצר סתירה לוגית כיוון שאם הבוחן ביום האחרון בשבוע, והמורה דוברת אמת, התלמדים '''ידעו''' שהבוחן יהיה למחרת, לכן המורה משקרת או שהבוחן לא ביום האחרון. כן הלאה, אם המורה דוברת אמת הבוחן לא ביום הלפני אחרון והלפני לפני אחרון, ולא יכול להיות בוחן בכלל. לכן אם המורה דוברת אמת, הרי היא משקרת. לעומת זאת, אם הבוחן יהיה ביום שלישי, התלמידים לא ידעו על כך ולכן המורה דברה אמת [[88- סתירה. הסתירה נובעת מחוסר היכולת להגדיר 101 חשיבה מתמטית את המושג "ידעו", שכן התלמידים לא יכולים "לדעת" שהמורה אומרת אמת, ולכן לא יכולים ל"דעת" שהבוחן יהיה ביום חמישי.*שקילות משפטים בנוסחים שונים - "ערן לובש חולצה סגולה אם הוא לובש מכנס שחור", "כאשר ערן לובש מכנס שחור אז הוא לובש חולצה סגולה", "יחד עם מכנס שחור, ערן לובש חולצה סגולה בלבד",...*חלוקת משפטים בנוסחים שונים לקבוצות שקילות כמתים|חלק שני]] - (המשפטים לעיל), "ערן לובש מכנס שחור רק כאשר הוא לובש חולצה סגולה", "ערן לובש חולצה סגולה אם ורק אם הוא לובש מכנס שחור", "לא רק שערן לובש תמיד חולצה סגולה כאשר הוא לובש מכנס שחור, הוא לעולם לא הולך עם חולצה סגולה ללא המכנס השחור",... ===ההבדל בין 'אם' לבין 'אם ורק אם'===כמתים*'''"שמוליק נמצא בביתו אם רכבו נמצא בחנייה"'''. כלומר, כאשר אנו רואים את הרכב בחנייה אנו יכולים להסיק ששמוליק נמצא בביתו, ואילו הרכב אינו בחנייה אנו לא יודעים היכן שמוליק, ייתכן ובנו לקח את הרכב ושמוליק נשאר בביתו. '''"שמוליק נמצא בביתו אם ורק אם רכבו נמצא בחנייה"''' ממשפט זה ניתן להסיק את שני הכיוונים [[88- אם אנו צופים ברכב בחנייה וודאי שמוליק בביתו, ואם הרכב אינו בחנייה שמוליק בוודאי נמצא בחוץ (אין לאף אחד אחר ביטוח על הרכב). ===דוגמא===נביט בשלושה משפטים: #השמש זורחת אם ורק אם כל התרנגולים קוראים# כאשר השמש זורחת, כל התרנגולים קוראים# כאשר התרנגול קוקי קורא, השמש זורחת האם המשפט הראשון נובע בהכרח משני הראשונים? אם לא הבא דוגמא נגדית 101 חשיבה מתמטית - כלומר, נניח ומשפטים 2 ו3 הינם אמת, האם יש מצב של זריחת השמש וקריאת התרנגולים שסותרת את המשפט הראשון?  == כתיבת הוכחה == == מציאת שגיאות == == חומר בלתי מסווג ==הגדרות והוכחות|חלק שלישי]] - הגדרות והוכחות