שינויים
/* הודעות */
==הודעות==
תיקון לתרגיל בתחילת התרגול ב-19/3:
הוכח/הפרך: הפסוק הבא (עם משתנים מהטבעיים) הוא טאוטולוגיהנכון:<math>(\forall n (P(n) \rightarrow Q(n))) \Rightarrow rightarrow (\exists n (P(n) \lor Q(n)))</math>
==תרגילי בית==