כללי דה מורגן – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
זה רשום בצורה מבלבלת פירקתי את המשפט |
תקלדה |
||
שורה 1:
'''כללי דה מורגן''', הקרויים על-שמו של ה[[מתמטיקאי]] וה[[לוגיקן]] בן [[המאה ה-19]], [[אוגוסטוס דה מורגן]], הם שני כללים ב[[לוגיקה]], ב[[תורת הקבוצות]] וב[[אלגברה בוליאנית]] (בפרט, [[לוגיקה בוליאנית]]), הקושרים את הפעולות הבסיסיות בתחומים אלה.
* '''לוגיקה''': הכללים קושרים את הפעולות "[[או (לוגיקה)|או]]", "[[וגם (לוגיקה)|גם]]", "[[לא (לוגיקה)|לא]]". באופן מילולי בכתיב לא פורמלי, קובעים הכללים כי השלילה של- קיום א' '''וגם''' קיום ב', היא אי קיום
בכתיב פורמלי הם מוצגים כך:
:<math>\neg(P\wedge Q)\equiv(\neg P)\vee(\neg Q)</math>
|