HY118- ιακριτά Μαθηµατικά

Transcript

1 HY118- ιακριτά Μαθηµατικά Τρίτη, 16/02/2016 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/16/

2 Προηγούµενη φορά ιαδικαστικά θέµατα ΗΥ118 Εισαγωγή στα ιακριτά Μαθηµατικά Εισαγωγή στο ΗΥ118 Επισκόπηση ερευνητικών ενδιαφερόντων Θυµίζω: Username: cs118 Password: _dm16_ 2/16/

3 Προτασιακός Λογισµός 2/16/

4 Βάσεις της Μαθηµατικής Λογικής Η Μαθηµατική Λογική είναι ένα εργαλείο που µας βοηθά να χειριστούµεσύνθετεςπροτάσεις. Περιλαµβάνει: Μία τυπική γλώσσαγια να τις εκφράζουµε. Μία µεθοδολογίαγια να αποφασίζουµε σχετικά µε το αν είναι αληθείς ή ψευδείς. Αποτελεί το θεµέλιο της έκφρασης τυπικών αποδείξεων σε όλους τους κλάδους των µαθηµατικών! 2/16/

5 Θα µιλήσουµε για δύο συστήµατα λογικής: 1. Προτασιακός λογισµός 2. Κατηγορηµατικός λογισµός (επεκτείνει τον 1. ) Πολλοί άλλοι λογισµοί υπάρχουν, αλλά µοιάζουν µε τους δύο παραπάνω 2/16/

6 Προτασιακός λογισµός ΟΠροτασιακός λογισµόςείναι η λογική των σύνθετων προτάσεων οι οποίες δηµιουργούνται από απλούστερες, χρησιµοποιώντας λογικές πράξεις. Μερικές άµεσες εφαρµογές στους υπολογιστές: Σχεδιασµός ψηφιακών κυκλωµάτων. Έκφραση συνθηκών σε προγράµµατα. Ερωτήσεις σε βάσεις δεδοµένων και µηχανές αναζήτησης. George Boole ( ) Χρύσιππος ( π.Χ.) 2/16/

7 Προτάσεις Μίαπρότασηείναι απλά µίαδήλωσηµε κάποια οριστική σηµασία και η οποία µπορεί να είναι είτεαληθής (T) είτεψευδής (F) εν είναι ποτέκαι τα δύο, ούτεκάπου ανάµεσα Ωστόσο, η τιµή αληθείας της δεν είναι απαραίτητο να µας είναι γνωστή 2/16/

8 Παραδείγµατα προτάσεων Μου αρέσει η rock µουσική Ο γάιδαρος πετάει Εχθές έβρεξε στη Νέα Υόρκη Η Αθήνα είναι η πρωτεύουσα της Ελλάδας, και = 2.7 2x 2 = x 2 + x 2 Αλλά οι ακόλουθες ΕΝ ΕΙΝΑΙ προτάσεις: Ποιός είναι εκεί; (ερωτηµατική) Φέρε µου ένα ποτήρι νερό (προστακτική) x := x+1 (προστακτική) (ένας αριθµητικός όρος) 2/16/

9 Προτάσεις στον προτασιακό λογισµό Ατοµικές: p, q, r, (πχ p = Ονοµάζοµαι Αντώνης Αργυρός ) Σύνθετες: χτίζονται από τις ατοµικές προτάσεις χρησιµοποιώντας λογικούς τελεστές (π.χ., Ονοµάζοµαι Αντώνης Αργυρός ΚΑΙ είµαι σαράντα οκτώ ετών ) 2/16/

10 Προτάσεις στον προτασιακό λογισµό Η λογική προσφέρει ορισµούςγι αυτούς τους τελεστές Εποµένως, καθορίζει το νόηµα των σύνθετων προτάσεων που δηµιουργούνται µε τη χρήση των τελεστών. 2/16/

