משתמש:נתיב לה/טיוטה
דף זה אינו ערך אנציקלופדי
| ||
דף זה אינו ערך אנציקלופדי | |
לוגיקת הפסוקים[עריכת קוד מקור | עריכה]
מושגי יסוד בלוגיקת הפסוקים[עריכת קוד מקור | עריכה]
פסוק • אמת • שקר • קשר • לא • הצרנה • טבלת אמת • אם-אז • וגם • או • או מוציא • תנאי • מסקנה
טבלאות אמת של פסוקים מורכבים[עריכת קוד מקור | עריכה]
גרירה לוגית • שקילות לוגית • טאוטולוגיה • סתירה
שקילויות לוגיות חשובות[עריכת קוד מקור | עריכה]
אידמפוטנטיות • טאוטולוגיה • סתירה • חוק הזהות • חוק השליטה • חוק החילוף • חוק הקיבוץ • חוק הפילוג • שלילה כפולה • חוקי דה מורגן
פתרון בעיות לוגיות[עריכת קוד מקור | עריכה]
תורת הקבוצות[עריכת קוד מקור | עריכה]
- ערך מורחב – תורת הקבוצות - מונחים
מושגי יסוד[עריכת קוד מקור | עריכה]
קבוצה • שוויון • הכלה • הקבוצה הריקה
מספרים רציונלים ומספרים ממשיים[עריכת קוד מקור | עריכה]
מספר רציונלי • מספר ממשי • אינטרוול
פעולות על קבוצות[עריכת קוד מקור | עריכה]
איחוד • חיתוך • הפרש • הפרש סימטרי • משלים • קבוצה אוניברסלית • קבוצות זרות • אינוולוציה • דיאגרמת ון
לוגיקת הפרדיקטים[עריכת קוד מקור | עריכה]
פרדיקטים - הגדרות, סימונים ושלילה[עריכת קוד מקור | עריכה]
נוסחה • משתנה • יחס • כמת • לכל • קיים
פונקציות[עריכת קוד מקור | עריכה]
הגדרות בסיסיות[עריכת קוד מקור | עריכה]
הרכבת פונקציות[עריכת קוד מקור | עריכה]
הרכבת פונקציות • פונקציית הזהות
פונקציה חד חד ערכית ופונקציה על[עריכת קוד מקור | עריכה]
פונקציה חד-חד-ערכית • פונקציה על
פונקציות הפיכות[עריכת קוד מקור | עריכה]
פונקציה חד-חד-ערכית ועל • פונקציה הפיכה