הצרנה לשפת הפרדיקטים

הייצוג של פסוקים ותבניות-פסוק ( בשפות הדיבור או בשפה מתמטית ) כתבניות בשפת הפרדיקטים מערטל אותם מתכניהם הספציפיים ; הוא מציג אותם כתבניות פורמאליות . צורת התבניות המייצגות מאירה , בנוסף לקשרים הלוגיים שמתחייבים מן המשמעות של הקשרים , גם את הקשרים הלוגיים שמתחייבים מן המשמעות של הכ מּ תים . הדוגמה הראשונה תמחיש . שאר הדוגמאות והתרגילים שמהם הסעיף הזה בנוי , אמורים להקנות לכם מיומנות במה שמכונה הצרנה לשפת הפרדיקטים . כדוגמה ראשונה נצרין טיעון שלם . הטיעון הוא : ( 1 ) כל חתול הוא יונק . מוקי הוא חתול . ∴ מוקי הוא יונק . המילה ' כל ' , הנזכרת בהנחה הראשונה , משמעה כל איבר בעולם שאליו הטיעון מתייחס ; התכונה ' להיות יונק ' הנזכרת בהנחה זו , מיוחסת לחתולים בלבד , כלומר רק לאותם איברים של העולם שהם בעלי התכונה האחרת ' להיות חתול ' . אלה אינם בהכרח כל איברי העולם . לשם הצרנת ההנחה הזאת נשנה בהדרגה את נוסח הפסוק ' כל חתול הוא יונק ' , בלי לשנות את הטענה שבו : כל חתול הוא יונק לכל דבר , אם הדבר הזה חתול , אז הדבר הזה יונק לכל , x אם x חתול , אז x יונק לסימול ' x חתול ' ו- ' x יונק ' נשתמש בפרדיקטי...  To the book