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

תוכן עניינים

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

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

הוכיחו כי $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)$

יהי 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$

גרסה מ־14:45, 9 בינואר 2014 (הצגת מקור) ארז שיינר (שיחה \| תרומות) (←‏שאלה 3) → מעבר להשוואת הגרסאות הקודמת		גרסה מ־14:46, 9 בינואר 2014 (הצגת מקור) ארז שיינר (שיחה \| תרומות) (←‏סעיף ב') מעבר להשוואת הגרסאות הבאה ←
שורה 34:		שורה 34:

	===סעיף ב'===		===סעיף ב'===
−	מצאו את ~~קבוצת המנה ואת אינדקס היחס~~	+	מצאו את <math>[1]_R,[2]_R,[6]_R</math>