Πέμπτη, 19 Ιανουαρίου 2012

Προτάσεις και προτασιακοί τύποι

Η παρακάτω δημοσίευση έγινε από τoν 
με αφορμή τις ασκήσεις Σωστού -Λάθους που μπαίνουν 
στα διαγωνίσματα.

Δεν πρέπει να συγχέουμε στα Μαθηματικά τις προτάσεις με τους προτασιακούς τύπους.


• Μια πρόταση ή είναι αληθής ή είναι ψευδής .Μια πρόταση δεν είναι άλλοτε αληθής και άλλοτε ψευδής. Η τιμή αληθείας μιας πρότασης δεν μεταβάλλεται. Έτσι για μια πρόταση δεν έχει νόημα να λέμε «είναι αληθής πάντοτε» ή «είναι ψευδής πάντοτε».


• Ένας προτασιακός τύπος μιας μεταβλητής  xp(x)|{\rm A} για άλλες τιμές του x \in {\rm A} γίνεται μια πρόταση αληθής και για άλλες τιμές του x \in {\rm A} γίνεται μια πρόταση της ψευδής ( όμοια και για έναν προαστιακό τύπο δύο, τριών κλπ μεταβλητών).



• Αν σε ένα προτασιακό τύπο: p(x)|{\rm A} δεσμεύσουμε τη μεταβλητή x με έναν ποσοδείκτη, τότε μετατρέπεται σε πρόταση αληθή ή ψευδή ( όμοια και για έναν προαστιακό τύπο δύο, τριών κλπ μεταβλητών). 

Για παράδειγμα: 


«\forall x \in R,{x^2} > 0» είναι μια πρόταση ψευδής.

«\exists x \in N,{x^5} - 4x + 3 = 0» είναι μια πρόταση αληθής.


«\forall x \in R,\exists y \in R,2x = y» είναι μια πρόταση αληθής.

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


Η πρόταση αυτή μπορεί να είναι ποσοδεικτική ή όχι. 


Αν είναι ποσοδεικτική θα πρέπει φυσικά να αναφέρεται και ο ποσοδείκτης, γιατί διαφορετικά θα πρόκειται για ένα προτασιακό τύπο που δεν έχει μια ορισμένη τιμή αληθείας και επομένως τι θα πρέπει να απαντήσει ο μαθητής; Επειδή όμως τα σύμβολα των ποσοδεικτών δεν είναι γνωστά στους μαθητές,, τους εκφράζουμε με λόγια: « για κάθε», « πάντοτε». « υπάρχει» κτλ. Αν παραλείψουμε την κατάλληλη λέξη , τότε θα δίνουμε έναν προτασιακό τύπο και θα ρωτάμε αν είναι αληθής ή ψευδής!!!!!!! 


Για παράδειγμα:


«\lambda \sqrt 2  = \sqrt {2{\lambda ^2}}\lambda  \in R». Σωστό- Λάθος.
Τι θα πρέπει να απάντησε ο μαθητής, αφού με\lambda  = 3 είναι μια πρόταση αληθής, ενώ με \lambda  =  - 2 είναι μια πρόταση ψευδής. Το σωστό είναι:



«\lambda \sqrt 2  = \sqrt {2{\lambda ^2}}, για κάθε\lambda  \in R». Σωστό- Λάθος. 


Επίσης:
"Υπάρχει \lambda  \in R\lambda \sqrt 2  = \sqrt {2{\lambda ^2}}. Σωστό- Λάθος.

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

Δεν υπάρχουν σχόλια:

Δημοσίευση σχολίου

Related Posts Plugin for WordPress, Blogger... Άδεια Creative Commons
Αυτό το εργασία χορηγείται με άδεια Creative Commons Αναφορά Δημιουργού-Μη Εμπορική Χρήση 4.0 Διεθνές .