‫פתרון תרגיל בית ‪1‬‬ ‫‪1‬‬

‫תרגיל ‪ .1.1‬נתונים הפסוקים הבאים‪:‬‬

‫‪ - a .1‬הדלת ירוקה‬

‫‪ - b .2‬הבית צהוב‬
‫‪ - e .3‬אסרק שערי‬
‫‪ - f .4‬אוכל ללכת עם מקל ומגבעת‬
‫‪ - h .5‬אלך לבקר חבר שלנו אדון שוקו אחר‬

‫הצרינו את המשפטים הבאים‪:‬‬

‫‪ .1‬אוכל ללכת עם מקל ומגבעת אך ורק אם אסרק שערי‪.‬‬

‫‪ .2‬אם הדלת ירוקה או שהבית צהוב אז אלך לבקר חבר שלנו אדון שוקו אחר‪.‬‬
‫פתרון‪.‬‬

‫‪f ↔ e .1‬‬
‫‪(a ∨ b) → h .2‬‬

‫תרגיל ‪ .1.2‬הוכיחו או הפריכו‪:‬‬

‫‪P → Q ≡ ¬P → ¬Q‬‬
‫פתרון‪.‬‬
‫‪P‬‬ ‫‪Q‬‬ ‫‪¬P‬‬ ‫‪¬Q‬‬ ‫‪P → Q ¬P → ¬Q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫הטענה לא נכונה‪.‬‬
‫תרגיל ‪ .1.3‬הוכיחו או הפריכו‪:‬‬
‫‪P → Q ≡ ¬Q → ¬P‬‬
‫פתרון‪.‬‬
‫‪P‬‬ ‫‪Q‬‬ ‫‪¬P‬‬ ‫‪¬Q‬‬ ‫‪P →Q‬‬ ‫‪¬Q → ¬P‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫הטענה נכונה‪.‬‬
‫תרגיל ‪ .1.4‬קבעו האם ‪ (P → (P → Q)) → Q‬טאוטולוגיה‪ ,‬סתירה או לא זה ולא זה‪.‬‬
‫פתרון‪.‬‬
‫‪P‬‬ ‫‪Q‬‬ ‫‪P →Q‬‬ ‫)‪P → (P → Q‬‬ ‫‪(P → (P → Q)) → Q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬
‫לא טאוטולוגיה ולא סתירה‪.‬‬

‫תרגיל ‪ .1.5‬קבעו האם )‪ P → ((P → Q) → Q‬טאוטולוגיה‪ ,‬סתירה או לא זה ולא זה‪.‬‬

‫‪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 → R)) ∧ Q) → (P → R) .1‬‬

‫‪P → (Q → (R → P )) .2‬‬
‫פתרון‪.‬‬

‫‪P =F‬‬ ‫⇒‬ ‫‪P → (Q → (R → P )) = T‬‬

