הרצאה 2: לוגיקה: תחשיב הפסוקים