הבדלים בין גרסאות בדף "Mathwiki:ארגז חול"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(סעיף ב')
(חלק א')
שורה 35: שורה 35:
 
===סעיף ב'===
 
===סעיף ב'===
 
מצאו את <math>[1]_R,[2]_R,[6]_R</math>
 
מצאו את <math>[1]_R,[2]_R,[6]_R</math>
 +
 +
=חלק ב'=
 +
==שאלה 4==
 +
השלימו מספיק/הכרחי/הכרחי ומספיק/לא מספיק ולא הכרחי
 +
 +
*על מנת שיתקיים <math>(A,R)</math> קס"ה _________ שיתקיים <math>(A,R)</math> קס"מ או קמ"מ
 +
*תהי <math>(A,R)</math> קס"ח. על מנת שיתקיים <math>a\in A</math> קטן ביותר __________ שיתקיים ש<math>a</math> מינימלי יחיד בA

גרסה מ־14:52, 9 בינואר 2014

חלק א'

שאלה 1

סעיף א'

הוכיחו כי \overline{\cup A_i}=\cap \overline{A_i}

סעיף ב'

הוכיחו/הפריכו: (A/B)\subseteq C \iff A\subseteq C \vee B=A\cap C

שאלה 2

סעיף א'

הוכיחו כי A\subseteq B \iff P(A)\subseteq P(B)

סעיף ב'

הוכיחו את תקפות הטיעון הבא:


(\forall x:P(x)\rightarrow \neg Q(x))\wedge
(\exist x:R(x)\vee P(x))\wedge
(\forall x:Q(x)\vee R(x))
\Rightarrow \exist x:R(x)


שאלה 3

יהי R יחס על \mathbb{N} המוגדר ע"י

\forall a,b\in\mathbb{N}:aRb\leftrightarrow \exist n,k\in\mathbb{N}:a^n=b^k

סעיף א'

הוכיחו כי R יחס שקילות

סעיף ב'

מצאו את [1]_R,[2]_R,[6]_R

חלק ב'

שאלה 4

השלימו מספיק/הכרחי/הכרחי ומספיק/לא מספיק ולא הכרחי

  • על מנת שיתקיים (A,R) קס"ה _________ שיתקיים (A,R) קס"מ או קמ"מ
  • תהי (A,R) קס"ח. על מנת שיתקיים a\in A קטן ביותר __________ שיתקיים שa מינימלי יחיד בA