משתמש:נתיב לה/טיוטה

לוגיקת הפסוקים

מושגי יסוד בלוגיקת הפסוקים

פסוק • אמת • שקר • קשר • לא • הצרנה • טבלת אמת • אם-אז • וגם • או • או מוציא • תנאי • מסקנה

טבלאות אמת של פסוקים מורכבים

גרירה לוגית • שקילות לוגית • טאוטולוגיה • סתירה

שקילויות לוגיות חשובות

אידמפוטנטיות • טאוטולוגיה • סתירה • חוק הזהות • חוק השליטה • חוק החילוף • חוק הקיבוץ • חוק הפילוג • שלילה כפולה • חוקי דה מורגן

פתרון בעיות לוגיות

• תקפות לוגית

תורת הקבוצות

ערך מורחב – תורת הקבוצות - מונחים

מושגי יסוד

קבוצה • שוויון • הכלה • הקבוצה הריקה

מספרים רציונלים ומספרים ממשיים

מספר רציונלי • מספר ממשי • אינטרוול

פעולות על קבוצות

איחוד • חיתוך • הפרש • הפרש סימטרי • משלים • קבוצה אוניברסלית • קבוצות זרות • אינוולוציה • דיאגרמת ון

לוגיקת הפרדיקטים

פרדיקטים - הגדרות, סימונים ושלילה

נוסחה • משתנה • יחס • כמת • לכל • קיים

פונקציות

הגדרות בסיסיות

פונקציה • תחום • טווח • תמונה

הרכבת פונקציות

הרכבת פונקציות • פונקציית הזהות

פונקציה חד חד ערכית ופונקציה על

פונקציה חד-חד-ערכית • פונקציה על

פונקציות הפיכות

פונקציה חד-חד-ערכית ועל • פונקציה הפיכה

פונקציות מפוצלות

• פונקציה מפוצלת