HY118- ιακριτά Μαθηµατικά Τρίτη, 16/02/2016 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen 2/16/2016 1 1
Προηγούµενη φορά ιαδικαστικά θέµατα ΗΥ118 Εισαγωγή στα ιακριτά Μαθηµατικά Εισαγωγή στο ΗΥ118 Επισκόπηση ερευνητικών ενδιαφερόντων Θυµίζω: http://users.ics.forth.gr/~argyros/cs118.html http://users.ics.forth.gr/~argyros/cs118diary.html Username: cs118 Password: _dm16_ 2/16/2016 2 2
Προτασιακός Λογισµός 2/16/2016 3 3
Βάσεις της Μαθηµατικής Λογικής Η Μαθηµατική Λογική είναι ένα εργαλείο που µας βοηθά να χειριστούµεσύνθετεςπροτάσεις. Περιλαµβάνει: Μία τυπική γλώσσαγια να τις εκφράζουµε. Μία µεθοδολογίαγια να αποφασίζουµε σχετικά µε το αν είναι αληθείς ή ψευδείς. Αποτελεί το θεµέλιο της έκφρασης τυπικών αποδείξεων σε όλους τους κλάδους των µαθηµατικών! 2/16/2016 4 4
Θα µιλήσουµε για δύο συστήµατα λογικής: 1. Προτασιακός λογισµός 2. Κατηγορηµατικός λογισµός (επεκτείνει τον 1. ) Πολλοί άλλοι λογισµοί υπάρχουν, αλλά µοιάζουν µε τους δύο παραπάνω 2/16/2016 5 5
Προτασιακός λογισµός ΟΠροτασιακός λογισµόςείναι η λογική των σύνθετων προτάσεων οι οποίες δηµιουργούνται από απλούστερες, χρησιµοποιώντας λογικές πράξεις. Μερικές άµεσες εφαρµογές στους υπολογιστές: Σχεδιασµός ψηφιακών κυκλωµάτων. Έκφραση συνθηκών σε προγράµµατα. Ερωτήσεις σε βάσεις δεδοµένων και µηχανές αναζήτησης. George Boole (1815-1864) Χρύσιππος (280 206π.Χ.) 2/16/2016 6 6
Προτάσεις Μίαπρότασηείναι απλά µίαδήλωσηµε κάποια οριστική σηµασία και η οποία µπορεί να είναι είτεαληθής (T) είτεψευδής (F) εν είναι ποτέκαι τα δύο, ούτεκάπου ανάµεσα Ωστόσο, η τιµή αληθείας της δεν είναι απαραίτητο να µας είναι γνωστή 2/16/2016 7 7
Παραδείγµατα προτάσεων Μου αρέσει η rock µουσική Ο γάιδαρος πετάει Εχθές έβρεξε στη Νέα Υόρκη Η Αθήνα είναι η πρωτεύουσα της Ελλάδας, και 1 + 4 = 2.7 2x 2 = x 2 + x 2 Αλλά οι ακόλουθες ΕΝ ΕΙΝΑΙ προτάσεις: Ποιός είναι εκεί; (ερωτηµατική) Φέρε µου ένα ποτήρι νερό (προστακτική) x := x+1 (προστακτική) 1 + 2 (ένας αριθµητικός όρος) 2/16/2016 8 8
Προτάσεις στον προτασιακό λογισµό Ατοµικές: p, q, r, (πχ p = Ονοµάζοµαι Αντώνης Αργυρός ) Σύνθετες: χτίζονται από τις ατοµικές προτάσεις χρησιµοποιώντας λογικούς τελεστές (π.χ., Ονοµάζοµαι Αντώνης Αργυρός ΚΑΙ είµαι σαράντα οκτώ ετών ) 2/16/2016 9 9
Προτάσεις στον προτασιακό λογισµό Η λογική προσφέρει ορισµούςγι αυτούς τους τελεστές Εποµένως, καθορίζει το νόηµα των σύνθετων προτάσεων που δηµιουργούνται µε τη χρήση των τελεστών. 2/16/2016 10 10
Τελεστές Έναςτελεστήςσυνδυάζει nτο πλήθος εκφράσειςσε µία µεγαλύτερη έκφραση π.χ., + στις αριθµητικές εκφράσεις Οι µοναδιαίοι τελεστές έχουν 1 όρισµα (π.χ., 3) Οι δυαδικοί τελεστές έχουν 2 ορίσµατα (π.χ., 3+4) Οι προτασιακοί τελεστές (Boolean operators) συνδέουν ένα πλήθος λογικών προτάσεων και όχι αριθµητικές εκφράσεις. 2/16/2016 11 11
Μερικοί προτασιακοί τελεστές Ονοµα Συντοµ. Τύπος Σύµβολο Άρνηση NOT Μον. Σύζευξη (ΚΑΙ) AND υαδ. ιάζευξη (Ή) OR υαδ. Αποκλειστική διάζευξη XOR υαδ. «αν... τότε...» IMPLIES υαδ. «αν και µόνο αν» IFF υαδ. 2/16/2016 12 12
Λογική άρνηση Ο µοναδιαίος τελεστής άρνησης (NOT) µετασχηµατίζει µία πρόταση στην άρνησή της. Π.χ.Εάν p = Είµαι κοντός. τότε p = εν είµαι κοντός. Οπίνακας αληθείαςγια την NOT: p p T F F T T : True; F : False : σηµαίνει ορίζεται ως Όρισµα Αποτέλεσµα 2/16/2016 13 13
Λογική σύζευξη Ο δυαδικός τελεστής σύζευξης (AND) Π.χ.Έστω p= Έφαγα µπριζόλα για µεσηµεριανό. q= Έφαγα σαλάτα για βραδυνό Τότε p q= Έφαγα µπριζόλα για µεσηµεριανό και έφαγα σαλάτα για βραδυνό. 2/16/2016 14 14
Ορισµός της λογικής σύζευξης µέσω πίνακα αληθείας Στήλες ορισµάτων Αποτέλεσµα p q p q F F F F T F T F F T T T 2/16/2016 15 15
Λογική διάζευξη Ο δυαδικός τελεστής διάζευξης (OR). p= Το αυτοκίνητό µου έχει χαλασµένη µηχανή. q= Το αυτοκίνητό µου δεν έχει βενζίνη. p q= Το αυτοκίνητό µου έχει χαλασµένη µηχανή ή το αυτοκίνητό µου δεν έχει βενζίνη. Εννοώντας και/ή στα ελληνικά. 2/16/2016 16 16
Πίνακας αλήθειας της διάζευξης Η p qεννοεί ότι η pείναι αληθής, ή η qείναι αληθής ή και τα δύο. Οι τελεστές και µαζί, είναι ικανοί να εκφράσουν κάθε πίνακα αληθείας p q p q F F F F T T T F T T T T ιαφορά µε την AND 2/16/2016 17 17
Μερικές βασικές ιδέες: ιαφορετικοί τύποι προτάσεων Συνειδητοποίηση ότι κάποιες προτάσεις έχουν διαφορετική εµφάνιση αλλά εκφράζουν την ίδια πληροφορία 2/16/2016 18 18
Ταυτολογίες Μίαταυτολογίαείναι µία σύνθετη πρόταση η οποία είναι αληθήςανεξάρτητα από τις τιµές αληθείας των ατοµικών προτάσεων. Π.χ. p ( p) Ποιός είναι ο πίνακας αληθείας; 2/16/2016 19 19
Ταυτολογίες p ( p) p p p ( p) F T T T F T Κάθε γραµµή του πίνακα αληθείας δίνει T. 2/16/2016 20 20
Αντιφάσεις Μία αντίφαση είναι µία σύνθετη πρόταση που είναι ψευδήςανεξάρτητα από τις τιµές αληθείας των ατοµικών προτάσεων. Π.χ., p ( p) Ποιός είναι ο πίνακας αληθείας; 2/16/2016 21 21
Αντιφάσεις p ( p) p p p ( p) F T F T F F Κάθε γραµµή του πίνακα αληθείας δίνει F 2/16/2016 22 22
Τι αποµένει πέραν των ταυτολογιών και των αντιφάσεων Προφανώς, υπάρχουν προτάσεις που δεν είναι ούτε ταυτολογίες ούτε αντιφάσεις...κάποιες γραµµές του πίνακα αληθείας δίνουν T, άλλες δίνουν F 2/16/2016 23 23
Λογική ισοδυναµία προτάσεων ύο συντακτικά διαφορετικέςσύνθετες προτάσεις µπορεί να είναι σηµασιολογικά ταυτόσηµες (δηλ., να έχουν το ίδιο νόηµα). Τέτοιες προτάσεις τις ονοµάζουµελογικά ισοδύναµες. 2/16/2016 24 24
Λογική ισοδυναµία προτάσεων ύο σύνθετες προτάσεις pκαι qείναιλογικά ισοδύναµες, και το συµβολίζουµε µε p q: Αν και µόνο αν οποιαδήποτε εκχώρηση τιµών στις επιµέρους προτάσεις που απαρτίζουν τις p και q καταλήγει σε ταυτολογία δηλαδή αν και µόνο αν οι p και q έχουν τις ίδιες τιµές αληθείας σε όλες τις γραµµές των πινάκων αληθείας τους 2/16/2016 25 25
Απόδειξη ισοδυναµίας µέσω των πινάκων αληθείας Π.χ.: Αποδείξτε ότι p q ( p q). p q p q p q p q ( p q) F F F T T T F F T T T F F T T F T F T F T T T T F F F T 2/16/2016 26 26
Η λογική ως «στενογραφία» της Έστω p = Είµαι έξυπνος, q = Είµαι καλός, r = Είµαι όµορφος p = r p = r p q = φυσικής γλώσσας εν είµαι έξυπνος. Είµαι όµορφος και δεν είµαι έξυπνος. εν είµαι όµορφος, ή είµαι καλός, ή είµαι έξυπνος 2/16/2016 27 27
«Φωλιασµένες»λογικές προτάσεις Χρήση παρενθέσεων για την οµαδοποήση υποεκφράσεων: Είµαι έξυπνος και είµαι καλός ή είµαι όµορφος Έίµαι έξυπνος και είµαι καλός ή είµαι όµορφος p q r Η πρόταση p (q r) σηµαίνει: Είµαιέξυπνος,...καιείµαικαλόςήόµορφος Η πρόταση (p q) r σηµαίνει: Είµαιέξυπνοςκαικαλός,...ήείµαιόµορφος Οι παραπάνω δύο προτάσεις έχουν διαφορετικό νόηµα! Εποµένως, η p q r είναι διφορούµενη! 2/16/2016 28 28
Συµβάσεις σε σχέση µε την προτεραιότητα των τελεστών Κατά σύµβαση, ο τελεστής έχει προτεραιότητα έναντι των τελεστών και. Η f gσηµαίνει ( f) g, και όχι (f g) Κατά σύµβαση, ο τελεστής έχει προτεραιότητα έναντι του τελεστή. Η f g h σηµαίνει (f g) h, και όχι f (g h) Όπου χρειάζεται να επιβάλουµε την προτεραιότητα που επιθυµούµε, το κάνουµε χρησιµοποιώντας παρενθέσεις 2/16/2016 29 29
Ερώτηµα Μπορούµε να γράψουµε p 1 p 2 p 3 χωρίς ασάφεια; 2/16/2016 30 30
Απάντηση Εάν οι προτάσεις (p 1 p 2 ) p 3 και p 1 (p 2 p 3 )είναι ισοδύναµες, τότε ναι! Πρέπει δηλαδή να δούµε κατά πόσον ισχύει (p 1 p 2 ) p 3 p 1 (p 2 p 3 ) Πως µπορούµε να το αποδείξουµε αυτό; 2/16/2016 31 31
Μπορούµε να γράψουµε p 1 p 2 p 3 χωρίς ασάφεια;;; p 1 p 2 p 3 (p 1 p 2 ) (p 1 p 2 ) p 3 (p 2 p 3 ) p 1 (p 2 p 3 ) F F F F F F F F F T F F F F F T F F F F F F T T F F T F T F F F F F F T F T F F F F T T F T F F F T T T T T T T 2/16/2016 32 32
Ερώτηµα Ισχύει ότι (p 1 p 2 ) p 3 = p 1 ( p 2 p 3 ); Η ΠΑΡΑΠΑΝΩ ΕΚΦΡΑΣΗ ΕΝ ΕΧΕΙ ΝΟΗΜΑ (δεν έχουµε ορίσει την ισότητα προτάσεων µόνο τη λογική ισοδυναµία! ) Αυτό που όντως ισχύει είναι ότι (p 1 p 2 ) p 3 p 1 ( p 2 p 3 ) 2/16/2016 33 33
Ερώτηµα 1. Θεωρείστε τη σύζευξη p 1 p 2 p n, nτο πλήθος προτάσεων. Πόσες γραµµές έχει ο πίνακας αληθείας της; 2x2x2x x2 (nπαράγοντες) Εποµένως,το πλήθος των γραµµών του πίνακα αληθείας είναι 2 n όπου nτο πλήθος των προτάσεων 2/16/2016 34 34
Ας εισάγουµε κάποιους ακόµα τελεστές Αποκλειστική διάζευξη (XOR, σύµβολο ) «εάν... τότε» (IMPLIES, σύµβολο ) «αν και µόνο αν» (IFF, σύµβολο ) 2/16/2016 35 35
Η αποκλειστική διάζευξη υαδικός τελεστής αποκλειστικής διάζευξης (XOR). p = Θα πάρω 10 σε αυτό το µάθηµα q = Θα παρατήσω αυτό το µάθηµα p q = Ή θα πάρω 10 σε αυτό το µάθηµα ή θα παρατήσω αυτό το µάθηµα (...αλλά όχι και τα δύο!) 2/16/2016 36 36
Πίνακας αληθείας αποκλειστικής διάζευξης Η p qείναι αληθής όποτε µόνο µία από τις p, qείναι αληθής, αλλά όχι και οι δύο! Αποκλειστική διάζευξη, επειδή αποκλείειτο ενδεχόµενο και το pκαιτο qνα είναι αληθή. Οι τελεστές και µαζί, ΕΝ είναι ικανοί να εκφράσουν κάθε πίνακα αληθείας p q p q F F F F T T T F T T T F ιαφορά από τον OR. 2/16/2016 37 37
Η φυσική γλώσσα είναι διφορούµενη... Το Ελληνικό ή µπορεί να είναι διφορούµενο p q F F F T T F p "ή" q Χρειαζόµαστε τα συµφραζόµενα για γνωρίζουµε εάν προκειται για την OR ή την XOR! 2/16/2016 38 38 F T T T T?
Η φυσική γλώσσα είναι διφορούµενη... Χρειαζόµαστε τα συµφραζόµενα για γνωρίζουµε εάν σε µία πρόταση το ακριβές νόηµα αποδίδεται από την OR ή την XOR! p = Μου αρέσουν τα θρίλερ q = Μου αρέσει η επιστηµονική φαντασία r= Μου αρέσουν τα θρίλερ ή η επιστηµονική φαντασία r p q...ή... r p q; 2/16/2016 39 39
Έλεγχος της κατανόησης των δύο διαζεύξεων 1. Ας υποθέσουµε ότι η p q είναι αληθής. Προκύπτει από αυτό ότι και η p qείναι αληθής; OXI: δέστε τι συµβαίνει για p=t, q=t 2/16/2016 40 40
Έλεγχος της κατανόησης των δύο διαζεύξεων 2. Ας υποθέσουµε ότι η p q είναι αληθής. Προκύπτει από αυτό ότι και η p q είναι αληθής; ΝΑΙ: Ελέγξτε τις δύο περιπτώσεις που κάνουν την p qαληθή: a) p=t, q=f (η p q είναι Τ) b) p=f, q=t (η p q είναι Τ) 2/16/2016 41 41
Ο τελεστής «εάν...τότε» υπόθεση συµπέρασµα Η πρόταση p q σηµαίνει εάν pτότε q. Π.χ.,.έστω p = Μελετώ πολύ q = Θα πάρω καλό βαθµό. p q = Εάν µελετώ πολύ, τότεθα πάρω καλό βαθµό. 2/16/2016 42 42
Πίνακας αληθείας «εάν...τότε» Η p q είναι ψευδήςµόνοόταν p -αληθήςαλλά q ψευδής µε άλλα λόγια η p q είναι ψευδήςµόνοόταν µία αληθής υπόθεση οδηγεί σε ένα ψευδές συµπέρασµα Η p q δεν λέειότι η pείναι η αιτίατης q! Η p q δεν απαιτείηpή η qνα είναι αληθής! Π.χ.: Η πρόταση (1=0) ο γάιδαρος πετάει είναι αληθής! p q p q F F T F T T T F F T T T Το µόνο False 2/16/2016 43 43
«εάν...τότε» µεταξύ προτάσεων Εάναυτό το µάθηµα είναι το ΗΥ118, τότεο ήλιος ανέτειλε σήµερα το πρωί. True ή False; Εάνη Παρασκευή είναι µέρα της εβδοµάδας, τότεείµαι πιγκουίνος. True or False ; Εάν 1+1=6, τότεδιδάσκω ιακριτά Μαθηµατικά. True or False ; Εάντο φεγγάρι είναι από τυρί, τότεείµαι πλουσιότερος από τον Bill Gates. True or False ; 2/16/2016 44 44
Γιατί αυτά µοιάζουν «λάθος»; Θυµηθείτε Εάν [µελετώ πολύ] τότε [θα πάρω καλό βαθµό] Στην καθοµιλουµένη, υπάρχει µία σχέση αιτίας αποτελέσµατος µεταξύ των δύο προτάσεων. Ο τελεστής όµως, δεν δηλώνει τέτοιου είδους σχέση! 2/16/2016 45 45
Πίνακας αληθείας «εάν...τότε» Ας υποθεσουµε ότι η q είναι T. Τί ξέρουµε για την αλήθεια της p q ; Είναι αληθής! p q p q F F T F T T T F F T T T 2/16/2016 46 46
Πίνακας αληθείας «εάν...τότε» Ας υποθεσουµε ότι η p είναι F. Τι ξέρουµε για την αλήθεια της p q; Είναι αληθής! p q p q F F T F T T T F F T T T 2/16/2016 47 47
«εάν...τότε» Αποδείξτε ότι (p q) ( p q) p q p q p p q F F T T T F T T T T T F F F F T T T F T 2/16/2016 48 48
Θυµηθείτε Προηγουµένως είδαµε ότι αν η p qείναι αληθής τότε προκύπτει ότι και η p qείναι αληθής. Αυτό µπορούµε να το γράψουµε αυτό ως: p q p q Η παραπάνω πρόταση είναι ταυτολογία: ο,τιτιµές αληθείας και να έχουν οι p,q, η σύνθετη πρόταση είναι αληθής 2/16/2016 49 49
Ελληνικές εκφράσεις που δηλώνουν p q Εάν pτότε q Η p συνεπάγεται την q Εάν p, q Όποτε p, q Οποτεδήποτε p, q qεάν p q οποτεδήποτε p q προκύπτει από p H pαρκεί για να ισχύει η q Μια αναγκαία συνθήκη για την pείναι η q Η q είναι αναγκαία για την p Μια επαρκής συνθήκη για την qείναι η p 2/16/2016 50 50