Λογική Πρόταση – Προτασιακός Τύπος

🌟 Εισαγωγή στη Μαθηματική Λογική

Η Λογική είναι η μελέτη των κανόνων της σωστής εξαγωγής συμπερασμάτων. Αποτελεί εργαλείο τόσο για την καθημερινή σκέψη όσο και για την οργάνωση της επιστημονικής γνώσης. Η Μαθηματική Λογική (ή συμβολική λογική) είναι η Λογική που χρησιμοποιεί μαθηματικές μεθόδους. Δεν είναι μόνο εργαλείο για τα Μαθηματικά, αλλά και μέρος των ίδιων των Μαθηματικών.

Ιστορικό Σημείωμα

Ο Αριστοτέλης (4ος αι. π.Χ.), ως θεμελιωτής της επιστήμης της Λογικής, μελέτησε για πρώτη φορά τους συλλογισμούς και διατύπωσε θεμελιώδεις λογικές αρχές όπως:

🔹 Αρχή της ταυτότητας: «κάθε πράγμα συμπίπτει με τον εαυτό του»
🔹 Αρχή της αποκλείσεως τρίτου: «κάθε πράγμα ή έχει την ιδιότητα $P$ ή δεν την έχει, τρίτη δυνατότητα δεν υπάρχει»

Αυτές οι αρχές αποτελούν το θεμέλιο της σύγχρονης δίτιμης (0/1) λογικής. Μεταγενέστεροι σπουδαίοι στοχαστές όπως οι Leibniz, Boole, Frege, Peano, Russell, Whitehead, Hilbert, Gödel και Tarski ανέπτυξαν περαιτέρω τη Μαθηματική Λογική.

📌 Ορισμός Λογικής Πρότασης

Στα Μαθηματικά, Λογική Πρόταση (ή απλά Πρόταση) ονομάζεται μια δηλωτική έκφραση με αυτοτελές νόημα, που μπορεί να χαρακτηρισθεί αληθής ή ψευδής.

🔤 Συμβολισμός

Τις λογικές προτάσεις τις παριστάνουμε με μικρά γράμματα του Λατινικού αλφαβήτου, κατά προτίμηση $p, q, r, s, \ldots$

✅ Τιμή Αληθείας

Τιμή Αληθείας

Κάθε λογική πρόταση έχει ακριβώς μία τιμή αληθείας, σύμφωνα με την Αρχή της αποκλείσεως τρίτου:

Αν η πρόταση $p$ είναι αληθής, γράφουμε $\tau(p) = \alpha$
Αν η πρόταση $p$ είναι ψευδής, γράφουμε $\tau(p) = \psi$

Δεν υπάρχει τρίτη δυνατότητα!

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

✅ «Ο αριθμός $7$ είναι φυσικός αριθμός» — αληθής λογική πρόταση ( $\tau(p) = \alpha$ )
❌ «Το τετράγωνο έχει $5$ κορυφές» — ψευδής λογική πρόταση ( $\tau(p) = \psi$ )
✅ « $2 + 3 = 5$ » — αληθής λογική πρόταση
❌ « $\sqrt{2} \in \mathbb{Q}$ » — ψευδής λογική πρόταση

Τι ΔΕΝ είναι λογική πρόταση

Εκφράσεις που δεν μπορούν να χαρακτηρισθούν αληθείς ή ψευδείς, δεν είναι λογικές προτάσεις. Τέτοιες είναι:

❓ Ερωτηματικές: «Τι ώρα είναι;»
❗ Προστακτικές: «Κλείσε την πόρτα!»
😊 Επιφωνηματικές: «Τι ωραία μέρα!»
🔢 Εκφράσεις με μεταβλητές χωρίς δεδομένη τιμή: «Ο αριθμός $x$ είναι ακέραιος»

Για παράδειγμα, η «ο αριθμός $x$ είναι ακέραιος» δεν είναι λογική πρόταση, γιατί εξαρτάται από την τιμή του $x$ : αν $x = 5$ αληθεύει, αν $x = \sqrt{2}$ ψεύδεται.

