Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 15/2/2019. Άσκηση Φ1.1 (*) Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις.

Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 15/2/2019 Άσκηση Φ1.1 (*) Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις. ( p ( p q)) ( q r) ( p ( q r)) (( p q) r) ( p r) ( q r) (a) p q r p q p ( p q) q r ( q r) ( p ( p q)) ( q r) F F F T T F T T F F T T T F T T F T F T T T F F F T T T T F T T T F F F T F T T T F T F T F T T T T F T T T F F T T T T T F T T (b) q r p ( q r) p q ( p q) r (b) F F F T T F T T F F T T T F T T F T F F T T F F F T T T T T T T T F F T T T F F T F T T T T T T T T F F F T F T T T T T T T T T p p q r (c) q r q r p r ( p r) ( q r ) F F F T T F F F T T T F F T F F T T F T T T T F T F F T F T T F T T T F T T F F F F T T T T T F

Άσκηση Φ1.2 Έστω p, q και r, ατομικές προτάσεις. Αποδείξτε ότι οι προτάσεις p (q r) και (p q) (p r) είναι λογικά ισοδύναμες. Ισχύει η παρακάτω ισοδυναμία; p (q r) (p q) (p r) Δύο προτάσεις είναι λογικά ισοδύναμες εάν και μόνο εάν έχουν τις ίδιες τιμές αληθείας σε όλες τις γραμμές των πινάκων αληθείας τους. Πίνακες αληθείας : p q r q r p ( q r) F F F F F F F T F F F T F F F F T T T T T F F F T T F T F T T T F F T T T T T T p q r p q p r ( p q ) ( p r ) F F F F F F F F T F T F F T F T F F F T T T T T T F F T T T T F T T T T T T F T T T T T T T T T Οι ζητούμενες προτάσεις έχουν τον ίδιο πίνακα αληθείας, άρα είναι λογικά ισοδύναμες. Όπως, και στο προηγούμενο ερώτημα, έχουμε: p q r q r p (q r) F F F F F F F T T T F T F T T F T T T T T F F F T T F T T F T T F T F T T T T F

p q r p q p r (p q) (p r) F F F F F F F F T F T T F T F T F T F T T T T T T F F T T T T F T T F T T T F F T T T T T F F F Παρατηρούμε ότι οι πίνακες αληθείας δεν είναι ίδιοι, επομένως οι δύο λογικές προτάσεις δεν είναι ισοδύναμες. Άσκηση Φ1.3 Έστω p και q, ατομικές προτάσεις. Αποδείξτε με πίνακες αληθείας ότι η πρόταση (p q) (p q) αποτελεί αντίφαση Αποδείξτε με χρήση ισοδυναμιών ότι η πρόταση (p q) (p q) αποτελεί ταυτολογία Αποδείξτε με χρήση ισοδυναμιών ότι η πρόταση (p q) (p q) αποτελεί ταυτολογία (1) Μια πρόταση αποτελεί αντίφαση όταν κάθε γραμμή του πίνακα αληθείας δίνει F. Πίνακας αληθείας : P q p q p q ( p q) ( p q) ( p q) F F F F T F F T F T F F T F F T F F T T T T F F Επομένως η πρόταση αποτελεί αντίφαση. (2) ( p q) ( p q) [ ή] ( p q) ( p q) [... ό ] ( p q) ( p q)

(3) ( p q) ( p q) [... ό ] ( p q) ( p q) [ de Morgan] ( p q) ( p q) [ ή] p ( q ( p q)) [ ή] p ( p ( q q)) [ ί ] p ( p T ) [ ό ί ] p [ ό ί ] T Άσκηση Φ1.4 Αποδείξτε το νόμο του συλλογισμού : Αν p q και q r, τότε p r Αρκεί να αποδείξω ότι η πρόταση ((p q) ( q r)) (p r) είναι ταυτολογία p q r p q q r (p q) (q r) p r ((p q) (q r)) (p r) T T T T T T T T T T F T F F F T T F T F T F T T F T T T T T T T T F F F T F F T F T F T F F T T F F T T T T T T F F F T T T T T Άσκηση Φ1.5 Αγνοώντας όλες τις ενδεχόμενες συμβάσεις για την προτεραιότητα τελεστών, απαριθμείστε όλες τις ερμηνείες που θα μπορούσε να έχει η έκφραση p q r. Είναι μεταξύ τους ισοδύναμες; Οι πιθανές ερμηνείες που έχει η έκφραση p q r είναι οι ακόλουθες: p (q r) ( p q) r (p (q r)) ((p q) r) (p q) r

p q r p q r p (q r) F F F T F F F F T T T T F T F T T T F T T T T T T F F F F T T F T F T T T T F F T T T T T F T T p q r p p q ( p q) r F F F T F F F F T T F T F T F T T T F T T T T T T F F F T T T F T F T T T T F F T T T T T F T T p q r q r p (q r) (p (q r)) F F F F T F F F T T T F F T F T T F F T T T T F T F F F F T T F T T T F T T F T T F T T T T T F

p q r p q (p q) r ((p q) r) F F F T T F F F T T T F F T F T T F F T T T T F T F F F F T T F T F T F T T F T T F T T T T T F p q r p q (p q) (p q) r F F F T F F F F T T F T F T F T F F F T T T F T T F F F T T T F T F T T T T F T F F T T T T F T Ισοδυναμία παρατηρείται μεταξύ των προτάσεων p (q r) και ( p q) r. Επίσης ισοδύναμες είναι και οι προτάσεις (p (q r)) και ((p q) r). Η πέμπτη πρόταση δεν είναι ισοδύναμη με καμία από τις παραπάνω. Άσκηση Φ1.6 (*) Ποιές από τις παρακάτω προτάσεις αποτελούν αντίφαση και ποιές ταυτολογία; a) ( p q) ( p ( p q)) b) ( p q) ( p q) c) (( p q) ( q r)) q d) ( p q) ( p q) Μπορεί κανείς να χρησιμοποιήσει πίνακες αληθείας. Ωστόσο, μπορεί να καταλήξει στο ζητούμενο χρησιμοποιώντας ισοδυναμίες: (a) ( p q) ( p ( p q)) ( p q) (( p p) ( p q)) ( p q) ( T ( p q)) ( p q) ( p q) ( p q) ( p q) T Άρα είναι ταυτολογία

