|
|
עמוד:ד
6 . 3 כמתים 97 הכמת הכולל ; 97 הכמת היישי ; 100 משתנים חופשיים ; 104 כימות תבניות רבות משתנים חופשיים 107 6 . 4 שפת הפרדיקטים 113 הקדמה ; 113 שפת הפרדיקטים ; 115 פרדיקט השוויון ; 117 הצרנה לשפת הפרדיקטים ; 118 תרגול 126 6 . 5 אמיתיות לוגית 128 6 . 6 שקילות לוגית 133 6 . 7 נביעה לוגית 140 תשובות לשאלות בשיעור 161 II נספח : האלף-בית היווני 223 ההגדרות והמשפטים בשיעור 227 II
|
|