דף הבית
דף אקראי
רשימת מעקב
הגדרות
כניסה לחשבון
אודות Math-Wiki
הבהרה משפטית
שינויים
83-116 בדידה להנדסה סמסטר ב' תשע"ט
הוסרו 12 בתים
,
03:09, 20 במרץ 2019
/* הודעות */
==הודעות==
תיקון לתרגיל בתחילת התרגול ב-19/3:
הוכח/הפרך: הפסוק הבא (עם משתנים מהטבעיים) הוא
טאוטולוגיה
נכון
:<math>(\forall n (P(n) \rightarrow Q(n))) \
Rightarrow
rightarrow
(\exists n (P(n) \lor Q(n)))</math>
==תרגילי בית==
Harel530
187
עריכות