===תרגיל 2===
נפלה טעות בשאלה 1,ו', כמו שהתרגיל כתוב כרגע הפסוק לא מוגדר היטב. ניתן לפרש אותו בשתי דרכים ע"י סוגריים במקומות שונים.
טעות נוספת: שאלה 3 סעיף ג יש טעות בעמודה הרביעית (של <math>p\lor \lnot q</math>) ארבעת השורות האחרונות הפוכות. שימו לב לתיקון הנדרש בהתאם בעמודה החמישית ובתשובה הסופית.
*[[מדיה: 17BdidaEx2.pdf|תרגיל 2]], [[מדיה: 17BdidaEx2Sol.pdf|פתרון]]