Οι Νόμοι του De Morgan 🔄 Όταν η Άρνηση Ανταλλάσσει το «και» με το «ή»

Η άρνηση στη Μαθηματική Λογική δεν κάνει απλώς μια πρόταση αρνητική. Όταν περνά μέσα από τους δύο βασικούς λογικούς συνδέσμους, ανταλλάσσει το «και» με το «ή».

\[ \boxed{\neg(p\land q)\iff \neg p\lor\neg q} \]

και, αντιστρόφως,

\[ \boxed{\neg(p\lor q)\iff \neg p\land\neg q}. \]

Αυτοί είναι οι περίφημοι Νόμοι του De Morgan.

Τι σημαίνουν στην πράξη;

Ας πάρουμε την πρόταση:

«Ο αριθμός \(x\) είναι θετικός και μικρότερος από \(10\)».

Η άρνησή της δεν είναι «ο \(x\) δεν είναι θετικός και δεν είναι μικρότερος από \(10\)». Αρκεί να αποτύχει μία από τις δύο συνθήκες.

Άρα:

\[ \neg(x>0\land x<10) \iff x\leq0\lor x\geq10. \]

Με άλλα λόγια:

Η άρνηση του «και» γίνεται «ή».

Η άρνηση του «ή» γίνεται «και».

Η ίδια δομή εμφανίζεται στα σύνολα

Το εντυπωσιακό είναι ότι ακριβώς το ίδιο μοτίβο εμφανίζεται στη Θεωρία Συνόλων. Αν \(A'\) και \(B'\) συμβολίζουν τα συμπληρώματα των συνόλων \(A\) και \(B\), τότε:

\[ \boxed{(A\cap B)'=A'\cup B'} \]

και

\[ \boxed{(A\cup B)'=A'\cap B'}. \]

Η αντιστοιχία είναι άμεση:

\[ \land\quad\longleftrightarrow\quad\cap \]
\[ \lor\quad\longleftrightarrow\quad\cup \]
\[ \neg\quad\longleftrightarrow\quad{}' \]

Έτσι, οι δύο νόμοι της Λογικής και οι δύο αντίστοιχοι νόμοι των συνόλων δεν είναι απλώς τύποι που μοιάζουν. Εκφράζουν την ίδια υποκείμενη δομή.

Ένα απλό παράδειγμα με σύνολα

Έστω ότι \(A\) είναι το σύνολο των μαθητών που γνωρίζουν Αγγλικά και \(B\) το σύνολο εκείνων που γνωρίζουν Γαλλικά.

Το σύνολο

\[ (A\cap B)' \]

περιλαμβάνει όσους δεν γνωρίζουν και τις δύο γλώσσες. Αυτό σημαίνει ότι είτε δεν γνωρίζουν Αγγλικά είτε δεν γνωρίζουν Γαλλικά — ή και τα δύο.

Άρα:

\[ (A\cap B)'=A'\cup B'. \]

Γιατί ονομάζονται νόμοι του De Morgan;

Οι αρχές αυτές έχουν πολύ παλαιότερες ρίζες: ανάλογες λογικές παρατηρήσεις συναντώνται ήδη στην αρχαία και τη μεσαιωνική λογική. Ο Augustus De Morgan (1806–1871), όμως, ήταν εκείνος με τον οποίο συνδέθηκε η νεότερη τυπική διατύπωσή τους.

Το 1847 δημοσίευσε το σημαντικό έργο του Formal Logic: Or, The Calculus of Inference, Necessary and Probable, σε μια εποχή κατά την οποία, παράλληλα με τον George Boole, άρχιζε να διαμορφώνεται η σύγχρονη αλγεβρική προσέγγιση της Λογικής.

Οι Νόμοι του De Morgan σε μία γραμμή:

Όταν η άρνηση περνά μέσα από μια λογική έκφραση,

\[ \boxed{\land\;\longleftrightarrow\;\lor} \]

και στη Θεωρία Συνόλων,

\[ \boxed{\cap\;\longleftrightarrow\;\cup}. \]

Δύο μικροί κανόνες, αλλά μια εξαιρετικά βαθιά ιδέα: Λογική και Θεωρία Συνόλων μιλούν εδώ ουσιαστικά την ίδια μαθηματική γλώσσα.

Ιστορική αναφορά: Stanford Encyclopedia of Philosophy – The Algebra of Logic Tradition

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →