Συμβολική Λογική - Εισαγωγή στις Προτάσεις, τους Συνδέσμους και τους Πίνακες Αληθείας

📜 Τι είναι η Συμβολική Λογική;

Η Συμβολική Λογική είναι ο κλάδος της λογικής που χρησιμοποιεί σύμβολα για να αναπαραστήσει λογικές σχέσεις και επιχειρήματα. Αντί να γράφουμε ολόκληρες προτάσεις, χρησιμοποιούμε γράμματα (όπως p, q, r) και σύμβολα (όπως ∧, ∨, →) για να εκφράσουμε λογικές συνδέσεις.

Η Συμβολική Λογική είναι το θεμέλιο των μαθηματικών, της επιστήμης των υπολογιστών, της φιλοσοφίας και της τεχνητής νοημοσύνης. Χωρίς αυτήν, οι υπολογιστές δεν θα μπορούσαν να «σκέφτονται» λογικά.

Η ιστορία της Συμβολικής Λογικής ξεκινά από τον Αριστοτέλη και την κλασική λογική, αλλά η σύγχρονη μορφή της οφείλεται σε μαθηματικούς όπως ο Γκότλομπ Φρέγκε, ο Τζορτζ Μπουλ (άλγεβρα Boole) και ο Μπέρτραντ Ράσελ.

🧠 Προτάσεις (Propositions)

Μια πρόταση είναι μια δήλωση που μπορεί να χαρακτηριστεί ως αληθής ή ψευδής (αλλά όχι και τα δύο ταυτόχρονα).

Παραδείγματα προτάσεων:

• «Η Ουάσινγκτον είναι η πρωτεύουσα των Ηνωμένων Πολιτειών» — Αληθής
• «Ο Τάμεσης είναι ο μεγαλύτερος ποταμός του κόσμου» — Ψευδής
• «2 + 3 = 6» — Ψευδής

Δεν είναι προτάσεις:

• «Διάβασε αυτό προσεκτικά» — προσταγή, δεν είναι αληθές ή ψευδές.
• «Τι κάνεις;» — ερώτηση, δεν είναι αληθές ή ψευδές.
• «Α + Β = Γ» — αλγεβρική παράσταση, χρειάζεται περισσότερες πληροφορίες.

Η τιμή αληθείας μιας πρότασης συμβολίζεται με Τ (True) για αληθής και Ψ (False) για ψευδής.

⚙️ Λογικές Πράξεις

Οι προτάσεις συνήθως συμβολίζονται με τα γράμματα p και q. Από αυτές μπορούμε να δημιουργήσουμε πιο σύνθετες προτάσεις χρησιμοποιώντας λογικές πράξεις.

🔗 Σύζευξη (Conjunction) — p ∧ q

Η πρόταση «p και q» (συμβολίζεται p ∧ q) είναι αληθής μόνο όταν και οι δύο προτάσεις p και q είναι αληθείς. Σε κάθε άλλη περίπτωση είναι ψευδής.

p	q	p ∧ q
Τ	Τ	Τ
Τ	Ψ	Ψ
Ψ	Τ	Ψ
Ψ	Ψ	Ψ

Παράδειγμα: «Σήμερα είναι 21η Μαΐου» — η πρόταση είναι αληθής μόνο αν είναι και 21η του μήνα και ο μήνας είναι Μάιος.

🔀 Διάζευξη (Disjunction) — p ∨ q

Η πρόταση «p ή q» (συμβολίζεται p ∨ q) είναι ψευδής μόνο όταν και οι δύο προτάσεις p και q είναι ψευδείς. Σε κάθε άλλη περίπτωση είναι αληθής.

p	q	p ∨ q
Τ	Τ	Τ
Τ	Ψ	Τ
Ψ	Τ	Τ
Ψ	Ψ	Ψ

⚠️ Προσοχή: Στην καθημερινή γλώσσα, το «ή» είναι συχνά αποκλειστικό («σούπα ή σαλάτα» — ένα από τα δύο). Στη λογική, το «ή» είναι συμπεριληπτικό: το p ∨ q είναι αληθές ακόμα και αν και οι δύο προτάσεις είναι αληθείς.

Παράδειγμα: p: «Είναι Κυριακή» — q: «Βρέχει». Η πρόταση p ∨ q είναι αληθής αν είναι Κυριακή, αν βρέχει, ή αν και τα δύο. Είναι ψευδής μόνο αν ούτε είναι Κυριακή ούτε βρέχει.

🚫 Άρνηση (Negation) — ~p

Η άρνηση μιας πρότασης p (συμβολίζεται ~p ή ¬p) είναι η πρόταση που είναι αληθής όταν η p είναι ψευδής, και ψευδής όταν η p είναι αληθής.

p	~p
Τ	Ψ
Ψ	Τ

Παράδειγμα: Αν p είναι «Σήμερα είναι Κυριακή», τότε ~p είναι «Σήμερα δεν είναι Κυριακή» (ή «Δεν είναι αλήθεια ότι σήμερα είναι Κυριακή»).

➡️ Υποθετικός Σύνδεσμος (Conditional) — p → q

Ο υποθετικός σύνδεσμος «αν p, τότε q» (συμβολίζεται p → q) είναι μια πρόταση που είναι ψευδής μόνο όταν η p είναι αληθής και η q είναι ψευδής. Σε κάθε άλλη περίπτωση είναι αληθής.

p	q	p → q
Τ	Τ	Τ
Τ	Ψ	Ψ
Ψ	Τ	Τ
Ψ	Ψ	Τ

