כללי דה מורגן – הבדלי גרסאות

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