‫מטלת מנחה (ממ"ן) ‪16‬‬

‫שאלה ‪ 15( 1‬נקודות)‬

‫יהיו ‪ P ,Q ,R ,S‬משתנים פסוקיים‪.‬‬
‫א‪ .‬קבעו את ערך האמת של הפסוק הבא‪ ,‬במקרה ש‪ P -‬אמת‪ Q ,‬שקר‪ R ,‬שקר ו‪ S -‬אמת‪:‬‬
‫))) ‪S → ((Q  R)  ( P → (( R  Q)  S‬‬

‫ב‪ .‬הראו בעזרת סדרה של החלפות מותרות בלבד כי‬

‫‪P → ( (Q  R)  P ) T ( (Q  R) → P ) → P‬‬
‫הוכיחו (ללא שימוש בטבלת אמת) את הגרירה הטאוטולוגית הבאה‪:‬‬ ‫ג‪.‬‬
‫‪P → Q , R → S , P  R T S → Q‬‬

‫שאלה ‪ 15( 2‬נקודות)‬

‫יהיו ‪ A, B, C, D‬משתנים פסוקיים‪.‬‬
‫) ‪. A  (B  C ) T A  ( B  C‬‬ ‫א‪ .‬קבעו האם מתקיים‬
‫ב‪ .‬יהיו ‪ A, B, C , D, E , G‬פסוקים ‪ .‬נתונים הפסוקים ‪:‬‬

‫)‪( A → B)  ( C → D‬‬ ‫‪,‬‬ ‫)‪(B → E )  (D → G‬‬ ‫‪, ( E  G ) , A → C‬‬

‫האם הקבוצה של הפסוקים המורכבים האלה עקבית טאוטולוגית?‬ ‫‪)1‬‬
‫‪ )2‬האם הפסוקים הנתונים גוררים טאוטולוגית את ‪? A‬‬

‫‪19‬‬
 ‫שאלה ‪ 20( 3‬נקודות)‬
‫‪' - B‬שוק המניות יורד'‬ ‫‪' - A‬האג"ח הממשלתיות עולות'‬ ‫נסמן‪:‬‬
‫‪' - M‬המסים עולים'‬ ‫‪' - R‬שיעורי הריבית יורדים'‬
‫א‪ .‬בעזרת המשתנים הפסוקיים המוצעים‪ ,‬הצרינו לשפת פסוקים את הפסוקים הבאים‪:‬‬
‫* אם אגרות החוב (אג"ח) הממשלתיות עולות או ששיעורי הריבית יורדים‪ ,‬אז שוק המניות‬
‫יורד או שהמיסים לא עולים‪.‬‬
‫* שוק המניות יורד אם ורק אם האג"ח הממשלתי והמיסים עולים‪.‬‬
‫* אם שיעורי הריבית יורדים‪ ,‬אז שוק המניות לא יורד או שהאג"ח הממשלתי לא עולה‪.‬‬
‫* המיסים עולים‪ ,‬או ששוק המניות ושיעורי הריבית יורדים‪.‬‬
‫ב‪ .‬בדקו ‪ ,‬ללא שימוש בלוח אמת‪ ,‬האם קבוצת הפסוקים שהצרנת בסעיף הקודם היא עקבית‬
‫טאוטולוגית‪.‬‬

‫שאלה ‪ 15( 4‬נקודות)‬

‫הצרינו את הטיעון הבא לשפת הפרדיקטים בדקו אם הטיעון הפורמאלי תקף לוגית‪:‬‬
‫כל ברווז כתום הוא ברווז מאושר‪.‬‬
‫קיים ברווז כתום‪.‬‬
‫‪‬קיים ברווז מאושר‪.‬‬

‫שאלה ‪ 20( 5‬נקודות)‬

‫תהי ‪ U‬קבוצת כל הסטודנטים במכללת נרניה‪ .‬על ‪ U‬נגדיר את התבניות הבאות‪:‬‬
‫' ‪ x‬אינו לומד כלכלה' ‪K ( x) :‬‬ ‫' ‪ x‬לומד סטטיסטיקה' ‪S ( x) :‬‬
‫' ‪ x‬לומד מימון' ‪M ( x) :‬‬

‫במכללת נרניה מלמדים שלושה קורסים‪ :‬כלכלה‪ ,‬מימון וסטטיסטיקה‪ .‬חוקי המכללה קובעים‪:‬‬

‫) ‪ (i‬כדי ללמוד את הקורס במימון יש ללמוד במקביל את הקורס בכלכלה ‪.‬‬

‫) ‪ (ii‬אסור ללמוד במקביל מימון וסטטיסטיקה‪.‬‬

‫א‪ .‬רשמו בשפת הפרדיקטים פסוק ‪ , ‬המתאר את שני חוקי מכללת נרניה‪.‬‬
‫ב‪ .‬רשמו את ‪ ‬בלי להשתמש בסימן ‪. ‬‬

‫שאלה ‪ 15( 6‬נקודות)‬

‫מצאו את ערך האמת של כל אחד מהפסוקים הבאים ‪:‬‬ ‫א‪.‬‬
‫)) ‪ 1 : =  x (y ( x  y 2‬כאשר העולם בו דנים הוא ‪. R‬‬ ‫‪)1‬‬

‫) ) ) ‪ , 2 : =  x ( (  y ( x = (1 − y )2 ) )  (  y ( x = − y 2‬כאשר העולם בו דנים הוא ‪. R‬‬ ‫‪)2‬‬

‫ב‪ .‬רשמו פסוקים ששקולים לוגית לשלילת פסוקים ‪ 1‬ו‪ ,2 -‬ללא שימוש בסימן ' ‪. ' ‬‬
‫רשמו במפורש באילו שקילויות לוגיות השתמשת‪.‬‬

‫‪20‬‬