Ερώτημα Λογικής
Συντονιστής: emouroukos
- Γιώργος Μήτσιος
- Δημοσιεύσεις: 1789
- Εγγραφή: Κυρ Ιούλ 01, 2012 10:14 am
- Τοποθεσία: Aρτα
Ερώτημα Λογικής
Γεια σας.
Θα ήθελα την γνώμη σας στο παρακάτω.
Η συνεπαγωγή είναι αληθής η όχι ;
Έστω η συνάρτηση και .
Τότε
Σας ευχαριστώ . Γιώργος.
Θα ήθελα την γνώμη σας στο παρακάτω.
Η συνεπαγωγή είναι αληθής η όχι ;
Έστω η συνάρτηση και .
Τότε
Σας ευχαριστώ . Γιώργος.
-
- Δημοσιεύσεις: 75
- Εγγραφή: Τετ Αύγ 28, 2013 10:07 am
- Τοποθεσία: Αγρίνιο
Re: Ερώτημα Λογικής
Τα παρακάτω με κάποια επιφύλαξη...
Το όριο προφανώς δεν υπάρχει, άρα η ισότητα της υπόθεσης στερείται νοήματος. Συνεπώς, οποιαδήποτε συνεπαγωγή είναι "λογικά" σωστή.
Το όριο προφανώς δεν υπάρχει, άρα η ισότητα της υπόθεσης στερείται νοήματος. Συνεπώς, οποιαδήποτε συνεπαγωγή είναι "λογικά" σωστή.
- Christos.N
- Δημοσιεύσεις: 2105
- Εγγραφή: Πέμ Νοέμ 26, 2009 2:28 pm
- Τοποθεσία: Ίλιον
Re: Ερώτημα Λογικής
Το συνεχίζω όπως το διατυπώνει ο αλγεβριστής:
Αν θεωρήσουμε,
Ναι η συνεπαγωγή είναι αληθής, αλλά συμπληρώνοντας ως προς την μαθηματική της αξία είναι ουσιωδώς "αδιάφορη".
Αν θεωρήσουμε,
Ναι η συνεπαγωγή είναι αληθής, αλλά συμπληρώνοντας ως προς την μαθηματική της αξία είναι ουσιωδώς "αδιάφορη".
Χρήστος Ντάβας
Wir müssen wissen — wir werden wissen! D.Hilbert
Wir müssen wissen — wir werden wissen! D.Hilbert
- Στέλιος Μαρίνης
- Δημοσιεύσεις: 536
- Εγγραφή: Πέμ Ιούλ 16, 2009 9:45 pm
- Τοποθεσία: Νέα Σμύρνη, Αθήνα
- Επικοινωνία:
Re: Ερώτημα Λογικής
Η δική μου απάντηση είναι ΟΧΙ. Κι αυτό επειδή η υπόθεση δεν είναι ούτε πρόταση (ούτε προτασιακός τύπος). Είναι μια έκφραση χωρίς νόημα, δεν είναι ούτε αληθής ούτε ψευδής, άρα δεν έχει επίσης νόημα να θεωρηθεί ως όρος μιας λογικής πράξης.Γιώργος Μήτσιος έγραψε:Γεια σας.
Θα ήθελα την γνώμη σας στο παρακάτω.
Η συνεπαγωγή είναι αληθής η όχι ;
Έστω η συνάρτηση και .
Τότε
Σας ευχαριστώ . Γιώργος.
Κάποτε οι καμπύλες των γραφικών παραστάσεων ζωντανεύουν, είναι διαφορίσιμες γιατί είναι λείες κι όμορφες, έχουν ακρότατες τιμές γιατί αρνούνται τη μονοτονία, δεν έχουν όριο πραγματικό, αλλά μπορείς και τις φαντάζεσαι στο άπειρο και η ασύμπτωτη ευθεία είναι το καράβι που σε ταξιδεύει πλάι τους.
- Γιώργος Μήτσιος
- Δημοσιεύσεις: 1789
- Εγγραφή: Κυρ Ιούλ 01, 2012 10:14 am
- Τοποθεσία: Aρτα
Re: Ερώτημα Λογικής
Γεια σας.
Ευχαριστώ τον Αλγεβριστή , τον Χρήστο και τον Στέλιο για τις απαντήσεις τους .
Καταθέτω και την δική μου (όχι κατηγορηματική) - συμφωνώντας με τον Στέλιο-άποψη :
Η έκφραση αριστερά της συνεπαγωγής , αφού το όριο δεν υπάρχει , δεν είναι ούτε αληθής ούτε ψευδής πρόταση,
αλλά στερείται νοήματος.
Συνεπώς , θεωρώ λογικό ότι και για την συνεπαγωγή ισχύει το ίδιο :Ούτε αληθή, ούτε ψευδή μπορούμε να την χαρακτηρίσουμε αλλά ότι δεν έχει κανένα νόημα (ύπαρξης).
Φιλικά Γιώργος.
Ευχαριστώ τον Αλγεβριστή , τον Χρήστο και τον Στέλιο για τις απαντήσεις τους .
Καταθέτω και την δική μου (όχι κατηγορηματική) - συμφωνώντας με τον Στέλιο-άποψη :
Η έκφραση αριστερά της συνεπαγωγής , αφού το όριο δεν υπάρχει , δεν είναι ούτε αληθής ούτε ψευδής πρόταση,
αλλά στερείται νοήματος.
Συνεπώς , θεωρώ λογικό ότι και για την συνεπαγωγή ισχύει το ίδιο :Ούτε αληθή, ούτε ψευδή μπορούμε να την χαρακτηρίσουμε αλλά ότι δεν έχει κανένα νόημα (ύπαρξης).
Φιλικά Γιώργος.
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Ερώτημα Λογικής
Στέλιο και Γιώργο, ας βάλω έναν προβληματισμό.
Ακολουθώντας το σκεπτικό σας, νομίζω, ότι θα λέγατε ότι η δεν είναι ούτε αληθής ούτε ψευδής.
Κατ' εμέ είναι ψευδής χωρίς αντίρρηση.
Για να συνεχίσω: Θα συμφωνήσει κανείς ότι η είναι αληθής. Αυτή διαβάζεται "εάν άλφα ίσον ένα τότε δύο άλφα ίσον δύο" και όλοι συμφωνούν ότι είναι αληθής. Ας αντικαταστήσουμε τώρα το άλφα με την . Διαβάζεται
"εάν ίσον ένα τότε ίσον δύο"
Αληθές ή όχι;
Αληθές και νομίζω ότι έτσι πρέπει να το αντιλαμβανόμαστε.
Όλες οι αποδείξεις με αντίφαση, ακριβώς, αρχίζουν από ψευδή υπόθεση. Π.χ. λέμε "εάν ο ρίζα δύο ήταν ρητός τότε ... "
Με το σκεπτικό σας, αν καταλαβαίνω καλά, δεν επιτρέπετε ¨ασυναρτησίες" της μορφής "εάν ίσον ένα". Αλλά τότε γιατί επιτρέπετε εξ ίσου κραυγαλέες "ασυναρτησίες" όπως "εάν ο ρίζα δύο είναι ρητός" .
Για να συνοψίσω, τις αποδείξεις με ψευδή υπόθεση στα Μαθηματικά τις δεχόμαστε (όσο "ασυναρτησία" και αν είναι η υπόθεση). Πρόκειται για ένα αποδεικτικό σχήμα που θεμελιώθηκε την αρχαιότητα από τον Φίλωνα τον Μεγαρέα, και τα Μαθηματικά έζησαν εποικοδομητικά με αυτό.
Φιλικά,
Μιχάλης
Υ.Γ. Και ένα τελευταίο: Το αρχικό ερώτημα είναι αν είναι αληθής η συνεπαγωγή
Αυτής το πρόβλημα είναι αλλού, όχι στο αν υπάρχει η όχι το όριο της . Για παράδειγμα ας πάρουμε μία με . Για να είμαι συγκεκριμένος, ας πάρουμε . Τότε η ρωτάει αν είναι αλήθεια η
Δηλαδή ρωτάει αν είναι αλήθεια η
Όχι βέβαια! Π.χ. η την ικανοποιεί.
Το πρόβλημα με την είναι ότι χρησιμοποιεί κακά (εσφαλμένα) Μαθηματικά (δεν εξασφάλισε μη μηδενικό όριο πριν διαιρέσει), και όχι αν είναι αληθής ή όχι η .
Ακολουθώντας το σκεπτικό σας, νομίζω, ότι θα λέγατε ότι η δεν είναι ούτε αληθής ούτε ψευδής.
Κατ' εμέ είναι ψευδής χωρίς αντίρρηση.
Για να συνεχίσω: Θα συμφωνήσει κανείς ότι η είναι αληθής. Αυτή διαβάζεται "εάν άλφα ίσον ένα τότε δύο άλφα ίσον δύο" και όλοι συμφωνούν ότι είναι αληθής. Ας αντικαταστήσουμε τώρα το άλφα με την . Διαβάζεται
"εάν ίσον ένα τότε ίσον δύο"
Αληθές ή όχι;
Αληθές και νομίζω ότι έτσι πρέπει να το αντιλαμβανόμαστε.
Όλες οι αποδείξεις με αντίφαση, ακριβώς, αρχίζουν από ψευδή υπόθεση. Π.χ. λέμε "εάν ο ρίζα δύο ήταν ρητός τότε ... "
Με το σκεπτικό σας, αν καταλαβαίνω καλά, δεν επιτρέπετε ¨ασυναρτησίες" της μορφής "εάν ίσον ένα". Αλλά τότε γιατί επιτρέπετε εξ ίσου κραυγαλέες "ασυναρτησίες" όπως "εάν ο ρίζα δύο είναι ρητός" .
Για να συνοψίσω, τις αποδείξεις με ψευδή υπόθεση στα Μαθηματικά τις δεχόμαστε (όσο "ασυναρτησία" και αν είναι η υπόθεση). Πρόκειται για ένα αποδεικτικό σχήμα που θεμελιώθηκε την αρχαιότητα από τον Φίλωνα τον Μεγαρέα, και τα Μαθηματικά έζησαν εποικοδομητικά με αυτό.
Φιλικά,
Μιχάλης
Υ.Γ. Και ένα τελευταίο: Το αρχικό ερώτημα είναι αν είναι αληθής η συνεπαγωγή
Αυτής το πρόβλημα είναι αλλού, όχι στο αν υπάρχει η όχι το όριο της . Για παράδειγμα ας πάρουμε μία με . Για να είμαι συγκεκριμένος, ας πάρουμε . Τότε η ρωτάει αν είναι αλήθεια η
Δηλαδή ρωτάει αν είναι αλήθεια η
Όχι βέβαια! Π.χ. η την ικανοποιεί.
Το πρόβλημα με την είναι ότι χρησιμοποιεί κακά (εσφαλμένα) Μαθηματικά (δεν εξασφάλισε μη μηδενικό όριο πριν διαιρέσει), και όχι αν είναι αληθής ή όχι η .
- Christos.N
- Δημοσιεύσεις: 2105
- Εγγραφή: Πέμ Νοέμ 26, 2009 2:28 pm
- Τοποθεσία: Ίλιον
Re: Ερώτημα Λογικής
Κύριε Λάμπρου γιατί πραγματικά θέλω να μάθω;
Η τελευταία συνεπαγωγή είναι έγκυρη;
Η τελευταία συνεπαγωγή είναι έγκυρη;
Χρήστος Ντάβας
Wir müssen wissen — wir werden wissen! D.Hilbert
Wir müssen wissen — wir werden wissen! D.Hilbert
-
- Δημοσιεύσεις: 75
- Εγγραφή: Τετ Αύγ 28, 2013 10:07 am
- Τοποθεσία: Αγρίνιο
Re: Ερώτημα Λογικής
Με αφορμή τα παραπάνω ας δούμε μία ακόμα ασυναρτησία...
Είναι σωστή η παρακάτω ισοδυναμία;
Έστω συνάρτηση .
Η είναι συνεχής στο αν και μόνο αν η είναι ένα προς ένα και .
Το θεώρησα αστείο.
Edit: Και αυτό: Έστω . Ισχύει ότι ;
Είναι σωστή η παρακάτω ισοδυναμία;
Έστω συνάρτηση .
Η είναι συνεχής στο αν και μόνο αν η είναι ένα προς ένα και .
Το θεώρησα αστείο.
Edit: Και αυτό: Έστω . Ισχύει ότι ;
- Στέλιος Μαρίνης
- Δημοσιεύσεις: 536
- Εγγραφή: Πέμ Ιούλ 16, 2009 9:45 pm
- Τοποθεσία: Νέα Σμύρνη, Αθήνα
- Επικοινωνία:
Re: Ερώτημα Λογικής
Μιχάλη, επί άλλου θέματος απαντάς ή εγώ κάτι έχω καταλάβει λάθος. Τι σημαίνει χ τείνει κάπου; Έχει νόημα μόνο του; Δεν είναι το ίδιο με ένα όριο που δεν υπάρχει. Μια έκφραση που λέει αυτό το όριο κάνει τόσο είναι ψευδής πρόταση γιατί περιέχει, ως εννοούμενο, ότι υπάρχει το όριο, κάτι που δεν ισχύει.Mihalis_Lambrou έγραψε:Στέλιο και Γιώργο, ας βάλω έναν προβληματισμό.
Ακολουθώντας το σκεπτικό σας, νομίζω, ότι θα λέγατε ότι η δεν είναι ούτε αληθής ούτε ψευδής.
Κατ' εμέ είναι ψευδής χωρίς αντίρρηση.
Για να συνεχίσω: Θα συμφωνήσει κανείς ότι η είναι αληθής. Αυτή διαβάζεται "εάν άλφα ίσον ένα τότε δύο άλφα ίσον δύο" και όλοι συμφωνούν ότι είναι αληθής. Ας αντικαταστήσουμε τώρα το άλφα με την . Διαβάζεται
"εάν ίσον ένα τότε ίσον δύο"
Αληθές ή όχι;
Αληθές και νομίζω ότι έτσι πρέπει να το αντιλαμβανόμαστε.
Όλες οι αποδείξεις με αντίφαση, ακριβώς, αρχίζουν από ψευδή υπόθεση. Π.χ. λέμε "εάν ο ρίζα δύο ήταν ρητός τότε ... "
Με το σκεπτικό σας, αν καταλαβαίνω καλά, δεν επιτρέπετε ¨ασυναρτησίες" της μορφής "εάν ίσον ένα". Αλλά τότε γιατί επιτρέπετε εξ ίσου κραυγαλέες "ασυναρτησίες" όπως "εάν ο ρίζα δύο είναι ρητός" .
Για να συνοψίσω, τις αποδείξεις με ψευδή υπόθεση στα Μαθηματικά τις δεχόμαστε (όσο "ασυναρτησία" και αν είναι η υπόθεση). Πρόκειται για ένα αποδεικτικό σχήμα που θεμελιώθηκε την αρχαιότητα από τον Φίλωνα τον Μεγαρέα, και τα Μαθηματικά έζησαν εποικοδομητικά με αυτό.
Φιλικά,
Μιχάλης
Υ.Γ. Και ένα τελευταίο: Το αρχικό ερώτημα είναι αν είναι αληθής η συνεπαγωγή
Αυτής το πρόβλημα είναι αλλού, όχι στο αν υπάρχει η όχι το όριο της . Για παράδειγμα ας πάρουμε μία με . Για να είμαι συγκεκριμένος, ας πάρουμε . Τότε η ρωτάει αν είναι αλήθεια η
Δηλαδή ρωτάει αν είναι αλήθεια η
Όχι βέβαια! Π.χ. η την ικανοποιεί.
Το πρόβλημα με την είναι ότι χρησιμοποιεί κακά (εσφαλμένα) Μαθηματικά (δεν εξασφάλισε μη μηδενικό όριο πριν διαιρέσει), και όχι αν είναι αληθής ή όχι η .
Κάποτε οι καμπύλες των γραφικών παραστάσεων ζωντανεύουν, είναι διαφορίσιμες γιατί είναι λείες κι όμορφες, έχουν ακρότατες τιμές γιατί αρνούνται τη μονοτονία, δεν έχουν όριο πραγματικό, αλλά μπορείς και τις φαντάζεσαι στο άπειρο και η ασύμπτωτη ευθεία είναι το καράβι που σε ταξιδεύει πλάι τους.
- Στέλιος Μαρίνης
- Δημοσιεύσεις: 536
- Εγγραφή: Πέμ Ιούλ 16, 2009 9:45 pm
- Τοποθεσία: Νέα Σμύρνη, Αθήνα
- Επικοινωνία:
Re: Ερώτημα Λογικής
Να προσθέσω κάτι μήπως το προηγούμενο που έγραψα δεν ήταν σαφές. Εγώ στην εκφώνηση διαβάζω ως "υπόθεση" Μια συνάρτηση έχει τον τάδε τύπο και ο χ τείνει στο μηδέν. (Επίτηδες δεν χρησιμποιώ λάτεξ για να εξηγήσω με λόγια τι διαβάζω). Αυτό δεν είναι ψευδής πρόταση. Δεν είναι καν λογική πρόταση. Αυτό προσπάθησα από την αρχή να πω.Γιώργος Μήτσιος έγραψε:Γεια σας.
Θα ήθελα την γνώμη σας στο παρακάτω.
Η συνεπαγωγή είναι αληθής η όχι ;
Έστω η συνάρτηση και .
Τότε
Σας ευχαριστώ . Γιώργος.
Κάποτε οι καμπύλες των γραφικών παραστάσεων ζωντανεύουν, είναι διαφορίσιμες γιατί είναι λείες κι όμορφες, έχουν ακρότατες τιμές γιατί αρνούνται τη μονοτονία, δεν έχουν όριο πραγματικό, αλλά μπορείς και τις φαντάζεσαι στο άπειρο και η ασύμπτωτη ευθεία είναι το καράβι που σε ταξιδεύει πλάι τους.
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Ερώτημα Λογικής
Στέλιο, φρονώ πως ο Γιώργος Μήτσιος μη γνωρίζοντας πως να γράψει σε latex το έγραψε το ερώτημα όπως το έγραψε. (
Έχω την εντύπωση ότι αυτό που ήθελε να ρωτήσει είναι αν η «πρόταση»
είναι ορθή ή λανθασμένη. (Στην περίπτωση που η είναι η συνάρτηση με τύπο .)
Τίθεται βέβαια το ερώτημα αν είναι όντως πρόταση αυτό που έγραψα ή αν στερείται νοήματος. Θεωρώ ότι είναι όντως πρόταση (προτασιακός τύπος ορθότερα) άσχετο αν το όριο της στο δεν υπάρχει.
Έχω την εντύπωση ότι αυτό που ήθελε να ρωτήσει είναι αν η «πρόταση»
είναι ορθή ή λανθασμένη. (Στην περίπτωση που η είναι η συνάρτηση με τύπο .)
Τίθεται βέβαια το ερώτημα αν είναι όντως πρόταση αυτό που έγραψα ή αν στερείται νοήματος. Θεωρώ ότι είναι όντως πρόταση (προτασιακός τύπος ορθότερα) άσχετο αν το όριο της στο δεν υπάρχει.
- Στέλιος Μαρίνης
- Δημοσιεύσεις: 536
- Εγγραφή: Πέμ Ιούλ 16, 2009 9:45 pm
- Τοποθεσία: Νέα Σμύρνη, Αθήνα
- Επικοινωνία:
Re: Ερώτημα Λογικής
Άρα απλώς παρανόησα. Σ' αυτή την περίπτωση όντως πρόκειται για ψευδή πρόταση, άρα ισχύουν όσα έγραψε ο Μιχάλης.Demetres έγραψε:Στέλιο, φρονώ πως ο Γιώργος Μήτσιος μη γνωρίζοντας πως να γράψει σε latex το έγραψε το ερώτημα όπως το έγραψε. (
Έχω την εντύπωση ότι αυτό που ήθελε να ρωτήσει είναι αν η «πρόταση»
είναι ορθή ή λανθασμένη. (Στην περίπτωση που η είναι η συνάρτηση με τύπο .)
Τίθεται βέβαια το ερώτημα αν είναι όντως πρόταση αυτό που έγραψα ή αν στερείται νοήματος. Θεωρώ ότι είναι όντως πρόταση (προτασιακός τύπος ορθότερα) άσχετο αν το όριο της στο δεν υπάρχει.
Κάποτε οι καμπύλες των γραφικών παραστάσεων ζωντανεύουν, είναι διαφορίσιμες γιατί είναι λείες κι όμορφες, έχουν ακρότατες τιμές γιατί αρνούνται τη μονοτονία, δεν έχουν όριο πραγματικό, αλλά μπορείς και τις φαντάζεσαι στο άπειρο και η ασύμπτωτη ευθεία είναι το καράβι που σε ταξιδεύει πλάι τους.
Re: Ερώτημα Λογικής
Πρόσεχε! Άλλο πράγμα η ασυναρτησία και άλλο πράγμα η πρόταση η οποία μπορεί να χαρακτηριστεί με μοναδικό τρόπο ως αληθής ή ως ψευδής.Αλγεβριστής έγραψε:Με αφορμή τα παραπάνω ας δούμε μία ακόμα ασυναρτησία...
Είναι σωστή η παρακάτω ισοδυναμία;
Έστω συνάρτηση .
Η είναι συνεχής στο αν και μόνο αν η είναι ένα προς ένα και .
Το θεώρησα αστείο.
Edit: Και αυτό: Έστω . Ισχύει ότι ;
Το πρώτο που γράφεις είναι ασυναρτησία ενώ το τελευταίο είναι ψευδής πρόταση με την , επιπλέον, προϋπόθεση ότι περιλαμβάνει και την έκφραση: "τα όρια υπάρχουν"...
Αν και η ερώτηση δεν απευθύνεται σε μένα... τι εννοείς με το "έγκυρη συνεπαγωγή"; Αν είναι πρόταση ή όχι;Christos.N έγραψε:Κύριε Λάμπρου γιατί πραγματικά θέλω να μάθω;
Η τελευταία συνεπαγωγή είναι έγκυρη;
-
- Δημοσιεύσεις: 75
- Εγγραφή: Τετ Αύγ 28, 2013 10:07 am
- Τοποθεσία: Αγρίνιο
Re: Ερώτημα Λογικής
Δεν το καταλαβαίνω πλήρως. Πιστεύω ότι και οι ασυναρτησίες είναι προτάσεις. Ειδικά για αυτήν την πρόταση η ανάποδη συνεπαγωγή μας λέει ότι αν , τότε η είναι συνεχής στο . Αυτό δεν είναι σωστό; Οποιαδήποτε συνεπαγωγή δεν είναι σωστή αφού η υπόθεση είναι λανθασμένη; Αφού στην υπόθεση αποδεχόμαστε έναν μη υπαρκτό κόσμο τα πάντα δεν είναι αλήθεια;abgd έγραψε:Πρόσεχε! Άλλο πράγμα η ασυναρτησία και άλλο πράγμα η πρόταση η οποία μπορεί να χαρακτηριστεί με μοναδικό τρόπο ως αληθής ή ως ψευδής.Αλγεβριστής έγραψε:Με αφορμή τα παραπάνω ας δούμε μία ακόμα ασυναρτησία...
Είναι σωστή η παρακάτω ισοδυναμία;
Έστω συνάρτηση .
Η είναι συνεχής στο αν και μόνο αν η είναι ένα προς ένα και .
Το θεώρησα αστείο.
Edit: Και αυτό: Έστω . Ισχύει ότι ;
Το πρώτο που γράφεις είναι ασυναρτησία ενώ το τελευταίο είναι ψευδής πρόταση με την , επιπλέον, προϋπόθεση ότι περιλαμβάνει και την έκφραση: "τα όρια υπάρχουν"...
Re: Ερώτημα Λογικής
Η έκφραση "0=1" είναι πρόταση και μάλιστα ψευδής.
Η έκφραση "συνάρτηση συνεχής στο -1" δεν είναι πρόταση εφόσον η συνάρτηση δεν ορίζεται στο -1.
Και κάτι ακόμα.
Από ψευδή πρόταση, (υπόθεση), μπορείς να δημιουργήσεις μια αληθή πρόταση, τη συνεπαγωγή, με το συμπέρασμά της να είναι είτε αληθής είτε ψευδής πρόταση. Αυτό όμως δεν σημαίνει τίποτα περισσότερο!
Γεννά όμως μια αρκετά χρήσιμη και απαραίτητη τεχνική στα μαθηματικά: τη μέθοδο της απόδειξης με άτοπο - αναφέρθηκε και παραπάνω.
Παράδειγμα:
Αποδεικνύουμε την αλήθεια της πρότασης: "ο αριθμός είναι άρρητος" ως εξής:
Η πρόταση "αν ο αριθμός είναι ρητός τότε το διαιρεί τους ακεραίους με " είναι αληθής συνεπαγωγή σε δύο περιπτώσεις: Να είναι αληθείς και οι δύο προτάσεις που συνδέουν την συνεπαγωγή ή να είναι ψευδής η υπόθεση της συνεπαγωγής. Η πρώτη περίπτωση απορρίπτεται αφού γνωρίζουμε ότι το συμπέρασμα είναι ψευδές και έτσι ισχύει η δεύτερη περίπτωση:
"ο αριθμός είναι ρητός" είναι ψευδής πρόταση.
Η έκφραση "συνάρτηση συνεχής στο -1" δεν είναι πρόταση εφόσον η συνάρτηση δεν ορίζεται στο -1.
Και κάτι ακόμα.
Από ψευδή πρόταση, (υπόθεση), μπορείς να δημιουργήσεις μια αληθή πρόταση, τη συνεπαγωγή, με το συμπέρασμά της να είναι είτε αληθής είτε ψευδής πρόταση. Αυτό όμως δεν σημαίνει τίποτα περισσότερο!
Γεννά όμως μια αρκετά χρήσιμη και απαραίτητη τεχνική στα μαθηματικά: τη μέθοδο της απόδειξης με άτοπο - αναφέρθηκε και παραπάνω.
Παράδειγμα:
Αποδεικνύουμε την αλήθεια της πρότασης: "ο αριθμός είναι άρρητος" ως εξής:
Η πρόταση "αν ο αριθμός είναι ρητός τότε το διαιρεί τους ακεραίους με " είναι αληθής συνεπαγωγή σε δύο περιπτώσεις: Να είναι αληθείς και οι δύο προτάσεις που συνδέουν την συνεπαγωγή ή να είναι ψευδής η υπόθεση της συνεπαγωγής. Η πρώτη περίπτωση απορρίπτεται αφού γνωρίζουμε ότι το συμπέρασμα είναι ψευδές και έτσι ισχύει η δεύτερη περίπτωση:
"ο αριθμός είναι ρητός" είναι ψευδής πρόταση.
-
- Δημοσιεύσεις: 75
- Εγγραφή: Τετ Αύγ 28, 2013 10:07 am
- Τοποθεσία: Αγρίνιο
Re: Ερώτημα Λογικής
abgd έγραψε: Η έκφραση "συνάρτηση συνεχής στο -1" δεν είναι πρόταση εφόσον η συνάρτηση δεν ορίζεται στο -1.
Edit: Πάντως τώρα που σκέφτομαι τον ορισμό της συνέχειας έχεις δίκιο, γιατί η άρνηση του ορισμού πάλι εμπεριέχει μόνο εκείνα τα τα οποία ανήκουν στο .
- Γιώργος Μήτσιος
- Δημοσιεύσεις: 1789
- Εγγραφή: Κυρ Ιούλ 01, 2012 10:14 am
- Τοποθεσία: Aρτα
Re: Ερώτημα Λογικής
Καλημέρα σε όλους.
Έθεσα το ερώτημά μου στο -που ο ίδιος σκέφτηκα και με προβλημάτισε - επειδή δεν ήμουν
σίγουρος για την ορθή απάντηση. Τώρα νοιώθω τυχερός που συμμετέχω σ΄αυτή την συζήτηση...
Ασφαλώς και συμφωνώ , κ. Μιχάλη ότι όταν τότε η είναι σίγουρα ψευδής πρόταση (ως ισότητα)
αφού το αριστερό μέλος δεν υπάρχει και το δεξιό είναι πραγματικός αριθμός.Νομίζω όμως ότι η σχέση
είναι διαφορετική .( Δημήτρη , μάλλον κάτι κατάφερα με το latex... )
Μπορούμε να πούμε ότι είναι ως ισότητα ψευδής ; Εφόσον και τα δύο μέλη της δεν προσδιορίζονται ...με πείθει , ως ένα βαθμό , η άποψη ότι δεν έχει νόημα ο έλεγχος αν τα δύο μέλη είναι ίσα ή όχι ... Όταν δεν μπορούμε , εξ΄αντικειμένου, να τα συγκρίνουμε θα πούμε πως
η ισότητα είναι ψευδής ..δηλαδή- αν το κατανοώ σωστά- ότι είναι άνισα ;.. Καταθέτω απλά την γνώμη αλλά και τηναπορία
μου...Σας ευχαριστώ όλους για την συνεισφορά σας..
Φιλικά Γιώργος.
Έθεσα το ερώτημά μου στο -που ο ίδιος σκέφτηκα και με προβλημάτισε - επειδή δεν ήμουν
σίγουρος για την ορθή απάντηση. Τώρα νοιώθω τυχερός που συμμετέχω σ΄αυτή την συζήτηση...
Ασφαλώς και συμφωνώ , κ. Μιχάλη ότι όταν τότε η είναι σίγουρα ψευδής πρόταση (ως ισότητα)
αφού το αριστερό μέλος δεν υπάρχει και το δεξιό είναι πραγματικός αριθμός.Νομίζω όμως ότι η σχέση
είναι διαφορετική .( Δημήτρη , μάλλον κάτι κατάφερα με το latex... )
Μπορούμε να πούμε ότι είναι ως ισότητα ψευδής ; Εφόσον και τα δύο μέλη της δεν προσδιορίζονται ...με πείθει , ως ένα βαθμό , η άποψη ότι δεν έχει νόημα ο έλεγχος αν τα δύο μέλη είναι ίσα ή όχι ... Όταν δεν μπορούμε , εξ΄αντικειμένου, να τα συγκρίνουμε θα πούμε πως
η ισότητα είναι ψευδής ..δηλαδή- αν το κατανοώ σωστά- ότι είναι άνισα ;.. Καταθέτω απλά την γνώμη αλλά και τηναπορία
μου...Σας ευχαριστώ όλους για την συνεισφορά σας..
Φιλικά Γιώργος.
Re: Ερώτημα Λογικής
Για να είναι πρόταση η έκφραση α=β θα πρέπει να ορίσουμε επιπλέον τι είναι το α, τι είναι το β και τι το =.Γιώργος Μήτσιος έγραψε:Καλημέρα σε όλους.
Έθεσα το ερώτημά μου στο -που ο ίδιος σκέφτηκα και με προβλημάτισε - επειδή δεν ήμουν
σίγουρος για την ορθή απάντηση. Τώρα νοιώθω τυχερός που συμμετέχω σ΄αυτή την συζήτηση...
Ασφαλώς και συμφωνώ , κ. Μιχάλη ότι όταν τότε η είναι σίγουρα ψευδής πρόταση (ως ισότητα)
αφού το αριστερό μέλος δεν υπάρχει και το δεξιό είναι πραγματικός αριθμός.Νομίζω όμως ότι η σχέση
είναι διαφορετική .( Δημήτρη , μάλλον κάτι κατάφερα με το latex... )
Μπορούμε να πούμε ότι είναι ως ισότητα ψευδής ; Εφόσον και τα δύο μέλη της δεν προσδιορίζονται ...με πείθει , ως ένα βαθμό , η άποψη ότι δεν έχει νόημα ο έλεγχος αν τα δύο μέλη είναι ίσα ή όχι ... Όταν δεν μπορούμε , εξ΄αντικειμένου, να τα συγκρίνουμε θα πούμε πως
η ισότητα είναι ψευδής ..δηλαδή- αν το κατανοώ σωστά- ότι είναι άνισα ;.. Καταθέτω απλά την γνώμη αλλά και την απορία
μου...Σας ευχαριστώ όλους για την συνεισφορά σας..
Φιλικά Γιώργος.
Οι εκφράσεις που αναφέρεις είναι προτάσεις εφόσον περιλαμβάνουν και τον ορισμό του ορίου ως πραγματικό αριθμό.
Ολοκληρωμένη δηλαδή η πρόταση διαβάζεται: "το όριο είναι πραγματικός αριθμός και είναι ίσος με " Είναι μια πρόταση λάθος εφόσον το όριο δεν είναι πραγματικός αριθμός.
Προτασιακός τύπος μεταβλητής
Βροχερή καλησπέρα
Θα ήθελα παρακαλώ πολύ βοήθεια στην παρακάτω άσκηση....
Υπάρχει προτασιακός τύπος μιας μεταβλητής ο οποιος γίνεται αληθής πρόταση για όλες τις τιμές της μεταβλητής του εκτός από δυο?
Υπάρχει προτασιακός τύπος μιας μεταβλητής ο οποιος γίνεται αληθής πρόταση για καμμιά από τις τιμές της μεταβλητής του?
Σύμφωνα με την απάντηση να δώσετε και σχετικό παράδειγμα....
Ευχαριστώ....
Θα ήθελα παρακαλώ πολύ βοήθεια στην παρακάτω άσκηση....
Υπάρχει προτασιακός τύπος μιας μεταβλητής ο οποιος γίνεται αληθής πρόταση για όλες τις τιμές της μεταβλητής του εκτός από δυο?
Υπάρχει προτασιακός τύπος μιας μεταβλητής ο οποιος γίνεται αληθής πρόταση για καμμιά από τις τιμές της μεταβλητής του?
Σύμφωνα με την απάντηση να δώσετε και σχετικό παράδειγμα....
Ευχαριστώ....
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Ερώτημα Λογικής
Η απάντηση είναι «Ναι» και στα δύο. Δοκίμασε τώρα που το γνωρίζεις να δώσεις μόνη σου παραδείγματα. Επίσης καλύτερα να ανοίγουμε καινούργια θέματα μιας και το συγκεκριμένο είναι άσχετο με αυτό που συζητήθηκε σε αυτό το θέμα προ πενταετίας.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 6 επισκέπτες