מבוא לצעד הראשון

ה " צעד " הראשון מוקדש להיכרות עם שפת המתמטיקה . המושגים הראשונים שנכיר בו הם : פסוק ( Proposition ) בשיחות חולין , בכלי התקשורת ובפעילויות מקצועיות שונות ( מתמטיקה , עריכת דין , פוליטיקה וכו ( ' מושמעים בדרך ש ִ גרה משפטים , לעתים מורכבים מאוד , שיש בהם קביעה , ועלינו להכריע אם קביעה זו נכונה או שגויה ( אמת או שקר . ( משפט שיש ב ו קביעה נקרא במתמטיקה פסוק . ב " צעד " זה נגדיר את מושג הפסוק ונלמד ל נתח סוגים שונים של פסוקים - כדי להבהיר את משמעותם הלוגית ולבחון את אמיתותם . תחשיב פסוקים ( Propositional Calculus ) פסוקים כגון " עגבנייה היא פרי " , " שוקולד מונע סתימות " או " יש חיים מחוץ לכדור הארץ , " נחשבים פשוטים מבחינה לוגית , שכן משמעותם ברורה לחלוטין , הדיון באמיתותם שייך לתחום התוכן המתאים ולא לתחום הלוגיקה . בפרקים הראשונים לא נדון בשאלה א ם הקביעה בפסוק נתון היא אמת א ו שקר , אלא נחתור להבין את משמעות הקביעה בפסוקים מורכב ים . הבנה זו תתפתח על ידי ניתוח פסוק ים ופירוקם למרכיבים פשוטים ככל האפשר . המטרה העיקרי ת של הניתוח היא ללמוד להסיק , מנכונות ם או מאי-נכונות ם של כל מרכיבי ...  אל הספר
מכון מופ"ת