שינויים

/* קשרים, כמתים, הצרנה וטבלאות אמת */
את הקשרים הלוגיים (וגם, או, שלילה, גורר) נכיר בעזרת טבלאות האמת שלהם (שזוהי גם ההגדרה שלהם).
נציין שקשרים לוגיים מקשרים בין ביטויים ולא עומדים בפני עצמם. כלומר (לדוגמא) השימוש שלהם בצורה A גורר B כאשר A,B ביטויים.
 
הערה: קשר נוסף שהינו נפוץ בתחום המתמטקיה והוא גרירה דו-כיוונית (ידוע בכינויו אם ורק אם, אמ"מ).
הגדרתו פשוטה (נובעת משמו..) והיא מוגדרת ע"י קשר הגרירה החד כיווני.
<math>A\iff B := (\A\Leftarrow B)\and(B\to A)</math>
יש קשר נפוץ בתחום המתמטיקה - שהגדרתו
בנוסף, לקשרים ניתן להוסיף כמתים.
2,232
עריכות