|
|
מבוא 1 פרק : 5 לוגיקת הפסוקים 7 5 . 1 קשרים פסוקיים 7 שלילה ; 7 קוניונקציה ; 9 דיסיונקציה ; 13 התניה ( אימפליקציה מטריאלית ) 15 5 . 2 שפת הפסוקים 19 פסוקים פורמאליים ; 7 התאמת סוגרים 28 5 . 3 לוחות אמת 29 ערך האמת של פסוק במצב נתון ; 29 לוח האמת של פסוק ; 31 לוח אמת משותף ; 36 קשר ההתניה הכפולה ( ; 37 ( iff קשר האו המוציא ( 38 ( xor 5 . 4 טאוטולוגיות 40 5 . 5 שקילות טאוטולוגית 46 פסוקים שקולים טאוטולוגית ; 46 החלפה 54 5 . 6 נביעה טאוטולוגית 57 הגדרה ודוגמאות ; 57 דוגמאות נגדיות ; 65 היבטים כלליים של נביעה טאוטולוגית ; 68 עקביות 71 5 . 7 כללי היסק והוכחות 73 פרק : 6 לוגיקת הפרדיקטים 83 6 . 1 מבוא 83 פסוקים כוללים ; 83 פסוקים ישיים ; 84 טיעונים תקפים שאינם תקפים טאוטולוגית 84 6 . 2 תבניות פסוק 86 תבניות במשתנה אחד ; 87 תבניות במשתנים אחדים ; 90 הצבה ; 92 צירוף תבניות בעזרת קשרים ; 92 אמיתיות בתחום הדיון 95 6 . 3 כמתים 97 הכמת הכולל ; 97 הכמת היישי ; 100 משתנים חופשיים ; 104 כימות תבניות רבות משתנים חופשיים 107 6 . 4 שפת הפרדיקטים 113 הקדמה ; 113 שפת הפרדיקטים ; 115 פרדיקט השוויון ; 117 ה...
To the book |
|
|