=חלק א'=<latex2pdf>
==שאלה 1==<tex>קוד:ראש</tex>
===סעיף א'===הוכיחו כי <math>$$x^2\overlinefrac{\cup A_i1}=\cap \overline{A_i2}</math>$$
===סעיף ב'===הוכיחו/הפריכו:<mathtex>(A/B)\subseteq C \iff A\subseteq C \vee B=A\cap Cקוד:זנב</mathtex>
<math>\underline{\lim}_{x\to\infty}</mathlatex2pdf> ==שאלה 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==יהי R יחס על <math>\mathbb{N}</math> המוגדר ע"י <math>\forall a,b\in\mathbb{N}:aRb\leftrightarrow \exist n,k\in\mathbb{N}:a^n=b^k </math> ===סעיף א'===הוכיחו כי R יחס שקילות ===סעיף ב'===מצאו את <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*על מנת שיתקיים <math>P(A)\cup P(B) = P(A\cup B)</math> _____________ שיתקיים <math>A\subseteq B</math> או <math>B\subseteq A</math>*על מנת שיתקיים <math>R\circ R = R</math> ______________ שיתקיים שR טרנזיטיבי ==שאלה 5=====סעיף א'===תהי <math>A_n=\Big(1+\frac{(-1)^n}{2n},2+n\Big]</math>*מצאו את <math>\cap A_n</math>*מצאו את <math>\cup A_n</math> ===סעיף ב'===מצאו נוסח שקול (לוגית) לפסוק הבא, ללא שימוש בקשר השלילה: <math>\neg\Big(\forall x\exist y\forall z:(xy<0)\rightarrow(x=z \vee y=z)\Big)</math> ==שאלה 6== ===סעיף א'===מצאו את צורת הDNF השלימה של הפסוק <math>(r\uparrow p)\rightarrow (q\downarrow p)</math> ===סעיף ב'===ציירו את דיאגרמת הסה עבור יחס ההכלה על <math>P(P(\phi))</math> ==שאלה 7==נביט ביחס <math>ARB \leftrightarrow A/B=B/A</math> סמנו נכון/לא נכון:*R רפלקסיבי*R סימטרי*R אנטי סימטרי*R טרנזיטיבי ==שאלה 8==סמנו נכון/לא נכון *<math>\forall x:(P(x)\vee Q(x)) \equiv (\forall x:P(x))\vee (\forall y:Q(y)</math> *<math>\exist x: P(x)\wedge Q(x) \equiv \neg \forall y: P(y)\rightarrow (\neg Q(y))</math> *<math>\forall x \exist y:P(x,y) \Rightarrow \exist y \forall x:P(x,y)</math> *<math>\exist y \forall x:P(x,y) \Rightarrow \forall x \exist y:P(x,y)</math> ==סתם== *[[88-911 קורס סתם | שם מוצג למשתמש]] *[http://google.com שם מוצג למשתמש] *[[מדיה:fakefile.pdf | שם הקובץ]]