(b) ( p q) ( p q) ( p q) ( p q) F Άρα είναι αντίφαση (c) (( p q) ( q r))) q p q q r q ( q " q) ( p q r) F ( p q r) F Άρα είναι αντίφαση (d) ( p q) ( p q) ( p q) ( p q) T Άρα είναι ταυτολογία Άσκηση Φ1.7 (*) (α) Χρησιμοποιώντας ισοδυναμίες, δείξτε ότι η πρόταση ( a c) ( b c) ( c a) είναι ισοδύναμη με την πρόταση ( b c) a. (β) Χρησιμοποιώντας πίνακες αληθείας, δείξτε ότι η πρόταση ( a c) ( b c) ( c a) δεν είναι ισοδύναμη με την ( a c) ( b c). (α) ( a c) ( b c) ( c a) [ ά... ό ] ( a c) ( b c) ( c a) [ ή] ( a c) ( c a) ( b c) [ ή] ( a c) ( a c) ( b c) [ ή] ( a ( c c)) ( b c) [ ί ] ( a F) ( b c) [ έ ί ] a ( b c) (β) α b c a c b c c a ( a c) ( b c) ( a c) ( b c) ( c a) F F F F T T F F F F T T T F T F F T F F F T F F F T T T T F T F T F F T T T T T T F T T T T T T T T F T F T F F T T T T T T T T

Από τον πίνακα αληθείας παρατηρούμε ότι οι δύο στήλες δεν είναι ίδιες άρα ΔΕΝ ισχύει. Άσκηση Φ1.8 Χρησιμοποιώντας ισοδυναμίες, απλοποιείστε την πρόταση (( a b) c) b (γράψτε την χρησιμοποιώντας λιγότερους τελεστές). (( a b) c) b [ ά... ό ] (( a b) c) b [ ή] ( b ( a b)) ( b c) [ ή] (( b a) ( b b)) ( b c) [ ί ] (( b a) F) ( b c) [ έ ί ] ( b a) ( b c) [ ή] b ( a c) Άσκηση Φ1.9 (*) Χρησιμοποιείστε λογικές ισοδυναμίες για να αποδείξετε ότι η πρόταση ((p q) q) p είναι ταυτολογία. Άσκηση Φ1.10 ((p q) q) p [αν τότε] (( p q) q) p [επιμεριστική] (( p q) (q q)) p [αντίφαση] (( p q) F) p [ουδέτερο στοιχείο] ( p q) p [DeMorgan] ( (p q)) p [αν τότε] ( (p q)) p [διπλή άρνηση] (p q) p [προσεταιριστική] (p p) q [ταυτολογία] T q [απορροφητικό] T Χρησιμοποιώντας ισοδυναμίες, αποδείξτε τις παρακάτω προτάσεις: (p q) p p q p (q r) (p q) (p r)

(1) ( p q) p [ ή] p ( p q) [ ή] ( p p) ( p q) [ ί ] ( p q) [ έ ί ] ( p q) [... ό ] p q (2) ( p q) ( p r) [... ό ] ( p q) ( p r) [ ή] p ( q r) [... ό ] p ( q r) Άσκηση Φ1.11 Για κάθε μία από τις παρακάτω προτάσεις, βρέστε (αν υπάρχει) μία τιμή των επιμέρους ατομικών προτάσεων που τις κάνουν ψευδείς. 1. ( a b) a 2. ( b ( a c)) ( a b) (1) a b b a b ( a b) a F F T T T F T F T T T F T T T T T F F T ΔΕΝ υπάρχει καμία τιμή των επιμέρους ατομικών προτάσεων που τις κάνουν ψευδείς (2) a b c b a c b ( a c) a b ( b ( a c)) ( a b)

F F F T T T F T F F T T T T F T F T F F T T F T F T T F T T F T T F F T F F F F T F T T T T F T T T F F F T T T T T T F T T T T Είναι False για : a=t, b=f, c=f Άσκηση Φ1.12 Έστω οι προτάσεις p= O Γιάννης είναι υγιής και q= O Γιάννης είναι πλούσιος και r= Ο Γιάννης είναι σοφός. Γράψτε τις παρακάτω προτάσεις σε προτασιακό λογισμό: Ο Γιάννης δεν είναι πλούσιος αλλά είναι υγιής και σοφός Ο Γιάννης δεν είναι ούτε υγιής, ούτε πλούσιος ούτε σοφός Αν ο Γιάννης είναι υγιής και σοφός, τότε είναι πλούσιος Ικανή συνθήκη για να είναι ο Γιάννης πλούσιος είναι να είναι υγιής Αναγκαία συνθήκη για να είναι ο Γιάννης σοφός είναι να είναι υγιής Ο Γιάννης είναι είτε πλούσιος είτε υγιής αλλά όχι και τα δύο Ο Γιάννης είναι πλούσιος αν και μόνο αν είναι υγιής και σοφός q p r q p r p r q p q r p p q q p r Άσκηση Φ1.13 Γράψτε ως προτάσεις του προτασιακού λογισμού τις παρακάτω προτάσεις που δίνονται σε φυσική γλώσσα (α) απομονώνοντας πρώτα τις ατομικές προτάσεις και (β) χρησιμοποιώντας λογικούς τελεστές. (1) Θα πάω στο σχολείο μόνο αν μου δώσεις τώρα ένα μπισκότο (2) Ο Γιάννης και η Μαρία τρέχουν (3) Δεν είναι αλήθεια ότι δεν υπάρχει καπνός χωρίς φωτιά (4) Αν πίνω πολύ θα κάνω κακό στην υγεία μου ή θα κάνω κάτι παράλογο (5) Κάποιος δικαιούται κοινωνική περίθαλψη αν είναι νόμιμα εργαζόμενος ή εάν ήταν νόμιμα εργαζόμενος μέσα στα τελευταία τρία χρόνια εκτός και εάν αυτή τη στιγμή εργάζεται στο εξωτερικό. 1 p: Θα πάω στο σχολείο, q: Δώσε μου τώρα ένα μπισκότο

p q 2 p: Ο Γιάννης τρέχει, q: Η Μαρία τρέχει p q 3 p: Υπάρχει καπνός, q: Υπάρχει φωτιά Η πρόταση που δεν είναι αλήθεια είναι η «Δεν υπάρχει καπνός χωρίς φωτιά» p q. Αυτή είναι ισοδύναμη με την αντιστροφοαντίθετή της q p. Ισχύει η άρνηση αυτής, επομένως ισχύει ότι (q p) δηλαδή ότι q p («υπάρχει φωτιά και δεν υπάρχει καπνός»). 4 p: Πίνω πολύ, q: Κάνω κακό στην υγεία μου, r: Κάνω κάτι παράλογο p (q r) 5 p: Κάποιος δικαιούται κοινωνική περίθαλψη, q: Είναι νόμιμα εργαζόμενος, r: Ήταν νόμιμα εργαζόμενος μέσα στα τελευταία τρία χρόνια, k: Αυτή τη στιγμή εργάζεται στο εξωτερικό ((q r) k) p Άσκηση Φ1.14 (*) Έστω οι ατομικές προτάσεις: p = Ο ανελκυστήρας λειτουργεί q = Εγώ βρίσκομαι μέσα στον ανελκυστήρα" r = Εσύ βρίσκεσαι μέσα στον ανελκυστήρα" s = Εσύ είσαι υπέρβαρος" t = Υπάρχει ηλεκτρικό ρεύμα" Αποδώστε σε φυσική γλώσσα τις παρακάτω προτάσεις: 1. q p 2. p (t r) 3. (r s) p 4. (( t (q r)) p) 5. ( p ((q r) (r s))) ΑΝ εγώ βρίσκομαι μέσα στον ανελκυστήρα ΤΟΤΕ ο ανελκυστήρας ΔΕΝ λειτουργεί. ΑΝ ο ανελκυστήρας λειτουργεί ΤΟΤΕ υπάρχει ηλεκτρικό ρεύμα ΚΑΙ εσύ ΔΕΝ βρίσκεσαι μέσα στον ανελκυστήρα. ΑΝ εσύ βρίσκεσαι μέσα στον ανελκυστήρα ΚΑΙ εσύ είσαι υπέρβαρος ΤΟΤΕ ο ανελκυστήρας ΔΕΝ λειτουργεί. ΑΝ ΔΕΝ υπάρχει ηλεκτρικό ρεύμα Ή εγώ βρίσκομαι μέσα στον ανελκυστήρα ΚΑΙ εσύ βρίσκεσαι μέσα στον ανελκυστήρα ΤΟΤΕ ο ανελκυστήρας ΔΕΝ λειτουργεί. ΑΝ ο ανελκυστήρας ΔΕΝ λειτουργεί ΤΟΤΕ εγώ βρίσκομαι μέσα στον ανελκυστήρα ΚΑΙ εσύ Βρίσκεσαι μέσα στον ανελκυστήρα Ή εσύ βρίσκεσαι μέσα στον ανελκυστήρα ΚΑΙ εσύ είσαι υπέρβαρος. Άσκηση Φ1.15 Γράψτε τις παρακάτω προτάσεις στον προτασιακό λογισμό. Κατόπιν, χρησιμοποιείστε τους κανόνες De Morgan για να γράψετε τις αρνήσεις τους και τέλος, διατυπώστε αυτές τις αρνήσεις σε φυσική γλώσσα.

Ο Κώστας έχει ειδίκευση στα Μαθηματικά και ο αδερφός του Κώστα στην Επιστήμη Υπολογιστών Ο Πάνος έχει πορτοκαλί ζώνη και ο Νίκος κόκκινη Η πρίζα έχει χαλαρώσει ή η μηχανή δεν είναι στην πρίζα Αυτό το πρόγραμμα υπολογιστή έχει σφάλμα στις πρώτες 10 γραμμές ή το σύνολο δεδομένων στο οποίο εκτελείται είναι ελλιπές. Το Ευρώ έχει την ψηλότερη τιμή όλων των εποχών και το χρηματιστήριο έχει καταγράψει την κατώτατη τιμή. Το τρένο άργησε ή το ρολόι μου πάει μπροστά. Έστω p= Ο Κώστας έχει ειδίκευση στα Μαθηματικά και q= ο αδερφός του Κώστα έχει ειδίκευση στην Επιστήμη Υπολογιστών. Η πρόταση γράφεται Η άρνηση της είναι ( p q) p q που έχει το νόημα ότι O Κώστας δεν έχει ειδίκευση στα Μαθηματικά ή ο αδελφός του δεν έχει ειδίκευση στην Επιστήμη Υπολογιστών. Έστω p= Ο Πάνος έχει πορτοκαλί ζώνη και q= Ο Νίκος έχει κόκκινη ζώνη. Η πρόταση γράφεται. Η άρνηση της είναι ( p q) p q που έχει το νόημα ότι O Πάνος δεν έχει πορτοκαλί ζώνη ή ο Νίκος δεν έχει κόκκινη ζώνη. Έστω p= Η πρίζα έχει χαλαρώσει και q= η μηχανή δεν είναι στην πρίζα. Η πρόταση γράφεται. Η άρνηση της είναι ( p q) p q που έχει το νόημα ότι Η πρίζα δεν έχει χαλαρώσει και η μηχανή είναι στην πρίζα. Έστω p= Αυτό το πρόγραμμα υπολογιστή έχει σφάλμα στις πρώτες 10 γραμμές και q= το σύνολο δεδομένων στο οποίο εκτελείται το πρόγραμμα είναι ελλιπές. Η πρόταση γράφεται p q. Η άρνηση της είναι ( p q) p q που έχει το νόημα ότι Αυτό το πρόγραμμα υπολογιστή δεν έχει σφάλμα στις πρώτες 10 γραμμές και το σύνολο δεδομένων στο οποίο εκτελείται δεν είναι ελλιπές. Έστω p= Το Ευρώ έχει την ψηλότερη τιμή όλων των εποχών και q= το χρηματιστήριο έχει καταγράψει την κατώτατη τιμή. Η πρόταση γράφεται p qη άρνηση της είναι ( p q) p q που έχει το νόημα ότι Το Ευρώ δεν έχει την ψηλότερη τιμή όλων των εποχών ή το χρηματιστήριο δεν έχει καταγράψει την κατώτατη τιμή. Έστω p= Το τρένο άργησε και q= το ρολόι μου πάει μπροστά. Η πρόταση γράφεται p q. Η άρνηση της είναι ( p q) p q που έχει το νόημα ότι Το τρένο δεν άργησε και το ρολόι μου δεν πάει μπροστά. p q p q p q Άσκηση Φ1.16 Έστω p, q, και r οι προτάσεις: p: Θα γράψω 10 στην τελική εξέταση του ΗΥ118 q: Θα λύσω όλες τις ασκήσεις του ΗΥ118 r: Θα περάσω με 10 το ΗΥ118 Γράψτε τις ακόλουθες προτάσεις χρησιμοποιώντας τις p, q, και r και λογικούς τελεστές. Θα πάρω 10 στο ΗΥ118 αλλά δεν θα λύσω όλες τις ασκήσεις Για να περάσω με 10 το ΗΥ118 είναι αναγκαίο να γράψω 10 στην τελική εξέταση Το να γράψω 10 στον τελικό και να λύσω όλες τις ασκήσεις επαρκεί για να το περάσω με 10 το ΗΥ118.

r q r p ( p q) r Άσκηση Φ1.17 (*) Για κάθε μία από τις παρακάτω προτάσεις γράψτε την άρνησή της. Αν το Π είναι τετράγωνο, τότε είναι ορθογώνιο Αν σήμερα είναι παραμονή Πρωτοχρονιάς, τότε αύριο θα είναι Ιανουάριος Αν τα δεκαδικά ψηφία του r είναι πεπερασμένα, τότε ο r είναι ρητός Αν ο n είναι πρώτος, τότε ο n είναι περιττός ή o n είναι το 2. Αν ο x είναι μη αρνητικός, τότε ο x είναι θετικός ή μηδέν. Αν ο Νίκος είναι ο πατέρας της Άννας, τότε ο Δημήτρης είναι θείος της και η Μαρία θεία της Αν ο n διαιρείται με το 6, τότε ο n διαιρείται με το 2 και με το 3. Το Π είναι τετράγωνο και δεν είναι ορθογώνιο Σήμερα είναι παραμονή Πρωτοχρονιάς και αύριο δεν είναι Ιανουάριος Τα δεκαδικά ψηφία του r είναι πεπερασμένα και ο r είναι άρρητος Ο n είναι πρώτος και ο n είναι άρτιος και διαφορετικός του 2. Ο x είναι μη αρνητικός, και ο x είναι μη θετικός και διάφορος του μηδενός. Ο Νίκος είναι ο πατέρας της Άννας, και ο Δημήτρης δεν είναι θείος της ή η Μαρία δεν είναι θεία της Ο n διαιρείται με το 6, και ο n δεν διαιρείται με το 2 ή δεν διαιρείται με το 3. Άσκηση Φ1.18 Για κάθε πρόταση της προηγούμενης άσκησης γράψτε την αντίστροφή της και την αντιθετική της. Αντίστροφη: Αν το Π είναι ορθογώνιο τότε είναι τετράγωνο. Αντιθετική: Αν το Π δεν είναι τετράγωνο τότε δεν είναι ορθογώνιο. Αντίστροφη: Αν αύριο θα είναι Ιανουάριος, σήμερα είναι παραμονή Πρωτοχρονιάς. Αντιθετική: Αν σήμερα δεν είναι παραμονή Πρωτοχρονιάς, αύριο δεν θα είναι Ιανουάριος. Αντίστροφη: Αν ο r είναι ρητός τότε τα δεκαδικά ψηφία του είναι πεπερασμένα. Αντιθετική: Αν τα δεκαδικά ψηφία του r είναι άπειρα τότε είναι άρρητος. Αντίστροφη: Αν ο n είναι περιττός ή o n είναι το 2, τότε ο n είναι πρώτος. Αντιθετική: Αν ο n δεν είναι πρώτος, τότε είναι άρτιος και διάφορος του 2.

Αντίστροφη: Αν ο x είναι θετικός ή μηδέν τότε είναι μη αρνητικός. Αντιθετική: Αν ο x είναι αρνητικός τότε είναι μη θετικός και διάφορος του μηδενός. Αντίστροφη: Αν ο Δημήτρης είναι θείος της Άννας και η Μαρία θεία της τότε ο Νίκος είναι ο πατέρας της. Αντιθετική: Αν ο ο Νίκος δεν είναι ο πατέρας της Άννας τότε ο Δημήτρης δεν είναι θείος της ή η Μαρία δεν είναι θεία της. Αντίστροφη: Αν ο n διαιρείται με το 2 και με το 3 τότε διαιρείται με το 6. Αντιθετική: Αν ο n δεν διαιρείται με το 6 τότε δεν διαιρείται με το 2 ή με το 3. Άσκηση Φ1.19 Γνωρίζουμε ότι η εξής ισοδυναμία ισχύει: p q ( p q) ( p q). p p Να βρείτε μία απλούστερη πρόταση που να είναι ισοδύναμη με την πρόταση Να βρείτε μία απλούστερη πρόταση που να είναι ισοδύναμη με την πρόταση ( p p) p Ισχύει η ισοδυναμία ( p q) r ( p r) ( q r); Αιτιολογείστε την απάντησή σας. (a) p p ( p p) ( p p) p p F Άρα η πρόταση p p είναι αντίφαση και το False είναι η απλούστερη δυνατή έκφρασή της. (b) ( p p) p F p p (c ) Έστω q p r p q ( p q) r p r q r ( p r ) ( q r ); F F F F F F F F F F T F F F F F F T F T F F F F F T T T T F T T T F F T F F F F T F T T T T F T T T F F F F F F T T T F F T T F Όπως προκύπτει από τον παραπάνω πίνακα αληθείας, η εν λόγω ισοδυναμία ισχύει. Άσκηση Φ1.20 (*) Αποδείξτε ότι η πρόταση p q μπορεί να γραφεί ισοδύναμα με χρήση μόνο των τελεστών και

Αρκεί να καταλήξω σε μία πρόταση που να είναι ισοδύναμη με την αρχική, στην οποία να υπάρχουν μόνο αρνήσεις και λογικές διαζεύξεις. Πράγματι, p q (p q) (q p) [ορισμός της ] ( p q) ( q p) [ορισμός της ] (p q) (q p) [De Morgan] Άσκηση Φ1.21 Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν δεν παίρνονται κατάλληλα οικονομικά μέτρα, τότε υπάρχει οικονομική κρίση Εάν υπάρχει οικονομική κρίση τότε υπάρχει ανεργία Αν υπάρχει ανεργία, τότε ο κόσμος δεν είναι χαρούμενος Δείξτε ότι εάν δεν παίρνονται κατάλληλα οικονομικά μέτρα, τότε ο κόσμος δεν είναι χαρούμενος. Έστω οι προτάσεις: Μ= Παίρνονται τα κατάλληλα οικονομικά μέτρα O= Υπάρχει οικονομική κρίση A= Υπάρχει ανεργία X= Ο κόσμος είναι χαρούμενος Τότε τα δεδομένα γράφονται ως: ( M O) (O A) (A X) Ζητείται να αποδείξουμε ότι M Χ Αρκεί να αποδείξουμε ότι η πρόταση (( M O) (O A) (A X)) ( M Χ) είναι ταυτολογία. Πράγματι, (( M O) (O A) (A X)) ( M Χ) ((Μ Ο) ( Ο Α) ( Α Χ)) ( M Χ) ( (Μ Ο) ( Ο Α) ( Α Χ)) (M Χ) ( Μ Ο) (Ο Α) (Α Χ) (M Χ) ( Μ Ο) (Ο Α) (Α Χ) M Χ M ( Μ Ο) (Ο Α) (Α Χ) Χ ((M Μ) (Μ Ο)) (Ο Α) ((Α Χ ) (Χ Χ)) (Τ (Μ Ο)) (Ο Α) ((Α Χ ) Τ) (Μ Ο) (Ο Α) (Α Χ ) (Μ Ο) (Ο Α) Α Χ Χ (Μ Ο) ((Ο Α) Α) Χ (Μ Ο) ((Ο Α ) ( Α Α)) Χ (Μ Ο) ((Ο Α ) Τ) Χ Μ Ο (Ο Α ) Χ Μ Ο Ο Α Χ Μ Α ( Ο Ο)

Άσκηση Φ1.22 Χ Μ Α Τ ( Χ Μ Α) Τ Τ Σε ένα αρχαιολογικό μουσείο υπάρχουν δύο δωμάτια, τα Δ1 και Δ2 που έχουν τις εξής επιγραφές: Δ1 Σε αυτό το δωμάτιο υπάρχει ένα άγαλμα και στο άλλο δωμάτιο υπάρχει ένας κίονας. Δ2 Σε κάποιο από τα δωμάτια αυτά υπάρχει ένα άγαλμα και σε κάποιο από αυτά τα δωμάτια υπάρχει ένας κίονας. Μία από τις δύο επιγραφές είναι αληθής και η άλλη ψευδής. Σε ποιο δωμάτιο βρίσκεται ο κίονας; Υποθέτουμε ότι δεν μπορεί στο ίδιο δωμάτιο να υπάρχει κίονας και άγαλμα ταυτόχρονα. Έχουμε τις ακόλουθες προτάσεις: p: υπάρχει ένα άγαλμα στο Δ1 q: υπάρχει ένας κίονας στο Δ1 Με βάση τις δύο επιγραφές προκύπτει ο παρακάτω πίνακας αληθείας: p q p q Δ1: p q p q Δ2: (p q) ( p q) F F T T F F F F T T F F T T T F F T T F T T T F F F F F Από την εκφώνηση έχουμε ότι μόνο μία επιγραφή είναι αληθής. Άρα p q Δ1: p q Δ2: (p q) ( p q) F F F F F T F T T F T T T T F F Έτσι, καταλήγουμε στο συμπέρασμα ότι ο κίονας βρίσκεται στο Δ1. Άσκηση Φ1.23 Ο Αντώνης λέει: O Χάρης λέει ψέματα Παναγιώτης λέει: Ο Αντώνης και ο Χάρης ποτέ δεν ψεύδονται Ο Χάρης απαντά Ο Παναγιώτης λέει την αλήθεια Υποθέτοντας ότι όποιος λέει ψέματα λέει πάντα ψέματα κι ότι όποιος λέει την αλήθεια λέει πάντα την αλήθεια, ποιος λέει την αλήθεια και ποιος ψέματα; Θέτουμε τις παρακάτω προτάσεις: p = «ο Αντώνης λέει αλήθεια» q = «ο Παναγιώτης λέει αλήθεια» r = «ο Χάρης λέει αλήθεια» και σχηματίζουμε τον παρακάτω πίνακα:

p q r : r :( p r) : q F F F T F F F F T F F F F T F T F T F T T F F T T F F T F F T F T F T F T T F T F T T T T F T T Από τον ορισμό γνωρίζουμε ότι όποιος λέει ψέματα λέει πάντα ψέματα και όποιος λέει αλήθεια λέει πάντα την αλήθεια. Άρα για να ισχύει αυτό θα πρέπει να έχουμε: Όταν p = T και το A = T, ενώ όταν p = F και το A = F Όταν q = T και το Π = T, ενώ όταν q = F και το Π = F Όταν r = T και το Χ = T, ενώ όταν r = F και το Χ = F Επομένως, σύμφωνα με τους παραπάνω περιορισμούς καταλήγουμε στο συμπέρασμα ότι ισχύει p = T, q = F, r = F. Η απόδοση του αποτελέσματος στην φυσική γλώσσα είναι ότι «ο Αντώνης λέει αλήθεια» ενώ «ο Παναγιώτης και ο Χάρης λένε ψέματα». Άσκηση Φ1.24 Ορίζουμε τον τελεστή ΟΥΤΕ που τον συμβολίζουμε με ως εξής: Η πρόταση p OYTE q είναι αληθής μόνο όταν και οι δύο προτασεις p και q είναι ψευδείς. Σε κάθε άλλη περίπτωση είναι ψευδής 1. D=Δημιουργείστε τον πίνακα αλήθειας του τελεστή 2. Αποδείξτε οτι η p p είναι ισοδύναμη με την p 3. Αποδείξτε ότι η (p q) (p q) είναι ισοδύναμη με την p q 4. Βρείτε μια πρόταση ισοδύναμη με την p q χρησιμοποιώντας μόνο τον τελεστή 1. p q p q T T F T F F F T F F F T 2. p p p p T F F F T T

3. p q p q (p q) (p q) p q (από (2)) p q T T F T T T F F T T F T F T T F F T F F 4. Αν θυμηθούμε ότι p είναι η q p q και με βάση τα (2) και (3) η πρόταση που ζητάμε ((p p) q)) ((p p) q) Πράγματι ((p p) q)) ((p p) q) ((p p) q) p q p q Άσκηση Φ1.25 Ο δυαδικός τελεστής ΝAND του προτασιακού λογισμού συνδέει δύο προτάσεις p και q και η πρόταση r = p NAND q διαβάζεται οι p και q δεν ισχύουν ταυτόχρονα. Η πρόταση αυτή είναι ψευδής αν και μόνο αν και η p και η q είναι αληθείς προτάσεις. Δείξτε ότι οι προτάσεις (α) p (β) p q και (γ) p q μπορούν να γραφούν με ισοδύναμες εκφράσεις στις οποίες να γίνεται χρήση μόνο του τελεστή NAND. (α) p p p pnandp p T T F F F F T T pnandp (β) pnandq ( pnandq ) NAND( pnandq ) p q F F T F F F T T F F T F T F F T T F T T p q ( pnandq ) NAND( pnandq ) (γ) p q pnandp qnandq ( pnandp ) NAND( qnandq ) p q F F T T F F F T T F T T T F F T T T T T F F T T p q p q ( pnandp ) NAND( qnandq )