11 Τελεστές Έναςτελεστήςσυνδυάζει nτο πλήθος εκφράσειςσε µία µεγαλύτερη έκφραση π.χ., + στις αριθµητικές εκφράσεις Οι µοναδιαίοι τελεστές έχουν 1 όρισµα (π.χ., 3) Οι δυαδικοί τελεστές έχουν 2 ορίσµατα (π.χ., 3+4) Οι προτασιακοί τελεστές (Boolean operators) συνδέουν ένα πλήθος λογικών προτάσεων και όχι αριθµητικές εκφράσεις. 2/16/

12 Μερικοί προτασιακοί τελεστές Ονοµα Συντοµ. Τύπος Σύµβολο Άρνηση NOT Μον. Σύζευξη (ΚΑΙ) AND υαδ. ιάζευξη (Ή) OR υαδ. Αποκλειστική διάζευξη XOR υαδ. «αν... τότε...» IMPLIES υαδ. «αν και µόνο αν» IFF υαδ. 2/16/

13 Λογική άρνηση Ο µοναδιαίος τελεστής άρνησης (NOT) µετασχηµατίζει µία πρόταση στην άρνησή της. Π.χ.Εάν p = Είµαι κοντός. τότε p = εν είµαι κοντός. Οπίνακας αληθείαςγια την NOT: p p T F F T T : True; F : False : σηµαίνει ορίζεται ως Όρισµα Αποτέλεσµα 2/16/

14 Λογική σύζευξη Ο δυαδικός τελεστής σύζευξης (AND) Π.χ.Έστω p= Έφαγα µπριζόλα για µεσηµεριανό. q= Έφαγα σαλάτα για βραδυνό Τότε p q= Έφαγα µπριζόλα για µεσηµεριανό και έφαγα σαλάτα για βραδυνό. 2/16/

15 Ορισµός της λογικής σύζευξης µέσω πίνακα αληθείας Στήλες ορισµάτων Αποτέλεσµα p q p q F F F F T F T F F T T T 2/16/

16 Λογική διάζευξη Ο δυαδικός τελεστής διάζευξης (OR). p= Το αυτοκίνητό µου έχει χαλασµένη µηχανή. q= Το αυτοκίνητό µου δεν έχει βενζίνη. p q= Το αυτοκίνητό µου έχει χαλασµένη µηχανή ή το αυτοκίνητό µου δεν έχει βενζίνη. Εννοώντας και/ή στα ελληνικά. 2/16/

17 Πίνακας αλήθειας της διάζευξης Η p qεννοεί ότι η pείναι αληθής, ή η qείναι αληθής ή και τα δύο. Οι τελεστές και µαζί, είναι ικανοί να εκφράσουν κάθε πίνακα αληθείας p q p q F F F F T T T F T T T T ιαφορά µε την AND 2/16/

18 Μερικές βασικές ιδέες: ιαφορετικοί τύποι προτάσεων Συνειδητοποίηση ότι κάποιες προτάσεις έχουν διαφορετική εµφάνιση αλλά εκφράζουν την ίδια πληροφορία 2/16/

19 Ταυτολογίες Μίαταυτολογίαείναι µία σύνθετη πρόταση η οποία είναι αληθήςανεξάρτητα από τις τιµές αληθείας των ατοµικών προτάσεων. Π.χ. p ( p) Ποιός είναι ο πίνακας αληθείας; 2/16/

20 Ταυτολογίες p ( p) p p p ( p) F T T T F T Κάθε γραµµή του πίνακα αληθείας δίνει T. 2/16/

21 Αντιφάσεις Μία αντίφαση είναι µία σύνθετη πρόταση που είναι ψευδήςανεξάρτητα από τις τιµές αληθείας των ατοµικών προτάσεων. Π.χ., p ( p) Ποιός είναι ο πίνακας αληθείας; 2/16/

22 Αντιφάσεις p ( p) p p p ( p) F T F T F F Κάθε γραµµή του πίνακα αληθείας δίνει F 2/16/

23 Τι αποµένει πέραν των ταυτολογιών και των αντιφάσεων Προφανώς, υπάρχουν προτάσεις που δεν είναι ούτε ταυτολογίες ούτε αντιφάσεις...κάποιες γραµµές του πίνακα αληθείας δίνουν T, άλλες δίνουν F 2/16/

