תרגול זה נועד לבדוק את הידע שלכם בקביעת נכונות עבור פרדיקט כלשהו,
ואת הטכניקה לשלילת פרדיקט.
לאחר תרגול זה, תוכלו להמשיך הלאה לנושא הבא.
בהצלחה !
0 מתוך 10 שאלות הושלמו
שאלות:
כבר השלמת את המבחן בעבר. לכן אינך יכול להתחיל אותו שוב.
המבחן נטען…
עליך להתחבר או להירשם כדי להתחיל את המבחן.
אתה חייב להשלים קודם את הבאים:
0 מתוך 10 שאלות נענו נכון
הזמן שלך:
זמן חלף
השגת 0 מתוך 0 נקודה(ות), (0)
נקודה(ות) שקיבלת: 0 מתוך 0, (0)
0 שאלות פתוחות בהמתנה (נקודה(ות) אפשרית(יות): 0)
מי מהפסוקים הבאים שקול לשלילת הפסוק: \[\forall x\exists y\left( {{x^2} \geq 90 \to {y^2} > 90} \right)\]
מי מהפסוקים הבאים שקול לשלילת הפסוק: \[\forall x\left[ {\exists y\left( {{x^2} \geqslant 90 + y} \right) \to \exists y\left( {{y^2} \geqslant 90} \right)} \right]\]
מי מהפסוקים הבאים שקול לשלילת הפסוק: \[\forall x\left[ {\exists y\left( {{y^2} < 90 + x} \right) \wedge \exists z\left( {y \ne z \to \forall y\left( {{x^2} \geqslant y} \right)} \right)} \right]\]
מי מהפסוקים הבאים שקול לשלילת הפסוק: \[\exists x\left( {x > 3} \right) \to \left[ {\exists y\left( {y > 10} \right) \to \exists z\exists x\exists y\left( {y + x > z} \right)} \right]\]
מי מהפסוקים הבאים שקול לשלילת הפסוק: \[\forall x\left( {x \leqslant 0} \right) \to \left[ {\exists y\left( {y + 3 < 0} \right) \vee \forall y\left( {y > 0} \right)} \right]\]
עבור קבוצת התייחסות \[\mathbb{N}\]
סמנו את הטענה הנכונה מבין הטענות הבאות:
מלאו את הפרטים, ונציג יחזור אליכם בהקדם.