Άσκηση Φ1.26 (*) Σε μία σπηλιά, υπάρχουν τρία σεντούκια, ένα κόκκινο ένα πράσινο και ένα μπλε, καθένα από τα οποία έχει τις εξής επιγραφές: Κόκκινο σεντούκι: Ο θησαυρός είναι εδώ. Μπλε σεντούκι: Ο θησαυρός δεν είναι εδώ. Πράσινο σεντούκι: Ο θησαυρός δεν είναι στο κόκκινο σεντούκι. Γνωρίζοντας ότι μόνο ένα σεντούκι έχει το θησαυρό και πως το πολύ μία επιγραφή είναι αληθής, μπορείτε να βρείτε που βρίσκεται ο θησαυρός; Έχουμε τις ακόλουθες προτάσεις: p = «ο θησαυρός είναι στο κόκκινο σεντούκι» q = «ο θησαυρός είναι στο μπλε σεντούκι» r = «ο θησαυρός είναι στο πράσινο σεντούκι» και σχηματίζουμε τον παρακάτω πίνακα: p q r : p : q : p F F F F T T F F T F T T F T F F F T F T T F F T T F F T T F T F T T T F T T F T F F T T T T F F Από την εκφώνηση γνωρίζουμε ότι ο θησαυρός βρίσκεται σε ένα σεντούκι άρα θα αποκλείσουμε τις περιπτώσεις όπου τα p,q,r είναι παραπάνω/παρακάτω από ένα ακριβώς True. Άρα θα έχουμε τον παρακάτω πίνακα: p q : p : q : p F F T F T T F T F F F T T F F T T F r Από την εκφώνηση επίσης έχουμε ότι το πολύ μία επιγραφή είναι αληθής. Άρα καταλήγουμε στο ότι ο θησαυρός βρίσκεται στο Μπλε σεντούκι. Άσκηση Φ1.27 Γράψτε ως προτάσεις του προτασιακού λογισμού τις παρακάτω προτάσεις που δίνονται σε φυσική γλώσσα (α) απομονώνοντας πρώτα τις ατομικές προτάσεις και (β) χρησιμοποιώντας λογικούς τελεστές. Για να πάρεις 10 σε αυτό το μάθημα πρέπει υποχρεωτικά να πάρεις 10 στο τελικό διαγώνισμα. Το να πάρεις 10 στο τελικό διαγώνισμα και το να λύσεις όλες τις ασκήσεις του βιβλίου αρκούν προκειμένου να πάρεις 10 σε αυτό το μάθημα.