24 Λογική ισοδυναµία προτάσεων ύο συντακτικά διαφορετικέςσύνθετες προτάσεις µπορεί να είναι σηµασιολογικά ταυτόσηµες (δηλ., να έχουν το ίδιο νόηµα). Τέτοιες προτάσεις τις ονοµάζουµελογικά ισοδύναµες. 2/16/

25 Λογική ισοδυναµία προτάσεων ύο σύνθετες προτάσεις pκαι qείναιλογικά ισοδύναµες, και το συµβολίζουµε µε p q: Αν και µόνο αν οποιαδήποτε εκχώρηση τιµών στις επιµέρους προτάσεις που απαρτίζουν τις p και q καταλήγει σε ταυτολογία δηλαδή αν και µόνο αν οι p και q έχουν τις ίδιες τιµές αληθείας σε όλες τις γραµµές των πινάκων αληθείας τους 2/16/

26 Απόδειξη ισοδυναµίας µέσω των πινάκων αληθείας Π.χ.: Αποδείξτε ότι 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/

27 Η λογική ως «στενογραφία» της Έστω p = Είµαι έξυπνος, q = Είµαι καλός, r = Είµαι όµορφος p = r p = r p q = φυσικής γλώσσας εν είµαι έξυπνος. Είµαι όµορφος και δεν είµαι έξυπνος. εν είµαι όµορφος, ή είµαι καλός, ή είµαι έξυπνος 2/16/

28 «Φωλιασµένες»λογικές προτάσεις Χρήση παρενθέσεων για την οµαδοποήση υποεκφράσεων: Είµαι έξυπνος και είµαι καλός ή είµαι όµορφος Έίµαι έξυπνος και είµαι καλός ή είµαι όµορφος p q r Η πρόταση p (q r) σηµαίνει: Είµαιέξυπνος,...καιείµαικαλόςήόµορφος Η πρόταση (p q) r σηµαίνει: Είµαιέξυπνοςκαικαλός,...ήείµαιόµορφος Οι παραπάνω δύο προτάσεις έχουν διαφορετικό νόηµα! Εποµένως, η p q r είναι διφορούµενη! 2/16/

29 Συµβάσεις σε σχέση µε την προτεραιότητα των τελεστών Κατά σύµβαση, ο τελεστής έχει προτεραιότητα έναντι των τελεστών και. Η f gσηµαίνει ( f) g, και όχι (f g) Κατά σύµβαση, ο τελεστής έχει προτεραιότητα έναντι του τελεστή. Η f g h σηµαίνει (f g) h, και όχι f (g h) Όπου χρειάζεται να επιβάλουµε την προτεραιότητα που επιθυµούµε, το κάνουµε χρησιµοποιώντας παρενθέσεις 2/16/

30 Ερώτηµα Μπορούµε να γράψουµε p 1 p 2 p 3 χωρίς ασάφεια; 2/16/

