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