Ποσοδείκτες

📌 Εισαγωγικά

Όπως είδαμε στην προηγούμενη παράγραφο, ένας προτασιακός τύπος $p(x)$ δεν είναι λογική πρόταση, αφού η τιμή αληθείας του εξαρτάται από την τιμή της μεταβλητής. Υπάρχουν δύο τρόποι για να μετατρέψουμε έναν προτασιακό τύπο σε λογική πρόταση:

✳️ Να αντικαταστήσουμε τη μεταβλητή με συγκεκριμένη τιμή από το σύνολο αναφοράς.
✳️ Να χρησιμοποιήσουμε ποσοδείκτες.

🔎 Τι είναι οι Ποσοδείκτες

Λογικές προτάσεις μπορούμε να δημιουργήσουμε από προτασιακούς τύπους χρησιμοποιώντας εκφράσεις όπως:

«υπάρχει τουλάχιστον ένα»
«για μερικά»
«για κάθε»
«για ένα και μόνο ένα»

Οι εκφράσεις αυτές λέγονται ποσοδείκτες και είτε προηγούνται, είτε έπονται του προτασιακού τύπου.

🔹 Υπαρξιακός Ποσοδείκτης

Ο ποσοδείκτης «υπάρχει τουλάχιστον ένα» ονομάζεται υπαρξιακός ποσοδείκτης και συμβολίζεται με $\exists$ .

📖 Ανάγνωση:

\exists x,\ p(x)

διαβάζεται: «υπάρχει τουλάχιστον ένα $x$ , ώστε να ισχύει $p(x)$ ».

Πότε αληθεύει

Η πρόταση $\exists x, p(x)$ αληθεύει όταν έστω και μία τιμή του $x$ από το σύνολο αναφοράς κάνει τον $p(x)$ αληθή. Δεν χρειάζεται να τις βρούμε όλες — αρκεί ένα παράδειγμα!

🔹 Καθολικός Ποσοδείκτης

Ο ποσοδείκτης «για κάθε» ή «για όλα» ονομάζεται καθολικός ποσοδείκτης και συμβολίζεται με $\forall$ .

📖 Ανάγνωση:

\forall x,\ p(x)

διαβάζεται: «για κάθε $x$ ισχύει $p(x)$ » ή «για όλα τα $x$ ισχύει $p(x)$ ».

Πότε αληθεύει

Η πρόταση $\forall x, p(x)$ αληθεύει μόνο αν ο $p(x)$ γίνεται αληθής για ΟΛΕΣ τις τιμές του $x$ από το σύνολο αναφοράς. Αρκεί ΜΙΑ τιμή να μην την ικανοποιεί (αντιπαράδειγμα), για να γίνει ψευδής!

📝 Χρήση Ποσοδεικτών – Συμβολισμός

Με τη βοήθεια των ποσοδεικτών μεταφράζουμε μαθηματικές δηλώσεις σε αυστηρό συμβολικό λόγο:

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

🔸 Το τριώνυμο $\varphi(x) = x^2 + x + 1$ έχει διακρίνουσα $\Delta = 1 - 4 = -3 < 0$ και $a = 1 > 0$ . Άρα είναι πάντοτε θετικό:

\forall x \in \mathbb{R},\ x^2 + x + 1 > 0

🔸 Το τριώνυμο $\varphi(x) = x^2 - 4x + 3$ έχει ρίζες $x = 1$ και $x = 3$ , οπότε είναι αρνητικό στο διάστημα $(1, 3)$ :

\exists x \in \mathbb{R},\ x^2 - 4x + 3 < 0 \quad \text{ή} \quad \forall x \in (1, 3),\ x^2 - 4x + 3 < 0

🔸 Η εξίσωση $0x = 15$ είναι αδύνατη στο $\mathbb{R}$ (καμία τιμή δεν την ικανοποιεί):

\nexists x \in \mathbb{R},\ 0x = 15 \quad \text{ή ισοδύναμα} \quad \forall x \in \mathbb{R},\ 0x \neq 15

🔸 Η εξίσωση $0x = 0$ είναι αόριστη (ισχύει για κάθε πραγματικό):

0x = 0,\ \forall x \in \mathbb{R}

🔀 Ποσοδείκτες και Άρνηση

Ένα από τα πιο χρήσιμα αποτελέσματα με τους ποσοδείκτες είναι οι κανόνες άρνησης:

Κανόνες Άρνησης Ποσοδεικτών

🔹 Η άρνηση του «για κάθε $x$ ισχύει $p(x)$ » είναι «υπάρχει $x$ ώστε να μην ισχύει $p(x)$ »:

\overline{\forall x,\ p(x)} \Leftrightarrow \exists x,\ \overline{p(x)}

🔹 Η άρνηση του «υπάρχει $x$ ώστε να ισχύει $p(x)$ » είναι «για κάθε $x$ δεν ισχύει $p(x)$ »:

\overline{\exists x,\ p(x)} \Leftrightarrow \forall x,\ \overline{p(x)}

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

🧠 Σύνδεση με το σύνολο αληθείας

Έστω $\mathcal{A}$ το σύνολο αληθείας του $p(x)$ και $\mathcal{U}$ το σύνολο αναφοράς. Τότε:

✅ Η $\forall x, p(x)$ αληθεύει $\Leftrightarrow$ $\mathcal{A} = \mathcal{U}$ (όλο το σύνολο αναφοράς)
✅ Η $\exists x, p(x)$ αληθεύει $\Leftrightarrow$ $\mathcal{A} \neq \emptyset$ (μη κενό σύνολο)
❌ Η $\forall x, p(x)$ είναι ψευδής $\Leftrightarrow$ υπάρχει αντιπαράδειγμα

Η δύναμη του αντιπαραδείγματος

Για να ανατρέψουμε έναν καθολικό ισχυρισμό « $\forall x, p(x)$ », αρκεί ένα μόνο αντιπαράδειγμα — δηλαδή μία τιμή $x_0$ για την οποία ο $p(x_0)$ είναι ψευδής. Αντίθετα, ένα παράδειγμα δεν αρκεί ποτέ για να αποδείξουμε έναν καθολικό ισχυρισμό!

🌍 Σύνδεση με τη ζωή και τις εξετάσεις

Οι ποσοδείκτες εμφανίζονται παντού στη μαθηματική γλώσσα:

📐 Γεωμετρία: «Για κάθε τρίγωνο, το άθροισμα των γωνιών είναι $180°$ »
🧮 Άλγεβρα: «Υπάρχει $x \in \mathbb{R}$ ώστε $x^2 = 2$ »
📊 Ανισοτικές σχέσεις: « $\forall x \in \mathbb{R},\ x^2 \geq 0$ »

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