31 Απάντηση Εάν οι προτάσεις (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/

32 Μπορούµε να γράψουµε 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/

33 Ερώτηµα Ισχύει ότι (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/

34 Ερώτηµα 1. Θεωρείστε τη σύζευξη p 1 p 2 p n, nτο πλήθος προτάσεων. Πόσες γραµµές έχει ο πίνακας αληθείας της; 2x2x2x x2 (nπαράγοντες) Εποµένως,το πλήθος των γραµµών του πίνακα αληθείας είναι 2 n όπου nτο πλήθος των προτάσεων 2/16/

35 Ας εισάγουµε κάποιους ακόµα τελεστές Αποκλειστική διάζευξη (XOR, σύµβολο ) «εάν... τότε» (IMPLIES, σύµβολο ) «αν και µόνο αν» (IFF, σύµβολο ) 2/16/

36 Η αποκλειστική διάζευξη υαδικός τελεστής αποκλειστικής διάζευξης (XOR). p = Θα πάρω 10 σε αυτό το µάθηµα q = Θα παρατήσω αυτό το µάθηµα p q = Ή θα πάρω 10 σε αυτό το µάθηµα ή θα παρατήσω αυτό το µάθηµα (...αλλά όχι και τα δύο!) 2/16/

37 Πίνακας αληθείας αποκλειστικής διάζευξης Η 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/

38 Η φυσική γλώσσα είναι διφορούµενη... Το Ελληνικό ή µπορεί να είναι διφορούµενο p q F F F T T F p "ή" q Χρειαζόµαστε τα συµφραζόµενα για γνωρίζουµε εάν προκειται για την OR ή την XOR! 2/16/ F T T T T?

39 Η φυσική γλώσσα είναι διφορούµενη... Χρειαζόµαστε τα συµφραζόµενα για γνωρίζουµε εάν σε µία πρόταση το ακριβές νόηµα αποδίδεται από την OR ή την XOR! p = Μου αρέσουν τα θρίλερ q = Μου αρέσει η επιστηµονική φαντασία r= Μου αρέσουν τα θρίλερ ή η επιστηµονική φαντασία r p q...ή... r p q; 2/16/

40 Έλεγχος της κατανόησης των δύο διαζεύξεων 1. Ας υποθέσουµε ότι η p q είναι αληθής. Προκύπτει από αυτό ότι και η p qείναι αληθής; OXI: δέστε τι συµβαίνει για p=t, q=t 2/16/

41 Έλεγχος της κατανόησης των δύο διαζεύξεων 2. Ας υποθέσουµε ότι η p q είναι αληθής. Προκύπτει από αυτό ότι και η p q είναι αληθής; ΝΑΙ: Ελέγξτε τις δύο περιπτώσεις που κάνουν την p qαληθή: a) p=t, q=f (η p q είναι Τ) b) p=f, q=t (η p q είναι Τ) 2/16/

42 Ο τελεστής «εάν...τότε» υπόθεση συµπέρασµα Η πρόταση p q σηµαίνει εάν pτότε q. Π.χ.,.έστω p = Μελετώ πολύ q = Θα πάρω καλό βαθµό. p q = Εάν µελετώ πολύ, τότεθα πάρω καλό βαθµό. 2/16/

43 Πίνακας αληθείας «εάν...τότε» Η 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/

44 «εάν...τότε» µεταξύ προτάσεων Εάναυτό το µάθηµα είναι το ΗΥ118, τότεο ήλιος ανέτειλε σήµερα το πρωί. True ή False; Εάνη Παρασκευή είναι µέρα της εβδοµάδας, τότεείµαι πιγκουίνος. True or False ; Εάν 1+1=6, τότεδιδάσκω ιακριτά Μαθηµατικά. True or False ; Εάντο φεγγάρι είναι από τυρί, τότεείµαι πλουσιότερος από τον Bill Gates. True or False ; 2/16/

45 Γιατί αυτά µοιάζουν «λάθος»; Θυµηθείτε Εάν [µελετώ πολύ] τότε [θα πάρω καλό βαθµό] Στην καθοµιλουµένη, υπάρχει µία σχέση αιτίας αποτελέσµατος µεταξύ των δύο προτάσεων. Ο τελεστής όµως, δεν δηλώνει τέτοιου είδους σχέση! 2/16/

46 Πίνακας αληθείας «εάν...τότε» Ας υποθεσουµε ότι η q είναι T. Τί ξέρουµε για την αλήθεια της p q ; Είναι αληθής! p q p q F F T F T T T F F T T T 2/16/

47 Πίνακας αληθείας «εάν...τότε» Ας υποθεσουµε ότι η p είναι F. Τι ξέρουµε για την αλήθεια της p q; Είναι αληθής! p q p q F F T F T T T F F T T T 2/16/

48 «εάν...τότε» Αποδείξτε ότι (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/

49 Θυµηθείτε Προηγουµένως είδαµε ότι αν η p qείναι αληθής τότε προκύπτει ότι και η p qείναι αληθής. Αυτό µπορούµε να το γράψουµε αυτό ως: p q p q Η παραπάνω πρόταση είναι ταυτολογία: ο,τιτιµές αληθείας και να έχουν οι p,q, η σύνθετη πρόταση είναι αληθής 2/16/

50 Ελληνικές εκφράσεις που δηλώνουν 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/