Ικανή και αναγκαία συνθήκη για να πάρεις 10 στο τελικό διαγώνισμα είναι να λύσεις όλες τις ασκήσεις του βιβλίου. (1) p = Πήρες 10 σε αυτό το μάθημα q = Πήρες 10 στο τελικό διαγώνισμα : p q (2) p = Πήρες 10 στο τελικό διαγώνισμα q = Έλυσες όλες τις ασκήσεις του βιβλίου r = Πήρες 10 σε αυτό το μάθημα : (pλq) r (3) p = Πήρες 10 στο τελικό διαγώνισμα q = Έλυσες όλες τις ασκήσεις του βιβλίου : p q Άσκηση Φ1.28 Για καθεμία από τις παρακάτω προτάσεις, βρείτε μία τιμή αληθείας των επιμέρους ατομικών προτάσεων που να την κάνουν αληθή (αν υπάρχει). 1. (a b) a 2. ((a c) b) (a b) 3. ( b ( a c)) (a b) Είναι κάποια από αυτές τις προτάσεις ταυτολογία; Είναι κάποια από αυτές τις προτάσεις αντίφαση; (1) (2) a b (a b)λa T T F T F T F T F F F F a b c ((a c) b)λ(avb) T T T F T T F T T F T T T F F T F T T F

(3) F T F F F F T F F F F F a b c ( b (a c))v(aλb) T T T T T T F T T F T T T F F F F T T T F T F T F F T T F F F T Καμία από τις προτάσεις ΔΕΝ είναι ταυτολογία. Καμία από τις προτάσεις ΔΕΝ είναι αντίφαση. Άσκηση Φ1.29 (*) Χρησιμοποιείστε ταυτότητες προκειμένου να απλοποιήσετε την πρόταση ((a b) c) b ((a b) V c) Λ b [εάν..τότε] (( a V b) V c) Λ b [επιμεριστική] (( a V b) Λ b) V (c Λ b) [επιμεριστική] (( a Λ b ) V ( b Λ b)) V (c Λ b) [αντίφαση] (( a Λ b ) V F) V (c Λ b) [ουδέτερο στοιχείο] ( a Λ b ) V (c Λ b) [επιμεριστική] ( a V c) Λ b Άσκηση Φ1.30 Πόσο χρόνο θα χρειαζόταν ένας υπολογιστής να υπολογίσει τον πίνακα αληθείας μίας σύνθετης πρότασης που αποτελείται από 90 ατομικές προτάσεις; Υποθέστε ότι χρειάζεται ένα νανο-δευτερόλεπτο (10-9 sec δηλαδή ένα δισεκατομμυριοστό του δευτερολέπτου) για τον υπολογισμό μιας γραμμής του πίνακα αληθείας. Συγκρίνετε το χρόνο που θα εκτιμήσετε με την ηλικία του σύμπαντος η οποία υπολογίζεται περίπου στα 15 δισεκατομμύρια χρόνια. Γνωρίζοντας ότι ένας πίνακας αληθείας έχει τόσες γραμμές όσες το 2 υψωμένο στον αριθμό των ατομικών προτάσεων, δηλαδή αν n το πλήθος των ατομικών προτάσεων τότε ο αριθμός