⚠️ Σημαντικό: Όταν η p είναι ψευδής, η πρόταση p → q είναι πάντα αληθής! Αυτό ονομάζεται κενή αλήθεια (vacuous truth). Σκεφτείτε το σαν μια υπόσχεση: αν η συνθήκη (p) δεν συμβεί ποτέ, δεν έχουμε σπάσει την υπόσχεσή μας.

Παράδειγμα: «Αν ο κωδικός είναι σωστός, τότε δώσε πρόσβαση.»

• (Τ, Τ): Ο κωδικός είναι σωστός και δίνεται πρόσβαση — σωστό.
• (Τ, Ψ): Ο κωδικός είναι σωστός αλλά δεν δίνεται πρόσβαση — λάθος.
• (Ψ, Τ): Ο κωδικός είναι λάθος αλλά δίνεται πρόσβαση — δεν παραβιάζει την υπόσχεση (η υπόσχεση αφορούσε μόνο τον σωστό κωδικό).
• (Ψ, Ψ): Ο κωδικός είναι λάθος και δεν δίνεται πρόσβαση — σωστό.

🔄 Διυποθετικός Σύνδεσμος (Biconditional) — p ↔ q

Ο διυποθετικός σύνδεσμος «p αν και μόνο αν q» (συμβολίζεται p ↔ q) είναι αληθής όταν οι p και q έχουν την ίδια τιμή αληθείας (και οι δύο αληθείς ή και οι δύο ψευδείς).

p	q	p ↔ q
Τ	Τ	Τ
Τ	Ψ	Ψ
Ψ	Τ	Ψ
Ψ	Ψ	Τ

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

🔄 Αντίστροφη, Αντίθετη και Αντιστροφο-Αντίθετη

Από μια υποθετική πρόταση p → q μπορούμε να δημιουργήσουμε τρεις νέες προτάσεις:

• Αντίστροφη (Converse): q → p
• Αντίθετη (Inverse): ~p → ~q
• Αντιστροφο-Αντίθετη (Contrapositive): ~q → ~p

p	q	p → q (Υποθετική)	q → p (Αντίστροφη)	~p → ~q (Αντίθετη)	~q → ~p (Αντιστροφο-Αντίθετη)
Τ	Τ	Τ	Τ	Τ	Τ
Τ	Ψ	Ψ	Τ	Τ	Ψ
Ψ	Τ	Τ	Ψ	Ψ	Τ
Ψ	Ψ	Τ	Τ	Τ	Τ

Σημαντική παρατήρηση: Μια υποθετική πρόταση και η αντιστροφο-αντίθετή της είναι λογικά ισοδύναμες (έχουν πάντα την ίδια τιμή αληθείας). Αυτό είναι εξαιρετικά χρήσιμο σε μαθηματικές αποδείξεις!

Παράδειγμα:

• p: «Το Α είναι τετράγωνο.»
• q: «Το Α είναι ορθογώνιο.»
• p → q: «Αν το Α είναι τετράγωνο, τότε είναι ορθογώνιο.» — Αληθής
• q → p: «Αν το Α είναι ορθογώνιο, τότε είναι τετράγωνο.» — Ψευδής (ένα ορθογώνιο δεν είναι απαραίτητα τετράγωνο)

✅ Ταυτολογίες και Αντιφάσεις

Ταυτολογία (Tautology): Μια πρόταση που είναι πάντα αληθής, ανεξάρτητα από τις τιμές αληθείας των συνιστωσών της.

Αντίφαση (Contradiction): Μια πρόταση που είναι πάντα ψευδής, ανεξάρτητα από τις τιμές αληθείας των συνιστωσών της.

Ενδεχόμενο (Contingency): Μια πρόταση που μπορεί να είναι είτε αληθής είτε ψευδής, ανάλογα με τις τιμές αληθείας των συνιστωσών της.

Παραδείγματα:

• Ταυτολογία: «Βρέχει ή δεν βρέχει.» — Πάντα αληθής.
• Αντίφαση: «Βρέχει και δεν βρέχει.» — Πάντα ψευδής.
• Ενδεχόμενο: «Η γάτα είναι στο χαλάκι.» — Μπορεί να είναι αληθές ή ψευδές.

Επιπλέον παραδείγματα αντιφάσεων:

• Λογική αντίφαση: «Αυτή η πρόταση έχει ακριβώς πέντε λέξεις» — έχει έξι λέξεις!
• Ορολογική αντίφαση: «Αυτός ο άντρας είναι παντρεμένος εργένης.» — ένας εργένης είναι εξ ορισμού ανύπαντρος.
• Γεωμετρική αντίφαση: «Ένα τετράγωνο είναι κύκλος.» — αντίθετοι ορισμοί.

📚 Συμπέρασμα

Η Συμβολική Λογική είναι το αλφάβητο των μαθηματικών και της επιστήμης των υπολογιστών. Οι πράξεις που είδαμε — σύζευξη, διάζευξη, άρνηση, υποθετικός και διυποθετικός σύνδεσμος — είναι τα δομικά στοιχεία με τα οποία χτίζονται πολύπλοκα λογικά επιχειρήματα.

Κατανοώντας αυτές τις βασικές έννοιες, μπορείτε να:

• Αναλύετε λογικά επιχειρήματα και να εντοπίζετε λογικά σφάλματα.
• Κατασκευάζετε μαθηματικές αποδείξεις με σαφήνεια.
• Κατανοείτε πώς λειτουργούν οι υπολογιστές (στην καρδιά τους, όλα είναι λογικές πύλες!).
• Σκέφτεστε με μεγαλύτερη ακρίβεια και σαφήνεια.

Η Συμβολική Λογική δεν είναι απλώς μια μαθηματική θεωρία — είναι ένα εργαλείο σκέψης που μπορεί να εφαρμοστεί σε κάθε πτυχή της ζωής και της επιστήμης.

📚

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

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

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

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