‫תרגיל מספר ‪5‬‬

‫תאריך הגשה ‪30/11/21‬‬

‫שאלה מספר ‪1‬‬

‫בתרגיל ‪ 4‬אם איש החוק הצליח לקבוע מי האשם לצורך הרשעתו עליו להגיש דו"ח עם הוכחה לבית‬
‫המשפט‪.‬‬

‫המערכת בבית המשפט הינה מערכת פורמלית בשפת גרירה ו‪ NOT-‬כפי שנלמדה בקורס‪ .‬בנוסף‬
‫קיימים בה המשפטים‪ :‬הדדוקציה‪ ,‬הוכחה לפי מקרים‪ ,‬קונטרפוזיציה וטרנזיטיביות‪.‬‬

‫אנא‪ ,‬עזרו לשמור על החוק והסדר! הכינו את הדוח‪.‬‬

‫שאלה מספר ‪2‬‬

‫קבעו באיזה תרגיל הפתרון שנתתם סמנטי ובאיזה סינטקטי‪.‬‬