📐 Ορισμός Προτασιακού Τύπου (Ανοικτή Πρόταση)

Μια έκφραση η οποία περιέχει μία ή περισσότερες μεταβλητές και η οποία μπορεί να γίνει λογική πρόταση, όταν η μεταβλητή ή οι μεταβλητές αντικατασταθούν με ένα στοιχείο από ένα καθορισμένο γνωστό σύνολο, λέγεται:

προτασιακός τύπος, ή
ανοικτή πρόταση, ή
προτασιακή συνάρτηση.

🔤 Συμβολισμός

Τους προτασιακούς τύπους με μία μεταβλητή $x$ τους συμβολίζουμε με $p(x), q(x), r(x), \ldots$

Για δύο μεταβλητές γράφουμε $p(x, y), q(x, y), \ldots$

🔑 Βασικές Έννοιες

🎯 Τιμή της μεταβλητής

Η τιμή (έννοια ή στοιχείο) $\lambda$ με την οποία αντικαθιστούμε τη μεταβλητή $x$ σε έναν προτασιακό τύπο $p(x)$ , ώστε να προκύψει λογική πρόταση, λέγεται τιμή της μεταβλητής.

🌐 Σύνολο αναφοράς

Το σύνολο όλων των δυνατών τιμών της μεταβλητής του προτασιακού τύπου ονομάζεται σύνολο αναφοράς.

✅ Σύνολο (τιμών) αληθείας

Το σύνολο των τιμών της μεταβλητής για τις οποίες ο προτασιακός τύπος γίνεται αληθής πρόταση ονομάζεται σύνολο (τιμών) αληθείας του προτασιακού τύπου.

Παραδείγματα Προτασιακών Τύπων

📝 Μία μεταβλητή:
$p(x)$ : «Ο αριθμός $x$ είναι πολλαπλάσιο του $5$ , $x \in \mathbb{N}$ »

Σύνολο αναφοράς: $\mathbb{N}$
Σύνολο αληθείας: $\{0, 5, 10, 15, 20, \ldots\}$
Για $x = 10$ : αληθής — Για $x = 7$ : ψευδής

📝 Δύο μεταβλητές:
$p(x, y)$ : « $x + y = 5,\ x, y \in \mathbb{R}$ »

Σύνολο αναφοράς: $\mathbb{R} \times \mathbb{R}$
Σύνολο αληθείας: $\{(x,y) \in \mathbb{R}^2 : x + y = 5\}$ (ευθεία στο επίπεδο)

🔗 Σύνδεση Προτάσεων – Προτασιακών Τύπων

Κρίσιμη Διάκριση

Η λογική πρόταση έχει συγκεκριμένη τιμή αληθείας (αληθής ή ψευδής).

Ο προτασιακός τύπος δεν έχει τιμή αληθείας· αποκτά μόνο όταν:

✳️ Αντικαταστήσουμε τη μεταβλητή με συγκεκριμένη τιμή, ή
✳️ Προσθέσουμε ποσοδείκτη (π.χ. «για κάθε», «υπάρχει»)

🧠 Γιατί είναι σημαντική αυτή η διάκριση;

Η διάκριση μεταξύ λογικής πρότασης και προτασιακού τύπου είναι θεμέλιο για:

🧱 Την ακριβή διατύπωση θεωρημάτων (π.χ. «για κάθε $x \in \mathbb{R}$ , $x^2 \geq 0$ »)
🧱 Τη λύση εξισώσεων και ανισώσεων (αναζητούμε το σύνολο αληθείας)
🧱 Τη μελέτη συνόλων ορισμού στις συναρτήσεις
🧱 Τη διατύπωση αποδείξεων σε όλα τα κεφάλαια των Μαθηματικών

Για περισσότερες λεπτομέρειες και παραδείγματα, βλ. σελ. 8–9 του PDF (Α΄ Τεύχος).