Τύποι Ντε Μόργκαν

Στα θεωρία συνόλων και την μαθηματική λογική, οι τύποι Ντε Μόργκαν (ή αλλιώς νόμοι Ντε Μόργκαν) αναφέρονται σε δύο μαθηματικούς τύπους, που μπορούν να εκφραστούν σε απλά ελληνικά, για τα σύνολα ως εξής:
 Το συμπλήρωμα της ένωσης δύο συνόλων είναι η τομή των συμπληρωμάτων τους.
 Το συμπλήρωμα της τομής δύο συνόλων είναι η ένωση των συμπληρωμάτων τους.
και για λογικές προτάσεις ως εξής:
 Η άρνηση της διάζευξης δύο λογικών προτάσεων είναι η σύζευξη των αρνήσεών τους.
 Η άρνηση της σύζευξης δύο λογικών προτάσεων είναι η διάζευξη των αρνήσεων τους.

Πιο αυστηρά, στην θεωρία συνόλων για οποιαδήποτε δύο σύνολα  έχουμε ότι:
 και ,
όπου  είναι το συμπλήρωμα ενός συνόλου σχετικά με ένα υπερσύνολο ,  η τομή και  είναι η ένωση δύο συνόλων.

Στην λογική, για οποιεσδήποτε λογικές προτάσεις  και , έχουμε τις εξής ισοδυναμίες:
 και ,
όπου  είναι η άρνηση της ,  η σύζευξη και  η διάζευξη δύο προτάσεων.

Οι τύποι παίρνουν το όνομά τους από τον Βρετανό μαθηματικό Αύγουστο Ντε Μόργκαν.

 Απόδειξη 
Θα ξεκινήσουμε αποδεικνύοντας τους τύπους στην λογική και μετά θα τους χρησιμοποιήσουμε για να αποδείξουμε τους τύπους στην θεωρία συνόλων.

 Λογική 
Ξεκινάμε με την σχέση 
.
Γράφοντας τους πίνακες αληθείας για τους όρους των δύο μελών, επιβεβαιώνουμε ότι τα δύο μέλη είναι ίσα για όλες τις τιμές αληθείας του  και του :
{| class="wikitable" style="text-align: center"
|-
!  !!  !!  !!  !!  !!  !! 
|-
|  ||  ||  ||style="background-color:#fae7b4"|  ||  ||  ||style="background-color:#fae7b4"| 
|-
|  ||  ||  ||style="background-color:#fae7b4"|  ||  ||  ||style="background-color:#fae7b4"| 
|-
|  ||  ||  ||style="background-color:#fae7b4"|  ||  ||  ||style="background-color:#fae7b4"| 
|-
|  ||  ||  ||style="background-color:#fae7b4"|  ||  ||  ||style="background-color:#fae7b4"|
|}
Αντίστοιχα, για την σχέση

έχουμε:
{| class="wikitable" style="text-align: center"
|-
!  !!  !!  !!  !!  !!  !! 
|-
|  ||  ||  ||style="background-color:#fae7b4"|  ||  ||  ||style="background-color:#fae7b4"| 
|-
|  ||  || || style="background-color:#fae7b4" | ||  ||  ||style="background-color:#fae7b4"| 
|-
|  ||  || || style="background-color:#fae7b4" | ||  ||  ||style="background-color:#fae7b4"| 
|-
|  ||  ||  ||style="background-color:#fae7b4"| 0 ||  ||  ||style="background-color:#fae7b4"|
|}

Θεωρία συνόλων 
Η απόδειξη στην θεωρία συνόλων, μπορεί να προκύψει χρησιμοποιώντας την απόδειξη των τύπων Ντε Μόργκαν στην λογική. Υπενθυμίζουμε ότι εξ ορισμού ισχύουν οι παρακάτω σχέσεις:
 ,
 , 
 .

Έπειτα οι δύο τύπου Ντε Μόργκαν προκύπτουν από τις εξής ισοδυναμίες:

και 
.

 Γενικευμένη μορφή 
Στην θεωρία συνόλων, οι τύποι γενικεύονται για  σύνολα  ως εξής:
, 
καθώς και 
.

Αντίστοιχα, στην λογική, για  προτάσεις , ισχύει ότι 
,
και 
.

 Ιστορία 
Οι τύποι έχουν ονομαστεί προς τιμήν του Αυγούστου Ντε Μόργκαν (1806–1871), που εισήγαγε την μαθηματική τους διατύπωση στην προτασιακή λογική. Η διατύπωση του Ντε Μόργκαν ήταν επηρεασμένη από την αλγεβροποίηση της λογικής που ανέλαβε ο Τζορτζ Μπουλ. Παρ' όλ' αυτά , μία παρόμοια παρατήρηση είχε γίνει από τον Αριστοτέλη, και ήταν γνωστή στους αρχαίους Έλληνες λογικολόγους και στους λογικολόγους του μεσαίωνα. Για παράδειγμα, στον 14ο αιώνα, ο Γουλιέλμος του Όκαμ έγραψε τους νόμους στην καθομιλουμένη γλώσσα στο έργο του Summa Logicae. Ο Ζαν Μπουριντάν, στο έργο του Summulae de Dialectica, περιγράφει κανόνες μετατροπής που σε γενικές γραμμές προκύπτουν από τους νόμους του Ντε Μόργκαν. Ακόμα και έτσι, στον Ντε Μόργκαν πιστώνεται η διατύπωση των τύπων με σύγχρονους της αυστηρής λογικής, και η ενσωμάτωσή τους στην γλώσσα της λογικής. Οι τύποι του Ντε Μόργκαν μπορούν να αποδειχθούν εύκολα και μπορεί να μοιάζουν τετριμμένοι.Augustus De Morgan (1806–1871)  by Robert H. Orr Παρ' όλ' αυτά, οι τύποι αυτοί είναι χρήσιμοι σε διάφορες αποδείξεις και επαγωγικά επιχειρήματα. Επίσης βρίσκουν διάφορες εφαρμογές στον σχεδιασμό κυκλωμάτων με λογικές πύλες, καθώς και σε αλγορίθμους προτασιακής λογικής. 

 Δείτε επίσης 
 Θεωρία συνόλων
 Προτασιακός λογισμός

 Παραπομπές 

Κατηγορία:Θεωρία συνόλων
Κατηγορία:Μαθηματική λογική
Κατηγορία:Θεωρία κατηγοριών
Κατηγορία:Άλγεβρα Μπουλ