גרסה מ־14:39, 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)$

@@ שורה 11: / שורה 11: @@
 ==שאלה 2==
+===סעיף א'===
+הוכיחו כי <math>A\subseteq B \iff P(A)\subseteq P(B)</math>
+===סעיף ב'===
+הוכיחו את תקפות הטיעון הבא:
+<math>
+(\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)
+</math>
+==שאלה 3==