2 n. Στην περίπτωση μας των γραμμών του πίνακα αληθείας προκύπτει από την εξίσωση έχουμε 90 ατομικές προτάσεις (n=90), άρα το πλήθος των σειρών θα είναι 2 90. Επομένως θα έχουμε: 1 νανοδευτερόλεπτο = 3,168 x 10-17 χρόνια 15 x 10 9 χρόνια = 1 μονάδα εώς τώρα ζωής του σύμπαντος Η συνάρτηση μας είναι η: 2 90 *3,168*10-17 /15*10 9 = 2,61 Άρα, θα χρειαστούμε 2,61 μονάδες χρόνων ζωής του σύμπαντος, για να υπολογίσουμε τον πίνακα αληθείας ή διαφορετικά διατυπωμένο, ο χρόνος υπολογισμού είναι 2,61 φορές μεγαλύτερος από το χρόνο ζωής του σύμπαντος. Άσκηση Φ1.31 Γνωρίζουμε ότι μπορούμε να αποδείξουμε την ισοδυναμία δύο λογικών προτάσεων είτε χρησιμοποιώντας πίνακες αληθείας, είτε χρησιμοποιώντας ταυτότητες. Ποια είναι τα πλεονεκτήματα της κάθε προσέγγισης; Η απόδειξη προτάσεων με βάση τον πίνακα αληθείας είναι μία συστηματική, αλγοριθμική διαδικασία. Αντίθετα, η απόδειξη με χρήση ταυτοτήτων χρειάζεται φαντασία και έξυπνη επιλογή των χρησιμοποιούμενων ταυτοτήτων, πράγμα που δεν μπορεί να αυτοματοποιηθεί. Από την άλλη, ο πίνακας αληθείας γίνεται πάρα πολύ μεγάλος όταν συμμετέχουν πολλές ατομικές προτάσεις (βλέπε προηγούμενη άσκηση) και επομένως, σε αυτή την περίπτωση, η χρήση ταυτοτήτων αποτελεί πολύ πιο αποτελεσματική επιλογή. Άσκηση Φ1.32 (*) Σε ένα νησί ζουν δύο φυλές, η Φ1 και η Φ2. Όσοι ανήκουν στη φυλή Φ1 λένε πάντα την αλήθεια και όσοι ανήκουν στη φυλή Φ2 λένε πάντα ψέματα. Πηγαίνετε σε αυτό το νησί και συναντάτε δύο ανθρώπους, τον Α και τον Β. Ο Α σας λέει Εάν ο Β ανήκει στη φυλή Φ1, τότε εγώ ανήκω στη φυλή Φ2. Σε ποια φυλή ανήκει ο Α και σε ποια ο Β; Έστω προτάσεις p, q: p: Ο Α ανήκει στη Φ1 q: Ο Β ανήκει στη Φ1 Ο Α λέει: q p Αν ο A ανήκει στη Φ2, τότε αυτό που λέει είναι πάντα ψευδής πρόταση. Άρα η πρόταση q p πρέπει να είναι ψευδής. Εφόσον η p είναι ψευδής, η p είναι αληθής, και επομένως η q p δεν μπορεί να είναι ψευδής. Επομένως, Ο Α δεν μπορεί να ανήκει στη Φ2. Άρα αναγκαστικά ο Α ανήκει στη Φ1.

Εφόσον ο A ανήκει στη Φ1, τότε αυτό που λέει είναι πάντα αλήθεια. Άρα η πρόταση πρέπει να είναι αληθής. Εφόσον και η p είναι αληθής, η είναι ψευδής, και q p για να είναι η q p Επομένως, ο Α ανήκει στη Φ1 και ο Β στη Φ2. p αληθής πρέπει η q να μην είναι αληθής. Άρα ο Β ανήκει στη Φ2. Άσκηση Φ1.33 (*) Ας υποθέσουμε τις εξής ατομικές προτάσεις. A= Ο Άγγελος θα έρθει στο πάρτι Β= Ο Βασίλης θα έρθει στο πάρτι Γ= Ο Γιάννης θα έρθει στο πάρτι Δ= Ο Δημήτρης θα έρθει στο πάρτι Γράψτε σε προτασιακό λογισμό τις ακόλουθες προτάσεις Αν ο Δημήτρης έρθει στο πάρτι, τότε ο Βασίλης και ο Γιάννης θα έρθουν επίσης Ο Δημήτρης θα έρθει στο πάρτι αν και μόνο αν ο Γιάννης έρθει και ο Άγγελος δεν έρθει Αν ο Δημήτρης έρθει στο πάρτι, τότε, αν ο Γιάννης δεν έρθει στο πάρτι τότε ο Άγγελος θα έρθει. Ο Γιάννης θα έρθει στο πάρτι αν δεν έρθει ο Δημήτρης, αλλά αν ο Δημήτρης έρθει, τότε δεν θα έρθει ο Βασίλης Μια αναγκαία συνθήκη για να έρθει ο Άγγελος στο πάρτι είναι, αν ο Βασίλης και ο Γιάννης δεν έρθουν, να έρθει ο Δημήτρης Ας υποθέσουμε τις εξής ατομικές προτάσεις. A= Ο Άγγελος θα έρθει στο πάρτι Β= Ο Βασίλης θα έρθει στο πάρτι Γ= Ο Γιάννης θα έρθει στο πάρτι Δ= Ο Δημήτρης θα έρθει στο πάρτι Δ (Β Γ) Δ (Γ Α ) Δ ( Γ Α) ( Δ Γ) (Δ Β ) Α ( (Β Γ) Δ) Άσκηση Φ1.34 Αποδείξτε ότι p q (p q) ( p q) (α) Χρησιμοποιώντας πίνακα αληθείας (β) Χρησιμοποιώντας νόμους ισοδυναμίας (ταυτότητες).

α) Πίνακας Αληθείας p q (p q) (p q) (p q) (p q) p q F F F F T T F T T F F F T F T F F F T T T T T T Παρατηρούμε ότι οι δύο στήλες έχουν τις ίδιες τιμές αληθείας,οπότε οι δύο προτάσεις είναι ισοδύναμες μεταξύ τους. β) Νόμοι ισοδυναμίας p q = (p q) (q p) = ( p q ) ( q p) = ( p q) ( p p ) (q q ) (q p ) = ( p q) F F (q p) = ( p q) (q p) = (p q) (q p) αλλά p q = ( p q) = (p q) (q p) Οπότε αποδείχτηκε ότι : p q = (p q) (p q) Άσκηση Φ1.35 (*) Κάποιος έφτιαξε το παρακάτω κύκλωμα που υλοποιεί μία λογική σχέση R μεταξύ δύο εισόδων P και Q. Ποια πρόταση του προτασιακού λογισμού μας δίνει την R συναρτήσει των P και Q;

Δείξτε στον κατασκευαστή του κυκλώματος ότι να μπορούσε να χρησιμοποιήσει μόνο μία πύλη αντί για 5. Η Πρόταση είναι η εξής : R<=> ( (P Q ) (P Q) ) Q ( (P Q ) (P Q) ) Q <=> ((P Q ) Q) ((P Q) Q) <=> ( Q Q P) (P Q Q) <=> F (P Q) <=> (P Q) Οπότε ο κατασκευαστής του κυκλώματος θα μπορούσε να χρησιμοποιήσει μόνο μία πύλη AND αντί για 5 πύλες. Άσκηση Φ1.36 Αποδείξτε με δύο διαφορετικούς τρόπους ότι η πρόταση [p ( p q)] q είναι ταυτολογία. α) p q (p q) (p (p q)) (p (p q)) q F F T F T F T T F T T F F F T T T T T T Παρατηρούμε ότι οι τιμές της τελευταίας στήλης είναι όλα Τ.Αυτό σημαίνει πως η πρότασή μου αποτελεί ταυτολογία β) (p (p q)) q <=> (p ( p q)) q <=> [(p p) (p q)] q <=> [F (p q)] q <=> (p q) q

<=> (p q) q <=> p q q <=> p T <=> T Οπότε αποτελεί ταυτολογία Άσκηση Φ1.37 Αποδείξτε κατά πόσον ισχύει ότι 1. ( p q) ( p r) ( q r) p 2. ( p q) r ( p r) ( q r) Δημιουργούμε τους πίνακες αλήθειας 1. p q r p q p r (p q) (p r) p q r q r ( q r) p T T T T T T F F F F T T T F T F F F F T T F T F T F T F F T F T F T F F F F F F T T T F F T T T T T T F F F T F T F T T T T F T T T F F T T T T T T F T T F F F T T T T T T T T Είναι λογικά ισοδύναμες 2. p q r p q (p q) r p r q r (p r) (q r)

T T T T T T T T T T F T F F F F T F T F T T T T T F F F T F T F F T T F T T T T F T F F T T F F F F T F T T T T F F F F T T T T Δεν είναι λογικά ισοδύναμες Άσκηση Φ1.38 Υποθέστε ότι ξέρουμε πως Αν ο Νίκος είναι λεπτός, τότε ο Μανόλης δεν είναι ξανθός ή η Βασιλική δεν είναι ψηλή Αν η Βασιλική είναι ψηλή τότε η Κική είναι αξιαγάπητη Αν η Κική είναι αξιαγάπητη και ο Μανόλης είναι ξανθός τότε ο Νίκος είναι λεπτός Ο Μανόλης είναι ξανθός Με αυτά τα δεδομένα, μπορούμε να συμπεράνουμε ότι η Βασιλική δεν είναι ψηλή ; Έστω οι προτάσεις Ν= Ο Νίκος είναι λεπτός M= Ο Μανώλης είναι ξανθός Β= Η Βασιλική είναι ψηλή Κ= Η Κική είναι αξιαγάπητη Ισχύει: N ( M B) B K (K M) N

M=True N ( M B) (B K) ((K M) N) M <=> Ισχύει ότι : M=True Οπότε: (K M) N <=> K N Άρα: (N B) ^ (B K ) ^ (K N) <=> (K B) ^ (B K ) <=> (B K ) ^ (K B) <=> B B <=> B B <=> B Οπότε ισχύει Άσκηση Φ1.39 Εκφράστε τους παρακάτω κανόνες χρησιμοποιώντας τις προτάσεις p: «Το μήνυμα ελέγχεται για ιούς» και q: «Το μήνυμα στάλθηκε από άγνωστο σύστημα» χρησιμοποιώντας τους κατάλληλους λογικούς τελεστές Το μήνυμα ελέγχεται για ιούς όποτε στέλνεται από άγνωστο σύστημα Το μήνυμα στάλθηκε από άγνωστο σύστημα αλλά δεν ελέγθηκε για ιούς Είναι απαραίτητο να ελέγχεται το μήνυμα για ιούς όποτε σταλεί από άγνωστο σύστημα Όταν ένα μήνυμα δεν στέλνεται από άγνωστο σύστημα δεν ελέγχεται για ιούς q p q p q p q p p q Άσκηση Φ1.40 (*) Έστω p η πρόταση Είμαι πλούσιος, e η πρόταση Είμαι ευτυχισμένος και y ή πρόταση Είμαι υγιής. Γράψτε προτάσεις σε προτασιακό λογισμό με βάση τις p, e και y, που να εκφράζουν το νόημα των παρακάτω προτάσεων: Είμαι πλούσιος, υγιής και ευτυχισμένος Είμαι πλούσιος και υγιής, αλλά όχι ευτυχισμένος Δεν είμαι ούτε πλούσιος ούτε ευτυχισμένος Είμαι φτωχός και δυστυχισμένος, αλλά υγιής