‫‪P =T‬‬ ‫⇒‬ ‫‪R→P =T‬‬ ‫⇒‬ ‫‪Q → (R → P ) = T‬‬ ‫⇒‬ ‫‪P → (Q → (R → P )) = T‬‬
‫קיבלנו שהפסוק הוא טאוטולוגיה‪.‬‬
‫תרגיל ‪ .1.7‬נסחו את שלילת )‪ ∀ϵ > 0 ∃δ > 0 ∀x (0 < |x − 2| < δ → |f (x) − 3| < ϵ‬ללא סימן ¬‪.‬‬
‫פתרון‪.‬‬

‫≡ ))‪¬ (∀ϵ > 0 ∃δ > 0 ∀x (0 < |x − 2| < δ → |f (x) − 3| < ϵ‬‬

‫≡ ))‪(∃ϵ > 0 ∀δ > 0 ∃x¬ (0 < |x − 2| < δ → |f (x) − 3| < ϵ‬‬
‫))‪(∃ϵ > 0 ∀δ > 0 ∃x (0 < |x − 2| < δ ∧ |f (x) − 3| ≥ ϵ‬‬

‫כאשר השקילות הראשונה לפי שלילה עם כמתים והשקילות השנייה מכך ש‪¬ (P → Q) ≡ P ∧ ¬Q-‬‬
‫תרגיל ‪ .1.8‬הוכיחו או הפריכו‪:‬‬

‫‪ .1‬אם ‪ P → Q‬טאוטולוגיה אז הפסוק )‪ (¬P ∨ Q) → (P ∨ Q‬בהכרח מקבל ערך יחיד?‬

‫‪ .2‬אם ‪ P → Q‬סתירה אז הפסוק )‪ (¬P ∨ Q) → (P ∨ Q‬בהכרח מקבל ערך יחיד?‬
‫פתרון‪.‬‬

‫‪ .1‬אם ‪ P = F, Q = F‬אז ‪ P → Q = T‬ו‪.(¬P ∨ Q) → (P ∨ Q) = F -‬‬

‫אם ‪ P = T, Q = T‬אז ‪ P → Q = T‬ו‪.(¬P ∨ Q) → (P ∨ Q) = T -‬‬
‫לכן הטענה לא נכונה‪.‬‬
‫‪ .2‬מהנתון נקבל ‪ P ≡ T, Q ≡ F‬ולכן הטענה נכונה‪.‬‬
‫תרגיל ‪ .1.9‬נתונים הפסוקים הבאים‪:‬‬

‫‪ - a .1‬עוגי אוהב עוגיות‪.‬‬

‫‪ - b .2‬עוגי אוהב את כרובי‪.‬‬
‫‪ - c .3‬כרובי אוהב את עוגי‪.‬‬
‫‪ - d .4‬עוגי נותן לכרובי עוגיה‪.‬‬

‫תרגמו לעברית את הפסוקים הבאים‪:‬‬

‫‪(b → c) ∧ (c → b) .1‬‬
‫‪b → d .2‬‬

‫‪2‬‬
 ‫‪(a ∧ d) → c .3‬‬
‫‪¬a .4‬‬
‫‪d ↔ (¬a ∨ b) .5‬‬
‫פתרון‪.‬‬

‫‪ .1‬זה שקול ל‪ .b ↔ c-‬אז המשפט בעברית הוא עוגי אוהב את כרובי אך ורק אם כרובי אוהב את עוגי‪.‬‬

‫‪ .2‬אם עוגי אוהב את כרובי אז עוגי נותן לכרובי עוגיה‪.‬‬

‫‪ .3‬אם עוגי אוהב עוגיות ונותן עוגיה לכרובי אז כרובי אותה את עוגי‪.‬‬
‫‪ .4‬עוגי לא אוהב עוגיות‪.‬‬

‫‪ .5‬עוגי נותן לכרובי עוגיה אך ורק אם עוגי לא אוהב עוגיות או שהוא אוהב את כרובי‪.‬‬
‫תרגיל ‪ .1.10‬הצרינו את הפסוקים הבאים‪:‬‬

‫‪ .1‬קיימים ‪ x‬ו‪ y-‬כך ש‪ x-‬קטן מ‪ y-‬אך ‪ x2‬גדול מ‪.y 2 -‬‬

‫‪ .2‬כל מספר חיובי שקטן מ‪ 1-‬גדול מהריבוע שלו‪.‬‬
‫‪ .3‬לא כל מספר חיובי גדול מהריבוע שלו‪.‬‬

‫פתרון‪.‬‬
‫(‬ ‫)‬
‫‪∃x∃y (x < y) ∧ x2 > y 2 .1‬‬
‫(‬ ‫(‬ ‫))‬
‫‪∀x (0 < x < 1) → x > x2 .2‬‬
‫(‬ ‫)‬
‫‪¬∀x > 0 x > x2 .3‬‬

‫‪3‬‬