שינויים
/* שאלה 2 */
==שאלה 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==