Για να είμαι ευτυχισμένος, πρέπει να είμαι υγιής και πλούσιος Γράψτε σε φυσική γλώσσα το νόημα των παρακάτω εκφράσεων προτασιακού λογισμού e p y p e e y (p e) p y p y e p y e p e p e y e y p εάν είμαι πλούσιος και υγιής είμαι ευτυχισμένος και εάν είμαι ευτυχισμένος είμαι πλούσιος και υγιής εάν είμαι πλούσιος δεν είμαι ευτυχισμένος εάν είμαι ευτυχισμένος δεν είμαι υγιής δεν ισχύει ότι εάν είμαι πλούσιος τότε είμαι ευτυχισμένος (μ άλλα λόγια, o πλούτος δεν φέρνει την ευτυχία ) είμαι είτε πλούσιος, είτε υγιής, αλλά όχι και τα δύο. Άσκηση Φ1.41 Αποδείξτε ότι: H πρόταση p (p q) αποτελεί ταυτολογία H πρόταση (p q) (p q) αποτελεί αντίφαση p (p q) (p p) q Τ q Τ

(p q) (p q) (p q) ( p q) p q p q (p p) (q q) F F F Άσκηση Φ1.42 (*) Αποδείξτε με χρήση του προτασιακού λογισμού ότι στο παιχνίδι: Κορώνα χάνεις, Γράμματα κερδίζω κερδίζω πάντοτε. Ας συμβολίσουμε Κ: Εγώ φέρνω κορώνα, Γ: Εγώ φέρνω γράμματα W: Εγώ κερδίζω, L: Εσύ χάνεις Από την εκφώνηση ισχύουν οι κανόνες: Κ L (1) Γ W (2) Επίσης, γνωρίζουμε ότι W L (κερδίζω αν και μόνο αν χάσεις ) Αρκεί να δείξουμε ότι ( W) ( K L) W Πράγματι, ( W ) ( K L) ( W ) ( K L) ( W ) ( K W ) ( K) W ( K) W F W T W W. Ισοδύναμα, θα μπορούσαμε να δείξουμε (πχ, με πίνακα αληθείας) ότι η πρόταση (( W) ( K L)) W είναι ταυτολογία. Άσκηση Φ1.43 Έστω p η πρόταση Παρακολουθώ τα μαθήματα, d η πρόταση Διαβάζω πολύ και g ή πρόταση Γράφω καλά στις εξετάσεις. (1) Γράψτε προτάσεις σε προτασιακό λογισμό με βάση τις p, d και g, που να εκφράζουν το νόημα των παρακάτω προτάσεων:

Παρακολουθώ τα μαθήματα, διαβάζω πολύ και γράφω καλά στις εξετάσεις Αν παρακολουθώ τα μαθήματα και διαβάζω πολύ, γράφω καλά στις εξετάσεις Για να γράφω καλά στις εξετάσεις, αρκεί είτε να διαβάζω πολύ είτε να παρακολουθώ τα μαθήματα. Γράφω καλά στις εξετάσεις αν και μόνο αν παρακολουθώ τα μαθήματα και διαβάζω πολύ. Είτε παρακολουθώ τα μαθήματα είτε διαβάζω πολύ αλλά όχι και τα δύο. Με αυτή την τακτική, γράφω καλά στις εξετάσεις. (2) Αποδώστε σε όσο το δυνατόν πιο απλή φυσική γλώσσα το νόημα των παρακάτω προτάσεων προτασιακού λογισμού: g p d d p (p d) (p d) (p d) (p d) (p d) (p d) (1) p d g p d g p d g g p d p d g (2) Για να γράφω καλά στις εξετάσεις, αρκεί να παρακολουθώ τα μαθήματα ή να διαβάζω πολύ αλλά όχι και τα δύο. Διαβάζω πολύ αν και μόνο αν δεν παρακολουθώ τα μαθήματα Ή παρακολουθώ τα μαθήματα, ή διαβάζω πολύ αλλά όχι και τα δύο (ψάξτε τις ισοδυναμίες) Ή παρακολουθώ τα μαθήματα, ή διαβάζω πολύ αλλά όχι και τα δύο (δέστε τον πίνακα αληθείας σε σχέση με τις p, d) Αληθές (δέστε τον πίνακα αληθείας. Εφόσον είναι ταυτολογία, ο πιο εύκολος τρόπος να το πούμε είναι αυτός!) Άσκηση Φ1.44 Αποδείξτε χωρίς την χρήση πινάκων αληθείας ότι η πρόταση ((p q) ( p q)) q αποτελεί ταυτολογία.

((p q) ( p q)) q (( p q) (p q)) q ( p p) q q F q q q q T Άσκηση Φ1.45 Κάποιος είπε πως «Εάν η λογική δεν είναι ταυτόχρονα και χρήσιμη και ενδιαφέρουσα, τότε είναι είτε άχρηστη, είτε αδιάφορη». Έχει δίκιο; Αν ναι, αποδείξτε το, αν όχι αναφέρετε γιατί. Έστω προτάσεις p= «Η λογική είναι χρήσιμη» και q = «H λογική είναι ενδιαφέρουσα». Η διατύπωση της πρότασης του ερωτήματος στον προτασιακό λογισμό είναι η ακόλουθη: (p q) p q. Για να αποδείξουμε την πρόταση πρέπει να δείξουμε ότι πρόκειται για ταυτολογία. Πράγματι αυτό ισχύει και μπορούμε να το δείξουμε είτε με τον πίνακα αληθείας της είτε διαπιστώνοντας ότι (p q) p q (p q) (p q) Θέτοντας r= (p q) η παραπάνω πρόταση γίνεται r r το οποίο προφανώς ισχύει. Άσκηση Φ1.46 Αποδείξτε ότι για οποιεσδήποτε προτάσεις p,q,r εάν p q και r q, τότε r p. Έχω p q (1) και r q (2) Ξέρουμε ότι η p q είναι ισοδύναμη με την q p (3) Επίσης ξέρουμε ότι αν r q και q p τότε r p ΟΕΔ Άσκηση Φ1.47 Έστω ότι μας δίνουν τα παρακάτω δεδομένα:

Εάν δεν διαβάζεις, τότε δεν πας καλά στις εξετάσεις Εάν δεν πας καλά στις εξετάσεις, τότε δεν θα πάρεις πτυχίο Αποδείξτε χωρίς τη χρήση πίνακα αλήθειας ότι: Εάν δεν διαβάζεις, δεν θα πάρεις πτυχίο. Έστω p: Δεν διαβάζεις, q: Δεν πας καλά στις εξετάσεις, r: Δεν θα πάρεις πτυχίο Τα δεδομένα μας είναι: p q q r Θέλω να αποδείξω ότι p r Αρκεί να αποδείξω ότι ((p q) (q r)) ( p r) είναι ταυτολογία ((p q) (q r)) ( p r) [Από τον ορισμό του αν τότε] ((p q) (q r)) ( p r) [Από τον ορισμό του αν τότε] (( p q) ( q r)) ( p r) ( p q) ( q r) ( p r) [De Morgan, αντιμεταθετική] [De Morgan] (p q) (q r) ( p r) [προσεταιριστικότητα] (p q) (q r) p r [αντιμεταθετική ιδιότητα] ( p (p q)) (r (q r)) [επιμεριστική ιδιότητα] (( p p) ( p q) ) ((r q) (r r)) (T ( p q)) ((r q) T) [Ουδέτερο στοιχείο] ( p q) (r q) p q r q p r T [απορροφητικό στοιχείο] T ο.ε.δ. Είναι ταυτολογία Άσκηση Φ1.48

Είναι οι δηλώσεις «το καλό φαγητό δεν είναι φθηνό» και «το φθηνό φαγητό δεν είναι καλό» λογικά ισοδύναμες; Δικαιολογείστε την απάντησή σας. Έστω g η πρόταση Το φαγητό είναι καλό και c η πρόταση το φαγητό είναι φθηνό Η πρόταση το καλό φαγητό δεν είναι φθηνό γράφεται: g c ενώ η πρόταση το φθηνό φαγητό δεν είναι καλό γράφεται: c g Παρατηρώ ότι η c g είναι η αντιστροφοαντίθετη της g c, άρα είναι ισοδύναμες Άσκηση Φ1.49 Έστω p και q οι προτάσεις: p= Έχει αποφασιστεί η εκλογή q= Έχουν μετρηθεί οι ψήφοι Να εκφράσετε καθεμία από τις παρακάτω σύνθετες προτάσεις στα ελληνικά: p q q p q p p q p q q ( p q) p q Έχουν μετρηθεί οι ψήφοι αλλά δεν έχει αποφασιστεί η εκλογή q p Αν έχουν μετρηθεί οι ψήφοι τότε έχει αποφασιστεί η εκλογή q p Αν δεν έχουν μετρηθεί οι ψήφοι τότε δεν έχει αποφασιστεί η εκλογή p q Αν δεν έχει αποφασιστεί η εκλογή τότε δεν έχουν μετρηθεί οι ψήφοι p q Η εκλογή έχει αποφασιστεί αν και μόνο άν έχουν μετρηθεί οι ψήφοι q ( p q) Είτε δεν έχουν μετρηθεί οι ψήφοι, είτε έχουν μετρηθεί αλλά δεν έχει αποφασιστεί η εκλογή Άσκηση Φ1.50 Έστω p και q οι προτάσεις: p= Έχει πολύ κρύο q= Χιονίζει Γράψτε τις παρακάτω προτάσεις χρησιμοποιώντας τις p και q και τους λογικούς τελεστές (και τις αρνήσεις) Έχει πολύ κρύο, αλλά δεν χιονίζει Δεν έχει πολύ κρύο και δεν χιονίζει

