Professional Documents
Culture Documents
פתרון תרגיל בית 1
פתרון תרגיל בית 1
- a .1הדלת ירוקה
- b .2הבית צהוב
- e .3אסרק שערי
- f .4אוכל ללכת עם מקל ומגבעת
- h .5אלך לבקר חבר שלנו אדון שוקו אחר
f ↔ e .1
(a ∨ b) → h .2
1
פתרון.
P Q P →Q )P → (P → Q )P → ((P → Q) → Q
T T T T T
T F F F F
F T T T T
F F T T T
לא טאוטולוגיה ולא סתירה.
תרגיל .1.6הוכיחו ש P → (Q → (R → P )) -טאוטולוגיה בלי להשתמש בטבלת אמת.
כאשר השקילות הראשונה לפי שלילה עם כמתים והשקילות השנייה מכך ש¬ (P → Q) ≡ P ∧ ¬Q-
תרגיל .1.8הוכיחו או הפריכו:
(b → c) ∧ (c → b) .1
b → d .2
2
(a ∧ d) → c .3
¬a .4
d ↔ (¬a ∨ b) .5
פתרון.
.1זה שקול ל .b ↔ c-אז המשפט בעברית הוא עוגי אוהב את כרובי אך ורק אם כרובי אוהב את עוגי.
.5עוגי נותן לכרובי עוגיה אך ורק אם עוגי לא אוהב עוגיות או שהוא אוהב את כרובי.
תרגיל .1.10הצרינו את הפסוקים הבאים:
פתרון.
( )
∃x∃y (x < y) ∧ x2 > y 2 .1
( ( ))
∀x (0 < x < 1) → x > x2 .2
( )
¬∀x > 0 x > x2 .3
3