|
|
פסוקים דוגמת אלו שהצגנו עד כה הנ ם פשוטים מבחינה לוגית , אלו ישמשו כאבני יסוד להמשך פיתוח השפה המתמטית . בצעד זה נלמד לבנות פסוקים מורכבים מפסוקים פשוטים באמצעות קשרים לוגיים . במקביל נלמד לפ ָ רק פסוקים מסורבלים למרכיבים ( תת- פסוקים ) פשוטים המצורפים באמצעות הקשרים הלוגיים שנכיר . המטרה העיקרית הי א ללמוד כיצד לקבוע את ערך האמת ( אמת / שקר ) של פסוק מורכב על סמך ערכי האמת של הפסוקים הפשוטים המרכיבים אותו . פ עילות זו נקראת בלוגיקה בשם תחשיב פסוקים . לפני ש נציג את המושגים המתמטיים הנדרשים נתבונן בכמה בעיות ה י גיון הקשורות במושגים אל ה . בעיות ה י גיון על פי הספר " מה שמו של ספר זה "? מאת ריימונד ס ְ מ › לי ַ אן . [ פתרונות בעמ [ . 41 ' [ Raymond M . Smullyan , What is the name of this book ? , New York , 1978 ] ארבע הבעיות המובאות להלן לקוחות מפנקסו של המפקח קלוזו המהולל . מובאים רק קטעי החקירה הקשורים בעדויות בעניין הפושעים המסוכנים אלפ א , בית א , גאמ א , הידועים רק בקוד שלהם , › , › , › בהתאמה . כל העדויות מספקות ידע רל וונטי ל שלושת הפסוקים הפשוטים הבאים : › " - p › אשם " › " - ...
To the book |
|
|