mathematica.gr

Δημοσιεύτηκε: **Κυρ Νοέμ 13, 2011 9:32 am**

Καλημέρα.
Γνωρίζουμε ότι σε απόδειξη (χρησιμοποιώντας τη μέθοδο απαγωγή σε άτοπο) υποθέτουμε πως δεν ισχύει αυτό που θέλουμε να αποδείξουμε και χρησιμοποιώντας αληθείς προτάσεις φθάνουμε σε ένα συμπέρασμα που έρχεται σε αντίθεση με αυτό που γνωρίζουμε ότι ισχύει.
Ερώτηση 1. Όταν ξεκινάμε την απόδειξη της συνεπαγωγής $\displaystyle{p \Rightarrow q}$ τότε η πρόταση " 'εστω ότι δεν ισχύει η

" είναι αληθής ;
Ερώτηση 2. Αφού γράψουμε " 'εστω ότι δεν ισχύει η

" κάνουμε αληθείς ισχυριμούς. Μπορούμε να χρησιμοποιήσουμε στα ενδιάμεσα βήματα ξανά την πρόταση " δεν ισχύει η q";
Παράδειγμα από λύση μαθητή
Άσκηση : Δίνεται περιττή συνάρτηση $\displaystyle{f:R \to R}$ για την οποία ισχύει ότι $\displaystyle{\mathop {\lim }\limits_{x \to {0^ + }} f(x) = + \infty }$ . Να αποδείξετε ότι το όριο $\displaystyle{\mathop {\lim }\limits_{x \to 0} f(x)}$ δεν υπάρχει.
Λύση: Έστω ότι το όριο της f στο 0 υπάρχει
τότε $\displaystyle{\mathop {\lim }\limits_{x \to {0^ + }} f(x) = \mathop {\lim }\limits_{x \to {0^ - }} f(x) = \mathop {\lim }\limits_{x \to 0} f(x) = + \infty }$
τότε $\displaystyle{\mathop {\lim }\limits_{x \to 0} f(x) = \mathop {\lim }\limits_{y \to 0} \left[ { - f(y)} \right] = + \infty }$
τότε επειδή το όριο της f στο 0 υπάρχει $\displaystyle{\mathop {\lim }\limits_{y \to 0} [ - f(y)] = - \mathop {\lim }\limits_{y \to 0} f(y) = + \infty }$
τότε $\displaystyle{\mathop {\lim }\limits_{y \to 0} f(y) = - \infty }$
άτοπο

Το ερώτημα μου είναι αν ενώ ξεκινήσαμε με την πρόταση " Έστω ότι το όριο της f στο 0 υπάρχει " μπορούμε να την χρησιμοποιήσουμε ξανά, όπως κάναμε στην 3η συνεπαγωγή
Πέτρος

Δημοσιεύτηκε: **Κυρ Νοέμ 13, 2011 10:08 am**

1. Η πρόταση $\bar {q},~~$ είναι αληθής εφ'όσον υποθέσαμε ότι η

είναι ψευδής
2. Η πρόταση $\bar {q},~~$ είναι αληθής κατά την διάρκεια της αποδεικτικής διαδικασίας και μπορεί να ξαναχρησιμοποιηθεί .

Με $\bar {q},~~$ συμβολίζω την άρνηση της q,~~

Δημοσιεύτηκε: **Κυρ Νοέμ 13, 2011 11:28 am**

Μαθηματικός έγραψε: Ερώτηση 1. Όταν ξεκινάμε την απόδειξη της συνεπαγωγής $\displaystyle{p \Rightarrow q}$ τότε η πρόταση " 'εστω ότι δεν ισχύει η " είναι αληθής ;

Ναι, με την έννοια ότι την υποθέτουμε (προσωρινά), αληθή.

Μαθηματικός έγραψε: Ερώτηση 2. Αφού γράψουμε " 'εστω ότι δεν ισχύει η " κάνουμε αληθείς ισχυριμούς. Μπορούμε να χρησιμοποιήσουμε στα ενδιάμεσα βήματα ξανά την πρόταση " δεν ισχύει η q ;

Βεβαίως και μπορούμε

Μαθηματικός έγραψε:
Παράδειγμα από λύση μαθητή <...>

Στον μαθητή

Φιλικά,

Μιχάλης

Δημοσιεύτηκε: **Τετ Απρ 22, 2015 10:20 pm**

Αν p:A και q:A τότε p⇒q:A και οχιp:Ψ και οχιq:Ψ τότε οχιq⇒οχιp:A τότε (p⇒q)⇔(οχιq⇒οχιp):Α
Αν p:A και q:Ψ τότε p⇒q:Ψ και οχιp:Ψ και οχιq:Α τότε οχιq⇒οχιp:Ψ τότε (p⇒q)⇔(οχιq⇒οχιp):Α
Αν p:Ψ και q:A τότε p⇒q:A και οχιp:Α και οχιq:Ψ τότε οχιq⇒οχιp:A τότε (p⇒q)⇔(οχιq⇒οχιp):Α
Αν p:Ψ και q:Ψ τότε p⇒q:A και οχιp:Α και οχιq:Α τότε οχιq⇒οχιp:A τότε (p⇒q)⇔(οχιq⇒οχιp):Α
Άρα (p⇒q)⇔(οχιq⇒οχιp) ταυτολογία δηλαδή πάντα αληθής.

mathematica.gr

Εις άτοπο απαγωγή

Εις άτοπο απαγωγή

Re: Εις άτοπο απαγωγή

Re: Εις άτοπο απαγωγή

Re: Εις άτοπο απαγωγή