Είτε χιονίζει είτε έχει πολύ κρύο (είτε και τα δύο) Έχει πολύ κρύο και επίσης χιονίζει Είτε έχει πολύ κρύο είτε χιονίζει, αλλά δεν χιονίζει, αν έχει πολύ κρύο Το να έχει πολύ κρύο είναι αναγκαίο και επαρκές για να χιονίζει Έχει πολύ κρύο, αλλά δεν χιονίζει p q Δεν έχει πολύ κρύο και δεν χιονίζει p q Είτε χιονίζει είτε έχει πολύ κρύο (είτε και τα δύο) p q Έχει πολύ κρύο και επίσης χιονίζει p q Είτε έχει πολύ κρύο είτε χιονίζει, αλλά δεν χιονίζει, αν έχει πολύ κρύο p q ( p q) Το να έχει πολύ κρύο είναι αναγκαίο και επαρκές για να χιονίζει p q Άσκηση Φ1.51 Να γράψετε καθεμία από τις προτάσεις της μορφής αν p τότε q στην ελληνική γλώσσα Οποτεδήποτε φυσάει βορειοανατολικός άνεμος, χιονίζει. Οι μηλιές θα ανθίσουν, αν υπάρχει ζέστη για μια βδομάδα. Ο ΟΦΗ θα πάρει το πρωτάθλημα, αν νικήσει τον Εργοτέλη Είναι αναγκαίο να περπατήσεις 8 km για να βρεθείς στην Κνωσό Για να γίνεις καθηγητής, είναι αρκετό να είσαι διάσημος Αν οδηγήσεις περισσότερα από 200 km, πρέπει να βάλεις βενζίνη Η εγγύηση είναι καλή μόνο αν αγόρασες το tablet πιο πρόσφατα από 90 ημέρες Ο Γιάννης θα πάει για κολύμπι, εκτός αν το νερό είναι πολύ παγωμένο Οποτεδήποτε φυσάει βορειοανατολικός άνεμος, χιονίζει. p: Φυσάει ΒΑ άνεμος q: Χιονίζει p q Οι μηλιές θα ανθίσουν, αν υπάρχει ζέστη για μια βδομάδα. p: Θα ανθίσουν οι μηλιές q: Υπάρχει ζέστη για μια βδομάδα q p Ο ΟΦΗ θα πάρει το πρωτάθλημα, αν νικήσει τον Εργοτέλη p: Ο ΟΦΗ θα πάρει το πρωτάθλημα

q: Ο ΟΦΗ θα νικήσει τον Εργοτέλη q p Είναι αναγκαίο να περπατήσεις 8 km για να βρεθείς στην Κνωσό p: Θα βρεθείς στην Κνωσό q: Θα περπατήσεις 8km p q Για να γίνεις καθηγητής, είναι αρκετό να είσαι διάσημος p: Θα γίνεις καθηγητής q: Είσαι διάσημος q p Αν οδηγήσεις περισσότερα από 200 km, πρέπει να βάλεις βενζίνη p: Θα οδηγήσεις περισσότερα από 200km q: Θα βάλεις βενζίνη p q Η εγγύηση είναι καλή μόνο αν αγόρασες το tablet πιο πρόσφατα από 90 ημέρες p: Η εγγύηση είναι καλή q: Αγόρασες το tablet πιο πρόσφατα από 90 ημέρες p q Ο Γιάννης θα πάει για κολύμπι, εκτός αν το νερό είναι πολύ παγωμένο p: Ο Γιάννης θα πάει για κολύμπι q: Το νερό δεν είναι πολύ παγωμένο q p Άσκηση Φ1.52 Να κατασκευάσετε τον πίνακα αλήθειας για καθεμία από τις παρακάτω σύνθετες προτάσεις 1. ( p q) ( q p) 2. ( p q) ( p q) 3. (( p q) r) s 1. p q p q q p ( p q) ( q p) T T T T T

T F F F T F T T T T F F T T T 2. p q p q p q ( p q) ( p q) T T F T T T F T F F F T T F F F F F T T 3. p q r s p q (p q) r ((p q) r) s T T T T T T T T T T F T T F T T F T T F T T F T T F T T T T F F T F T T F T F F T F T F F T F T T T F F F F T F F T T T T T T F T T F T T F F T F T T F T F F T T T T T F T F F T F T F F T F T T F

F F F T T F T F F F F T F T Άσκηση Φ1.53 Να δείξετε ότι: (1) οι ( p q) r και p ( q r) δεν είναι λογικά ισοδύναμες (2) οι ( p q) r και ( p r) ( q r) δεν είναι λογικά ισοδύναμες (3) οι ( p q) ( r s) και ( p r) ( q s) δεν είναι λογικά ισοδύναμες (1) p q r p q q r (p q) r p (q r) T T T T T T T T T F T F F F T F T F T T T T F F F T T T F T T T T T T F T F T F F T F F T T T T T F F F T T F T (2) p q r p q ( p q) r p r q r ( p r) ( q r) T T T T T T T T T T F T F F F F T F T F T T T T T F F F T F T F F T T F T T T T

F T F F T T F F F F T F T T T T F F F F T T T T (3) p q r s p q r s (p q) (r s) p r q s (p r) ( q s) T T T T T T T T T T T T T F T T F T F F T T F T T F T F T T T F T T F T T T T T T T F F T F T F F T T F T F F T F T T T T F F T F T T F T T T F F F F T F F T T F T T T T T T T T T F T T F T T F T F F F T F T T F T T T T F F T T T T T T T T F T F F T F T T F F F F T F T T F T T T F F F T T F T T T T F F F F T F T T T T Άσκηση Φ1.54 Πέντε φίλοι έχουν πρόσβαση σε ένα chat room. Είναι δυνατόν να προσδιορίσετε ποιος μιλάει, αν είναι γνωστά τα εξής δεδομένα: Είτε ο Κώστας ή η Ηλιάνα ή και οι δύο μιλάνε. Είτε ο Ροβέρτος είτε ο Βασίλης, αλλά όχι και οι δύο, μιλάνε. Αν ο Αντώνης μιλάει, τότε μιλάει και ο Ροβέρτος. Ο Βασίλης και ο Κώστας είτε μιλάνε αμφότεροι είτε δεν μιλάει

κανείς τους. Αν μιλάει η Ηλιάνα, τότε μιλάνε ο Αντώνης και ο Κώστας. Να εξηγήσετε το συλλογισμό σας. Έστω οι ατομικές προτάσεις Η: Η Ηλιάνα μιλάει Κ: Ο Κώστας μιλάει Ρ: Ο Ροβέρτος μιλάει Β: Ο Βασίλης μιλάει Α: Ο Αντώνης μιλάει Ισχύει: Η Κ Ρ Β Α Ρ (Β Κ) ( Β Κ) B K (B K) Η (Α Κ) Έστω ότι μιλάει η Ηλιάνα. Από (e) μιλάει ο Αντώνης και ο Κώστας Από (c) μιλάει ο Ροβέρτος Από (b) δεν μιλάει ο Βασίλης Από (d) δεν μιλάει ο Κώστας. Αντίφαση!!! Άρα η Ηλιάνα δεν μιλάει Από το (a) μιλάει ο Κώστας Από (d) μιλάει ο Βασίλης Από (b) δεν μιλάει ο Ροβέρτος Aπό (c) δεν μιλάει η Αντώνης (αντιστροφοαντίθετο) Άσκηση Φ1.55 (*) Τέσσερις φίλοι θεωρούνται ύποπτοι για μη εξουσιοδοτημένη πρόσβαση σε ένα υπολογιστικό σύστημα. Οι φίλοι κατέθεσαν στις ανακριτικές αρχές. Η Αλίκη είπε ότι το έκανε ο Κώστας, o Γιάννης είπε δεν το έκανα εγώ και ο Κώστας είπε η Νίκη το έκανε. Η Νίκη είπε ότι ο Κώστας είπε ψέματα ότι το έκανα εγώ. a. Αν οι αρχές γνωρίζουν επίσης ότι ακριβώς ένας εκ των υπόπτων λέει την αλήθεια, ποιος το έκανε; Να εξηγήσετε το συλλογισμό σας. b. Αν οι αρχές γνωρίζουν επίσης ότι ακριβώς ένας λέει ψέματα, ποιος το έκανε; Να εξηγήσετε το συλλογισμό σας. Έστω οι ατομικές προτάσεις: Α: Το έκανε η Αλίκη

Κ: Το έκανε ο Κώστας Γ: Το έκανε ο Γιάννης Ν: Το έκανε η Νίκη Α Κ Γ Ν Α:Κ Γ: Γ Κ:Ν Ν: (Κ:Ν) T T T T T F T F T T T F T F F T T T F T T T T F T F T T F F T F T T F F T T F T T F T F F F F T T F F T F T T F T F F F F T F T F T T T T F T F F T T F T F F T F T F T T T T F F F T T F F T F F T F F T T F T F F T F F F F T F F F T F T T F F F F F F T F T a. Ένας μόνο λέει την αλήθεια (και ένας μόνο το έκανε) Το έκανε ο Γιάννης b. Ένας μόνο λέει ψέματα (και ένας μόνο το έκανε). Το έκανε ο Κώστας. Κι αλλιώς: a. Έστω ότι η Αλίκη λέει την αλήθεια (μόνο). Τότε το έκανε ο Κώστας. Άρα ο Γιάννης που λέει ψέματα το έκανε αυτός (αντίφαση). Αν ο Γιάννης λέει την αλήθεια (άρα δεν το έκανε αυτός), τότε η Αλίκη λέει ψέματα (δεν το έκανε ο Κώστας), ο Κώστας λέει ψέματα (δεν το έκανε η Νίκη) και η Νίκη λέει ψέματα (ο Κώστας λέει αλήθεια) Αντίφαση Αν ο Κώστας λέει αλήθεια (το έκανε η Νίκη), ο Γιάννης λέει ψέματα (αυτός το έκανε)

Αν η Νίκη λέει αλήθεια, ο Κώστας λέει ψέματα, άρα δεν το έκανε η Νίκη, η Αλίκη λέει ψέματα: Δεν το έκανε ο Κώστας, ο Γιάννης λέει ψέματα (αυτός το έκανε) Πάλι στο Γιάννη καταλήγουμε!!! b. Έστω ότι η Αλίκη λέει ψέματα (δεν το έκανε ο Κώστας). Ο Γιάννης λέει αλήθεια (δεν το έκανε αυτός). Ο Κώστας λέει αλήθεια (το έκανε η Νίκη) και η Νίκη λέει αλήθεια (ο Κώστας λέει ψέματα) Αντίφαση Έστω ότι ο Κώστας λέει ψέματα. Άρα δεν το έκανε η Νίκη. Η Αλίκη τότε λέει αλήθεια (το έκανε ο Κώστας!!!) Έστω ότι η Γιάννης λέει ψέματα: Το έκανε ο ίδιος. Η Αλίκη και ο Κώστας λένε ψέματα (Δεν το έκανε ο Κώστας ούτε η Νίκη) Και η Νίκη λέει ψέματα (ο Κώστας λέει αλήθεια) Αντίφαση Έστω ότι η Νίκη λέει τα ψέματα. Άρα ο Κώστας λέει αλήθεια (το έκανε η Νίκη) Αλλα και η Αλίκη λέει αλήθεια (το έκανε ο Κώστας) Αντίφαση!!! Άσκηση Φ1.56 Να κατασκευάσετε τον πίνακα αλήθειας για καθεμία από τις παρακάτω προτάσεις p q q ( p r) ( q r) p q r ( p q) ( p q) q p q r p r q r a. P q p p q q p q q T T F T F F T F F F T T F T T T F F F F T T T T b. c. P q r p r q r p r q r T T T T T T T T F F F T T F T T T T T F F F T F F T T T T T F T F T F F F F T T T T F F F T T T p q r p q p q r T T T T T T T F T F

T F T F T T F F F T F T T T T F T F T F F F T T T F F F T F d. p q p q p q (p q) ( p q) (p q) ( p q) q T T T F T T T F T F T F F T T T T T F F F F F T e. f. p q r p q p q r T T T F T T T F F T T F T T T T F F T F F T T F T F T F F T F F T F T F F F F T p q r p r q r p r q r T T T F T F T T F T T T T F T F T F T F F T F F F T T F T F F T F F T F F F T F T F F F F F F T Άσκηση Φ1.57 Γράψτε την αντίστροφη, την αντιθετική και την αντιστροφοαντίθετη πρόταση των: a. Αν χιονίσει σήμερα θα πάω για σκι αύριο b. Πηγαίνω στο μάθημα όταν έχουμε τεστ c. Ένας θετικός ακέραιος είναι πρώτος αριθμός μόνο αν δεν έχει διαιρέτες άλλους από το 1 και τον εαυτό του. a. Αντίστροφη: Αν πάω για σκι αύριο θα χιονίσει σήμερα a. Αντιθετική: Αν δεν χιονίσει σήμερα, δεν θα πάω για σκι αύριο a. Αντιστροφοαντίθετη: Αν δεν πάω για σκι αύριο δεν θα χιονίσει σήμερα (!!!)

b. Αντίστροφη: Όταν πηγαίνω στο μάθημα έχουμε τεστ b. Αντιθετική: Αν δεν έχουμε τεστ δεν πηγαίνω στο μάθημα b. Αντιστροφοαντίθετη: Όποτε δεν πάω στο μάθημα δεν έχουμε τεστ c. Αντίστροφη: Αν ένας θετικός ακέραιος δεν έχει διαιρέτες άλλους από το 1 και τον εαυτό του τότε είναι πρώτος αριθμός. c. Αντιθετική: Αν ένας θετικός ακέραιος δεν είναι πρώτος τότε εκτός τον εαυτό του και τη μονάδα έχει κι άλλους διαιρέτες c. Αντιστροφοαντίθετη: Αν ένας θετικός ακέραιος εκτός τον εαυτό του και τη μονάδα έχει κι άλλους διαιρέτες τότε δεν είναι πρώτος Σημείωση: Η άσκηση αυτή λύνεται ευκολότερα αν ονομάσουμε τις προτάσεις με σύμβολα, βρούμε αυτά που ζητά σε προτασιακό λογισμό και στη συνέχεια μεταφράσουμε σε φυσική γλώσσα Για παράδειγμα, στο ερώτημα c ας ονομάσουμε p: ένας θετικός ακέραιος είναι πρώτος και q: ένας θετικός ακέραιος δεν έχει διαιρέτες άλλους από τον εαυτό του και τη μονάδα. Η αρχική πρόταση είναι p q. H αντίστροφη θα είναι q p (η μετάφραση είναι παραπάνω) κ.ο.κ. Άσκηση Φ1.58 Τρεις φίλοι κάθονται σε ένα καφενείο. Ο καφετζής ρωτάει: «Θα πιείτε όλοι καφέ;» Ο πρώτος λέει: «Δεν ξέρω». Ο δεύτερος λέει «Δεν ξέρω». Ο τρίτος λέει: «Όχι» Σε ποιους θα πάει καφέ; Εξηγείστε το. Στην ερώτηση «Θα πιείτε όλοι καφέ;» η απάντηση του πρώτου θα ήταν «όχι» αν δεν ήθελε ο ίδιος καφέ. Εφόσον απαντά «Δεν ξέρω» σημαίνει ότι ο ίδιος μεν θέλει καφέ αλλά προφανώς δεν μπορεί να ξέρει τι θέλουν οι άλλοι. Γι αυτό και η απάντηση του δεν θα μπορούσε να είναι «ναι». Το ίδιο συμβαίνει και για τον δεύτερο. Ο τρίτος, για να είναι σίγουρος για το όχι, σημαίνει πως ο ίδιος δεν θέλει. Επομένως καφέ θα πιουν οι δύο πρώτοι. Άσκηση Φ1.59 Αν p: "x < 50" και q: "x > 40". (α) Γράψτε όσο μπορείτε πιο απλά τις παρακάτω προτάσεις

a. p b. q c. p q d. p q e. p q f. p q (β) Μία από τις παραπάνω προτάσεις είναι πάντα αληθής και μία είναι πάντα ψευδής. Εντοπίστε τις (α) a. x 50 b. x 40 c. 40<x<50 d. x<50 ή x>40 e. x<50 f. x 50 και x 40 (β) Η (d) είναι αληθής για όλα τα x ενώ η (f) είναι πάντα ψευδής- δεν υπάρχει x που να την ικανοποιεί Άσκηση Φ1.60 Dr Watson: Το έγκλημα, αν δεν το έκανε η υπηρέτρια ή ο μπάτλερ το έκανε ο μάγειρας ή ο κηπουρός. Αν το έγκλημα έγινε στο γραφείο τότε το περίστροφο ήταν το φονικό όπλο. Επιπλέον, αν το περίστροφο ήταν το φονικό όπλο τότε το έκανε ο μπάτλερ. Ο μάγειρας το έκανε αν και μόνο αν το έγκλημα έγινε στη τραπεζαρία. Αλλά δεν έγινε ούτε στη τραπεζαρία ούτε στο γραφείο. Ο κηπουρός το έκανε μόνο αν ήταν ερωτευμένος με την υπηρέτρια και, αν ήταν ερωτευμένος με την υπηρέτρια τότε ο θάνατος προκλήθηκε από δηλητήριο. Αλλά απ την άλλη, αν ο θάνατος δεν προκλήθηκε από δηλητήριο, τότε είτε το έκανε ο μάγειρας είτε η δεν το έκανε υπηρέτρια. Δεν είναι αλήθεια ότι το περίστροφο ήταν το φονικό όπλο ή ότι ο θάνατος προκλήθηκε με δηλητήριο Sherlock Holmes: Στοιχειώδες Watson. Φυσικά ο μπάτλερ το έκανε Τυποποιείστε το απόσπασμα του Arthur Conan Doyle και αποδείξτε ότι ο Sherlock Holmes έχει δίκιο. Έστω: Μ: To έκανε ο Μάγειρας, Κ: Το έκανε ο κηπουρός, Υ: Το έκανε η Υπηρέτρια, Β: Το έκανε ο Μπάτλερ, Γ: Έγινε στο γραφείο, Τ: Έγινε στην τραπεζαρία, Δ: Έγινε με δηλητήριο, Π: Έγινε με περίστροφο, Ε: Ο κηπουρός είναι ερωτευμένος με την υπηρέτρια Οι πρότασεις του Dr Watson μεταφέρονται ως εξής 1. (Υ Β) (Μ Κ) 2. Γ Π 3. Π Β

4. Μ Τ 5. Τ Γ 6. Κ Ε 7. Ε Δ 8. Δ Μ Υ 9. (Π Δ) Από την (9) και εφόσον (Π Δ) Π Δ προκύπτει ότι Π: Ψευδής και Δ: Ψευδής Από την 7 και εφόσον Δ: Ψευδής προκύπτει ότι Ε: Ψευδής Από την 6 και εφόσον Ε: Ψευδής προκύπτει και οτι Κ: Ψευδής Από την 5 προκύπτει ότι T:Ψευδής και Γ:Ψευδής άρα και λόγω της 4 M:Ψευδής Εφόσον Δ: Ψευδής, άρα Δ: Αληθής, από την 8 προκύπτει ότι Μ Υ: Αληθής Αλλά Μ:Ψευδής, άρα και Υ:Ψευδής ( Υ:Αληθής) Στην (1) to 2o μέλος είναι Ψευδής (K:Ψευδής kai M: Ψευδής) άρα υποχρεωτικά και το 1 ο μέλος είναι Ψευδής άρα το Υ Β είναι Αληθής. Εφόσον όμως Υ:Ψευδής τότε αναγκαστικά Β:Αληθής Άρα πράγματι ένοχος είναι ο μπάτλερ!!!