Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 14/2/2017. q r ( q r) p q ( p q)

Φροντιστήριο #1 Λυμένες Ασκήσεις σε Προτασιακό Λογισμό 14/2/2017 Άσκηση Φ1.1 Κατασκευάστε πίνακες αληθείας για τις παρακάτω προτάσεις. ( p ( p )) ( r) ( p ( r)) (( p ) r) ( p r) ( r) (a) p r p p ( p ) r ( r) ( p ( p )) ( 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) p r r p ( r) p ( p ) 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 (c) p r r p r ( p r) ( 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, και r, ατομικές προτάσεις. Αποδείξτε ότι οι προτάσεις p ( r) και (p ) (p r) είναι λογικά ισοδύναμες. Ισχύει η παρακάτω ισοδυναμία; p ( r) (p ) (p r) Δύο προτάσεις είναι λογικά ισοδύναμες εάν και μόνο εάν έχουν τις ίδιες τιμές αληθείας σε όλες τις γραμμές των πινάκων αληθείας τους. Πίνακες αληθείας : p r r p ( 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 r p p r ( p ) ( 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 r r p ( 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 r p p r (p ) (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 και, ατομικές προτάσεις. Αποδείξτε με πίνακες αληθείας ότι η πρόταση (p ) (p ) αποτελεί αντίφαση Αποδείξτε με χρήση ισοδυναμιών ότι η πρόταση (p ) (p ) αποτελεί ταυτολογία Αποδείξτε με χρήση ισοδυναμιών ότι η πρόταση (p ) (p ) αποτελεί ταυτολογία (1) Μια πρόταση αποτελεί αντίφαση όταν κάθε γραμμή του πίνακα αληθείας δίνει F. Πίνακας αληθείας : P p p ( p ) ( p ) ( p ) 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 ) ( p ) [ αντιµεταθετική] ( p ) ( p ) [ εαν... τότε ] ( p ) ( p ) Τ

(3) ( p ) ( p ) [ εαν... τότε ] ( p ) ( p ) [ de Morgan] ( p ) ( p ) [ προσεταιριστική ] p ( ( p )) [ προσεταιριστική ] p ( p ( )) [ ταυτολογία ] p ( p T ) [ απορροφητικό στοιχείο] p Τ [ απορροφητικό στοιχείο] T Άσκηση Φ1.4 Κατασκευάστε τον πίνακα αληθείας των παρακάτω προτάσεων (1) (p ) ( p) (2) ((p ) r) ( (p r) ) Είναι κάποια από αυτές τις προτάσεις ταυτολογία; Είναι κάποια από αυτές τις προτάσεις αντίφαση; (1) p p F F T T T T F T T T T T T F F F T T T T F T F T Από τον παραπάνω πίνακα αληθείας παρατηρούμε ότι η πρόταση (1) είναι ταυτολογία (2) r p r p r r p r F F F T T F F T T F F F T T T T T F F F F T F F F F F T T F F T T F F F T F T F T F F T T F T F F T T F T T T T T F F F T T F F T F T F T F T T T F T T T F T T

Επομένως η πρόταση (2) δεν είναι ούτε ταυτολογία ούτε αντίφαση. Άσκηση Φ1.5 Αγνοώντας όλες τις ενδεχόμενες συμβάσεις για την προτεραιότητα τελεστών, απαριθμείστε όλες τις ερμηνείες που θα μπορούσε να έχει η έκφραση p r. Είναι μεταξύ τους ισοδύναμες; Οι πιθανές ερμηνείες που έχει η έκφραση p r είναι οι ακόλουθες: p r p p p p 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 r p 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 r p p 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 r p p 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 r p p 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 r. Επίσης ισοδύναμες είναι και οι προτάσεις p και p. Η πέμπτη πρόταση δεν είναι ισοδύναμη με καμία από τις παραπάνω. Άσκηση Φ1.6 Ποιές από τις παρακάτω προτάσεις αποτελούν αντίφαση και ποιές ταυτολογία; ( p ) ( p ( p )) ( p ) ( p ) (( p ) ( r)) ( p ) ( p )

Μπορεί κανείς να χρησιμοποιήσει πίνακες αληθείας. Ωστόσο, μπορεί να καταλήξει στο ζητούμενο χρησιμοποιώντας ισοδυναμίες: (a) ( p ) ( p ( p )) ( p ) (( p p) ( p )) ( p ) ( T ( p )) ( p ) ( p ) ( p ) ( p ) T Άρα είναι ταυτολογία (b) ( p ) ( p ) ( p ) ( p ) F Άρα είναι αντίφαση (c) (( p ) ( r))) " p r ( ) ( p r) F ( p r) F Άρα είναι αντίφαση (c) ( p ) ( p ) ( p ) ( p ) 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 ) ) p είναι ταυτολογία. Άσκηση Φ1.10 p [αν τότε] [!"#ή] [%&"ί(%!)] * [+,-έ" +!"+/ί+] [0123 456] p [αν τότε] p [-7ή ά &)!)] p [πρ+στ%ριστική] p ["%,"+7+>ί%]? [%+ +()"#ό]? Χρησιμοποιώντας ισοδυναμίες, αποδείξτε τις παρακάτω προτάσεις: (p ) p p p ( r) (p ) (p r) (1) ( p ) p [ Αντιµεταθετική] p ( p ) [ Επιµεριστική] ( p p) ( p ) [ Ταυτολογία ] Τ ( p ) [ Ουδέτερο στοιχείο ] ( p ) [ Εαν... τότε ] p (2)

( p ) ( p r) [ Εαν... τότε ] ( p ) ( p r) [ Επιµεριστική] p ( r) [ Εαν... τότε ] p ( 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 Γιάννης είναι υγιής και = O Γιάννης είναι πλούσιος και r= Ο Γιάννης είναι σοφός. Γράψτε τις παρακάτω προτάσεις σε προτασιακό λογισμό: Ο Γιάννης δεν είναι πλούσιος αλλά είναι υγιής και σοφός Ο Γιάννης δεν είναι ούτε υγιής, ούτε πλούσιος ούτε σοφός Αν ο Γιάννης είναι υγιής και σοφός, τότε είναι πλούσιος Ικανή συνθήκη για να είναι ο Γιάννης πλούσιος είναι να είναι υγιής

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

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

Έστω p= Η πρίζα έχει χαλαρώσει και = η μηχανή δεν είναι στην πρίζα. Η πρόταση γράφεται p. Η άρνηση της είναι ( p ) = p που έχει το νόημα ότι Η πρίζα δεν έχει χαλαρώσει και η μηχανή είναι στην πρίζα. Έστω p= Αυτό το πρόγραμμα υπολογιστή έχει σφάλμα στις πρώτες 10 γραμμές και = το σύνολο δεδομένων στο οποίο εκτελείται το πρόγραμμα είναι ελλιπές. Η πρόταση γράφεται p. Η άρνηση της είναι ( p ) = p που έχει το νόημα ότι Αυτό το πρόγραμμα υπολογιστή δεν έχει σφάλμα στις πρώτες 10 γραμμές και το σύνολο δεδομένων στο οποίο εκτελείται δεν είναι ελλιπές. Έστω p= Το Ευρώ έχει την ψηλότερη τιμή όλων των εποχών και = το χρηματιστήριο έχει καταγράψει την κατώτατη τιμή. Η πρόταση γράφεται p Η άρνηση της είναι ( p ) = p που έχει το νόημα ότι Το Ευρώ δεν έχει την ψηλότερη τιμή όλων των εποχών ή το χρηματιστήριο δεν έχει καταγράψει την κατώτατη τιμή. Έστω p= Το τρένο άργησε και = το ρολόι μου πάει μπροστά. Η πρόταση γράφεται p. Η άρνηση της είναι ( p ) = p που έχει το νόημα ότι Το τρένο δεν άργησε και το ρολόι μου δεν πάει μπροστά. Άσκηση Φ1.16 Έστω p,, και r οι προτάσεις: p: Θα γράψω 10 στην τελική εξέταση του ΗΥ118 : Θα λύσω όλες τις ασκήσεις του ΗΥ118 r: Θα περάσω με 10 το ΗΥ118 Γράψτε τις ακόλουθες προτάσεις χρησιμοποιώντας τις p,, και r και λογικούς τελεστές. Θα πάρω 10 στο ΗΥ118 αλλά δεν θα λύσω όλες τις ασκήσεις Για να περάσω με 10 το ΗΥ118 είναι αναγκαίο να γράψω 10 στην τελική εξέταση Το να γράψω 10 στον τελικό και να λύσω όλες τις ασκήσεις επαρκεί για να το περάσω με 10 το ΗΥ118. r r p ( p ) 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 ( p ) ( p ). Να βρείτε μία απλούστερη πρόταση που να είναι ισοδύναμη με την πρόταση p p Να βρείτε μία απλούστερη πρόταση που να είναι ισοδύναμη με την πρόταση ( p p) p Ισχύει η ισοδυναμία ( p ) r ( p r) ( r); Αιτιολογείστε την απάντησή σας. (a) p p ( p p) ( p p) p p F Άρα η πρόταση p p είναι αντίφαση και το False είναι η απλούστερη δυνατή έκφρασή της.

(b) ( p p) p F p p (c ) Έστω p r p ( p ) r p r r ( p r) ( 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 μπορεί να γραφεί ισοδύναμα με χρήση μόνο των τελεστών και Αρκεί να καταλήξω σε μία πρόταση που να είναι ισοδύναμη με την αρχική, στην οποία να υπάρχουν μόνο αρνήσεις και λογικές διαζεύξεις. Πράγματι, p (p ) ( p) [ορισμός της ] ( p ) ( p) [ορισμός της ] (p ) ( 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 : υπάρχει ένας κίονας στο Δ1 Με βάση τις δύο επιγραφές προκύπτει ο παρακάτω πίνακας αληθείας: p p A1: p A2: p 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 A1: A2: p F F F F F T F T T F T T T T F F Έτσι, καταλήγουμε στο συμπέρασμα ότι ο κίονας βρίσκεται στο Δ1. Άσκηση Φ1.23 Ο Αντώνης λέει: O Χάρης λέει ψέματα Παναγιώτης λέει: Ο Αντώνης και ο Χάρης ποτέ δεν ψεύδονται Ο Χάρης απαντά Ο Παναγιώτης λέει την αλήθεια Υποθέτοντας ότι όποιος λέει ψέματα λέει πάντα ψέματα κι ότι όποιος λέει την αλήθεια λέει πάντα την αλήθεια, ποιος λέει την αλήθεια και ποιος ψέματα; Θέτουμε τις παρακάτω προτάσεις: p = «ο Αντώνης λέει αλήθεια» = «ο Παναγιώτης λέει αλήθεια» r = «ο Χάρης λέει αλήθεια» και σχηματίζουμε τον παρακάτω πίνακα: p r Α : r Π :( p r) Χ : 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 Όταν = T και το Π = T, ενώ όταν = F και το Π = F Όταν r = T και το Χ = T, ενώ όταν r = F και το Χ = F Επομένως, σύμφωνα με τους παραπάνω περιορισμούς καταλήγουμε στο συμπέρασμα ότι ισχύει p = T, = F, r = F. Η απόδοση του αποτελέσματος στην φυσική γλώσσα είναι ότι «ο Αντώνης λέει αλήθεια» ενώ «ο Παναγιώτης και ο Χάρης λένε ψέματα». Άσκηση Φ1.24 Ο δυαδικός τελεστής ΝΟR του προτασιακού λογισμού συνδέει δύο προτάσεις p και και η πρόταση r = p NOR διαβάζεται ως ούτε p ούτε. Η πρόταση αυτή είναι αληθής αν και μόνο αν και η p και η είναι ψευδείς προτάσεις. Δείξτε ότι οι προτάσεις (α) p (β) p και (γ) p μπορούν να γραφούν με ισοδύναμες εκφράσεις στις οποίες να γίνεται χρήση μόνο του τελεστή ΝΟR.

(α) Από τον παρακάτω πίνακα αληθείας παρατηρούμε ότι p pnorp P P pnorp p T T F F F F T T (β) Από τον παρακάτω πίνακα αληθείας παρατηρούμε ότι P Q pnorp NOR ( pnorp) NOR( NOR ) p F F T T F F F T T F F F T F F T F F T T F F T T (γ) Από τον παρακάτω πίνακα αληθείας παρατηρούμε ότι p ( pnor) NOR( pnor ) p Q pnor ( pnor) NOR( pnor ) p F F T F F F T F T T T F F T T T T F T T Άσκηση Φ1.25 Ο δυαδικός τελεστής ΝAND του προτασιακού λογισμού συνδέει δύο προτάσεις p και και η πρόταση r = p NAND διαβάζεται οι p και δεν ισχύουν ταυτόχρονα. Η πρόταση αυτή είναι ψευδής αν και μόνο αν και η p και η είναι αληθείς προτάσεις. Δείξτε ότι οι προτάσεις (α) p (β) p και (γ) p μπορούν να γραφούν με ισοδύναμες εκφράσεις στις οποίες να γίνεται χρήση μόνο του τελεστή NAND. (α) p p pnandp p T T F F F F T T p pnandp (β) p pnand ( pnand ) NAND( pnand ) p F F T F F F T T F F

T F T F F T T F T T p ( pnand ) NAND( pnand ) (γ) p pnandp NAND ( pnandp ) NAND( NAND ) p 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 ( pnandp ) NAND( NAND ) Άσκηση Φ1.26 Σε μία σπηλιά, υπάρχουν τρία σεντούκια, ένα κόκκινο ένα πράσινο και ένα μπλε, καθένα από τα οποία έχει τις εξής επιγραφές: Κόκκινο σεντούκι: Ο θησαυρός είναι εδώ. Μπλε σεντούκι: Ο θησαυρός δεν είναι εδώ. Πράσινο σεντούκι: Ο θησαυρός δεν είναι στο κόκκινο σεντούκι. Γνωρίζοντας ότι μόνο ένα σεντούκι έχει το θησαυρό και πως το πολύ μία επιγραφή είναι αληθής, μπορείτε να βρείτε που βρίσκεται ο θησαυρός; Έχουμε τις ακόλουθες προτάσεις: p = «ο θησαυρός είναι στο κόκκινο σεντούκι» = «ο θησαυρός είναι στο μπλε σεντούκι» r = «ο θησαυρός είναι στο πράσινο σεντούκι» και σχηματίζουμε τον παρακάτω πίνακα: p r Κ : p Μ : Π : 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,,r είναι παραπάνω/παρακάτω από ένα ακριβώς True. Άρα θα έχουμε τον παρακάτω πίνακα: p r Κ : p Μ : Π : p F F T F T T F T F F F T T F F T T F

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

F T F F F F (2) 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 F T F F F F T F F F F F (3) 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, : p: Ο Α ανήκει στη Φ1

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

Άσκηση Φ1.34 Αποδείξτε ότι p (p ) ( p ) (α) Χρησιμοποιώντας πίνακα αληθείας (β) Χρησιμοποιώντας νόμους ισοδυναμίας (ταυτότητες). α) Πίνακας Αληθείας p (p ) (p ) (p ) (p ) p 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 = (p ) ( p) = ( p ) ( p) = ( p ) ( p p ) ( ) ( p ) = ( p ) F F ( p) = ( p ) ( p) = (p ) ( p) αλλά p = ( p ) = (p ) ( p) Οπότε αποδείχτηκε ότι : p = (p ) (p ) Άσκηση Φ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 )] είναι ταυτολογία. α) p (p ) (p (p )) (p (p )) F F T F T F T T F T T F F F T T T T T T Παρατηρούμε ότι οι τιμές της τελευταίας στήλης είναι όλα Τ.Αυτό σημαίνει πως η πρότασή μου αποτελεί ταυτολογία β)

(p (p )) <=> (p ( p )) <=> [(p p) (p )] <=> [F (p )] <=> (p ) <=> (p ) <=> p <=> p T <=> T Οπότε αποτελεί ταυτολογία Άσκηση Φ1.37 Δείξτε κατά πόσον ισχύουν οι παρακάτω ισοδυναμίες, χρησιμοποιώντας δύο διαφορετικούς τρόπους για κάθε μία από αυτές. 1. ( p ) ( p ) 2. ( p ) r ( p ) r 3. (( p ) ) p 1. (p ) ( p ) <=> α) p (p ) ( p ) (p ) ( p ) F F F T F F T T F F T F T T T T T T T T Παρατηρούμε ότι οι δύο στήλες δεν έχουν τις ίδιες τιμές οπότε προκύπτει πώς οι δύο προτάσεις δεν είναι ισοδύναμες.

β) (p ) ( p ) <=> (p ) ( ( p) ) <=> p ( ) <=> p F <=> p 2. (p ) r <=> (p ) r α) p r (p ) (p ) r (p ) (p ) r F F F F F T F F F T F T T T F T F F F T F F T T F T T T T F F F F T F T F T F T T T T T F T T F T T T T T T F T Παρατηρούμε ότι οι προτάσεις είναι ισοδύναμες είναι ισοδύναμες β) (p ) r <=> ( p ) r <=> ( p ) r <=> (p ) r οπότε ισχύει η ισοδυναμία

3. ((p ) ) <=> (p ) α) p (p ) (p ) ) ((p ) ) F F Τ F T F T T T T T F F T F T T T T T Οι δύο προτάσεις είναι ισοδύναμες β) ((p ) ) <=> (( p ) ) <=> ( ( p ) ) <=> ( (p ) ) <=> ( (p ) ( )) <=> (p ) <=> (p ) <=> ( p ) <=> ( ( p ) ( )) <=> p <=> p που ισχύει Άρα οι προτάσεις είναι ισοδύναμες μεταξύ τους. Άσκηση Φ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 Ο Πέτρος βρίσκει σε μία σπηλιά δύο σεντούκια, το Α και το Β. Γνωρίζει ότι καθένα από αυτά περιέχει είτε ένα θησαυρό, είτε μία θανάσιμη παγίδα. Στο σεντούκι Α γράφει Τουλάχιστον ένα από τα δύο αυτά σεντούκια περιέχει ένα θησαυρό.. Στο σεντούκι Β γράφει Στο

σεντούκι A υπάρχει θανάσιμη παγίδα. Ο Πέτρος ξέρει πως είτε και οι δύο επιγραφές είναι σωστές, είτε και οι δύο λανθασμένες. Μπορεί ο Πέτρος να είναι σίγουρος σε ποιο σεντούκι υπάρχει ο θησαυρός; Έστω οι προτάσεις: a: Ο θησαυρός είναι στο Α b: Ο θησαυρός είναι στο Β Η επιγραφή στο σεντούκι Β λέει ότι: a (Το ότι ο θησαυρός είναι στο Β είναι ισοδύναμο με το ότι δεν είναι στο Α). Το γεγονός ότι ξέρουμε ότι και οι δύο επιγραφές είναι αληθείς ή ψευδείς, σημαίνει ότι οι επιγραφές έχουν την ίδια τιμή αληθείας (a b) <-> a Η μόνη περίπτωση στην οποία η παραπάνω πρόταση είναι αληθής είναι όταν η b=t είναι αληθής και η a=f.επομένως ο θησαυρός είναι στο Β και δεν είναι στο Α. a b (a b) a F F F T F T T T T F T F T T T F Άσκηση Φ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 ) αποτελεί ταυτολογία H πρόταση (p ) (p ) αποτελεί αντίφαση p (p ) (p p) Τ Τ

(p ) (p ) (p ) ( p ) p p (p p) ( ) F F F Άσκηση Φ1.42 Αποδείξτε ότι εάν p και r, τότε r p. Έχω p (1) και r (2) Ξέρουµε ότι αν p τότε p (3) Επίσης ξέρουµε ότι αν r και p τότε r p ΟΕ Άσκηση Φ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 ) ( p )) αποτελεί ταυτολογία. ((p ) ( p )) (( p ) (p )) ( p p) F T Άσκηση Φ1.45 Κάποιος είπε πως «Εάν η λογική δεν είναι ταυτόχρονα και χρήσιμη και ενδιαφέρουσα, τότε είναι είτε άχρηστη, είτε αδιάφορη». Έχει δίκιο; Αν ναι, αποδείξτε το, αν όχι αναφέρετε γιατί.

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

p ( p) ( p p) T T Άσκηση Φ1.48 Είναι οι δηλώσεις «το καλό φαγητό δεν είναι φθηνό» και «το φθηνό φαγητό δεν είναι καλό» λογικά ισοδύναμες; Δικαιολογείστε την απάντησή σας. Έστω g η πρόταση Το φαγητό είναι καλό και c η πρόταση το φαγητό είναι φθηνό Η πρόταση το καλό φαγητό δεν είναι φθηνό γράφεται: g c ενώ η πρόταση το φθηνό φαγητό δεν είναι καλό γράφεται: c g Παρατηρώ ότι η c g είναι η αντιστροφοαντίθετη της g c, άρα είναι ισοδύναµες Άσκηση Φ1.49 Αποδείξτε κατά πόσον ισχύει ότι 1. ( p ) ( p r) ( r) p 2. ( p ) r ( p r) ( r) Δημιουργούμε τους πίνακες αλήθειας 1. p r p p r (p ) (p r) p r r ( 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 r p (p ) r p r r (p r) ( 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.50 Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν δεν διαβάζεις, τότε δεν πας καλά στις εξετάσεις Εάν δεν πας καλά στις εξετάσεις, τότε δεν θα πάρεις πτυχίο Αποδείξτε χωρίς τη χρήση πίνακα αλήθειας ότι: Εάν δεν διαβάζεις, δεν θα πάρεις πτυχίο. Έστω p: Δεν διαβάζεις, : Δεν πας καλά στις εξετάσεις, r: Δεν θα πάρεις πτυχίο Τα δεδομένα μας είναι: p r Θέλω να αποδείξω ότι p r Αρκεί να αποδείξω ότι ((p ) ( r)) ( p r) είναι ταυτολογία ((p ) ( r)) ( p r) [Από τον ορισμό του αν τότε] ((p ) ( r)) ( p r) [Από τον ορισμό του αν τότε]

p ) ( r)) ( p r) p ) ( r) ( p r) [De Morgan, αντιμεταθετική] [De Morgan] (p ) ( r) ( p r) [προσεταιριστικότητα] (p ) ( r) p r [αντιμεταθετική ιδιότητα] p (p )) (r ( r)) [επιμεριστική ιδιότητα] p p) ( p ) ) ((r ) (r r)) T ( p )) ((r ) T) [Ουδέτερο στοιχείο] ( p ) (r ) p r p r T [απορροφητικό στοιχείο] T ο.ε.δ. Είναι ταυτολογία Άσκηση Φ1.51 Έστω p και οι προτάσεις: p= Έχει αποφασιστεί η εκλογή = Έχουν μετρηθεί οι ψήφοι Να εκφράσετε καθεμία από τις παρακάτω σύνθετες προτάσεις στα ελληνικά: p p p p p ( p ) p Έχουν μετρηθεί οι ψήφοι αλλά δεν έχει αποφασιστεί η εκλογή p Αν έχουν μετρηθεί οι ψήφοι τότε έχει αποφασιστεί η εκλογή p Αν δεν έχουν μετρηθεί οι ψήφοι τότε δεν έχει αποφασιστεί η εκλογή p Αν δεν έχει αποφασιστεί η εκλογή τότε δεν έχουν μετρηθεί οι ψήφοι p Η εκλογή έχει αποφασιστεί αν και μόνο άν έχουν μετρηθεί οι ψήφοι ( p )

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

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

1. ( p ) ( p) 2. ( p ) ( p ) 3. (( p ) r) s 1. p p p ( p ) ( p) T T T T T T F F F T F T T T T F F T T T 2. p p p ( p ) ( p ) T T F T T T F T F F F T T F F F F F T T 3. p r s p (p ) r ((p ) 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.55 Να δείξετε ότι: (1) οι ( p ) r και p ( r) δεν είναι λογικά ισοδύναμες (2) οι ( p ) r και ( p r) ( r) δεν είναι λογικά ισοδύναμες (3) οι ( p ) ( r s) και ( p r) ( s) δεν είναι λογικά ισοδύναμες (1) p r p r (p ) r p ( 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 r p ( p ) r p r r ( p r) ( 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 r s p r s (p ) (r s) p r s (p r) ( 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.56 Πέντε φίλοι έχουν πρόσβαση σε ένα chat room. Είναι δυνατόν να προσδιορίσετε ποιος μιλάει, αν είναι γνωστά τα εξής δεδομένα: Είτε ο Κώστας ή η Ηλιάνα ή και οι δύο μιλάνε. Είτε ο Ροβέρτος είτε ο Βασίλης, αλλά όχι και οι δύο, μιλάνε. Αν ο Αντώνης μιλάει, τότε μιλάει και ο Ροβέρτος. Ο Βασίλης και ο Κώστας είτε μιλάνε αμφότεροι είτε δεν μιλάει κανείς τους. Αν μιλάει η Ηλιάνα, τότε μιλάνε ο Αντώνης και ο Κώστας. Να εξηγήσετε το συλλογισμό σας. Έστω οι ατομικές προτάσεις Η: Η Ηλιάνα μιλάει Κ: Ο Κώστας μιλάει Ρ: Ο Ροβέρτος μιλάει Β: Ο Βασίλης μιλάει Α: Ο Αντώνης μιλάει Ισχύει: Η Κ Ρ Β Α Ρ (Β Κ) ( Β Κ) B K (B K) Η (Α Κ) Έστω ότι μιλάει η Ηλιάνα. Από (e) μιλάει ο Αντώνης και ο Κώστας Από (c) μιλάει ο Ροβέρτος Από (b) δεν μιλάει ο Βασίλης Από (d) δεν μιλάει ο Κώστας. Αντίφαση!!! Άρα η Ηλιάνα δεν μιλάει Από το (a) μιλάει ο Κώστας Από (d) μιλάει ο Βασίλης Από (b) δεν μιλάει ο Ροβέρτος Aπό (c) δεν μιλάει η Αντώνης (αντιστροφοαντίθετο) Άσκηση Φ1.57 Τέσσερις φίλοι θεωρούνται ύποπτοι για μη εξουσιοδοτημένη πρόσβαση σε ένα υπολογιστικό σύστημα. Οι φίλοι κατέθεσαν στις ανακριτικές αρχές. Η Αλίκη είπε ότι το

έκανε ο Κώστας, 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.58 Να κατασκευάσετε τον πίνακα αλήθειας για καθεμία από τις παρακάτω προτάσεις p ( p r) ( r) p r ( p ) ( p ) p r p r r a. P p p p 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. P r p r r p r 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 c. p r p p 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 p p (p ) ( p ) (p ) ( p ) 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 r p p 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 r p r r p r 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.59 Έστω p και οι προτάσεις:

p= Ο καιρός είναι καλός = Θα πάμε για μπάνιο Γράψτε στα ελληνικά τις παρακάτω προτάσεις και αν είναι δυνατόν απλοποιείστε τις p p p ( p ) ( p ) «Ο καιρός είναι καλός και δεν θα πάμε για μπάνιο» «Θα πάμε για μπάνιο αν και μόνο αν ο καιρός είναι καλός» Επειδή «Αν ο καιρός είναι καλός θα πάμε για μπάνιο» ( p ) ( p ) ( p ) ( p ) p, άρα και πάλι «Ο καιρός είναι καλός και δεν θα πάμε για μπάνιο» Άσκηση Φ1.60 Αποδείξτε με δύο τρόπους (με πίνακες αλήθειας και με ταυτότητες) τη λογική ισοδυναμία των παρακάτω προτάσεων ( p r) ( r) ( p ( p )) a.1 και και ( p ) r p p r p r r (p r) ( r) p (p ) r T T T T T T T T T T F F F F T F T F T T T T T T T F F F T F T F F T T T T T T T F T F T F F T F F F T T T T F T F F F T T T F T Παρατηρώ από τις δύο σκιασμένες στήλες ότι παίρνουν τις ίδιες τιμές αλήθειας a.2 από τον ορισμό του αν...τότε επιμεριστική ιδιότητα De Morgan αν...τότε ο.ε.δ. b.1

p p (p p )) p T T F F F T F F F F F T T F F F F F T T Παρατηρώ από τις δύο σκιασμένες στήλες ότι παίρνουν τις ίδιες τιμές αλήθειας b.2 \ \ ] \ \ ] \ \ ] ( \ \ \ ] F \ ] \ ] ο.ε.δ. Άσκηση Φ1.61 Γράψτε την αντίστροφη, την αντιθετική και την αντιστροφοαντίθετη πρόταση των: Αν χιονίσει σήμερα θα πάω για σκι αύριο Πηγαίνω στο μάθημα όταν έχουμε τεστ Ένας θετικός ακέραιος είναι πρώτος αριθμός μόνο αν δεν έχει διαιρέτες άλλους από το 1 και τον εαυτό του. a. Αντίστροφη: Αν πάω για σκι αύριο θα χιονίσει σήμερα a. Αντιθετική: Αν δεν χιονίσει σήμερα, δεν θα πάω για σκι αύριο a. Αντιστροφοαντίθετη: Αν δεν πάω για σκι αύριο δεν θα χιονίσει σήμερα (!!!) b. Αντίστροφη: Όταν πηγαίνω στο μάθημα έχουμε τεστ b. Αντιθετική: Αν δεν έχουμε τεστ δεν πηγαίνω στο μάθημα b. Αντιστροφοαντίθετη: Όποτε δεν πάω στο μάθημα δεν έχουμε τεστ c. Αντίστροφη: Αν ένας θετικός ακέραιος δεν έχει διαιρέτες άλλους από το 1 και τον εαυτό του τότε είναι πρώτος αριθμός. c. Αντιθετική: Αν ένας θετικός ακέραιος δεν είναι πρώτος τότε εκτός τον εαυτό του και τη μονάδα έχει κι άλλους διαιρέτες c. Αντιστροφοαντίθετη: Αν ένας θετικός ακέραιος εκτός τον εαυτό του και τη μονάδα έχει κι άλλους διαιρέτες τότε δεν είναι πρώτος Σημείωση: Η άσκηση αυτή λύνεται ευκολότερα αν ονομάσουμε τις προτάσεις με σύμβολα, βρούμε αυτά που ζητά σε προτασιακό λογισμό και στη συνέχεια μεταφράσουμε σε φυσική γλώσσα Για παράδειγμα, στο ερώτημα c ας ονομάσουμε p: ένας θετικός ακέραιος είναι πρώτος και : ένας θετικός ακέραιος δεν έχει διαιρέτες άλλους από τον εαυτό του και τη μονάδα.

Η αρχική πρόταση είναι p. H αντίστροφη θα είναι p (η μετάφραση είναι παραπάνω) κ.ο.κ. Άσκηση Φ1.62 Εκφράστε τους παρακάτω κανόνες χρησιμοποιώντας τις προτάσεις p: «Το μήνυμα ελέγχεται για ιούς» και : «Το μήνυμα στάλθηκε από άγνωστο σύστημα» χρησιμοποιώντας τους κατάλληλους λογικούς τελεστές Το μήνυμα ελέγχεται για ιούς όποτε στέλνεται από άγνωστο σύστημα Το μήνυμα στάλθηκε από άγνωστο σύστημα αλλά δεν ελέγθηκε για ιούς Είναι απαραίτητο να ελέγχεται το μήνυμα για ιούς όποτε σταλεί από άγνωστο σύστημα Όταν ένα μήνυμα δεν στέλνεται από άγνωστο σύστημα δεν ελέγχεται για ιούς p p p p p Άσκηση Φ1.63 1. Βρείτε την έξοδο των παρακάτω κυκλωμάτων: 2. Σχεδιάστε ένα κύκλωμα χρησιμοποιώντας πύλες NOT, OR και AND με εισόδους p, και r και έξοδο (( 1.a (p ( r)) 1.b ( p ) ( p r)

2. Άσκηση Φ1.64 Τρεις φίλοι κάθονται σε ένα καφενείο. Ο καφετζής ρωτάει: «Θα πιείτε όλοι καφέ;» Ο πρώτος λέει: «Δεν ξέρω». Ο δεύτερος λέει «Δεν ξέρω». Ο τρίτος λέει: «Όχι» Σε ποιους θα πάει καφέ; Εξηγείστε το. Στην ερώτηση «Θα πιείτε όλοι καφέ;» η απάντηση του πρώτου θα ήταν «όχι» αν δεν ήθελε ο ίδιος καφέ. Εφόσον απαντά «Δεν ξέρω» σημαίνει ότι ο ίδιος μεν θέλει καφέ αλλά προφανώς δεν μπορεί να ξέρει τι θέλουν οι άλλοι. Γι αυτό και η απάντηση του δεν θα μπορούσε να είναι «ναι». Το ίδιο συμβαίνει και για τον δεύτερο. Ο τρίτος, για να είναι σίγουρος για το όχι, σημαίνει πως ο ίδιος δεν θέλει. Επομένως καφέ θα πιουν οι δύο πρώτοι. Άσκηση Φ1.65 Έχετε μπροστά σας τρία κλειστά κουτιά. Το ένα περιέχει χρυσάφι και τα άλλα δύο είναι κενά. Κάθε κουτί έχει πάνω του μία επιγραφή. Κουτί 1: Το χρυσάφι δεν βρίσκεται εδώ, Κουτί 2: Το χρυσάφι δεν βρίσκεται εδώ, Κουτί 3: Το χρυσάφι βρίσκεται στο Kουτί 2. Επίσης, γνωρίζετε ότι μόνο μία από τις τρείς επιγραφές είναι αληθής. Ποιο κουτί έχει το χρυσάφι;

Έστω B i = To χρυσάφι βρίσκεται στο κουτί i Εφόσον ένα μόνο κουτί έχει χρυσάφι ξέρουμε ότι ισχύει ότι Εφόσον μία μόνο επιγραφή λέει την αλήθεια ξέρουμε ότι: Η οποία είναι ισοδύναμη με την πρόταση Από τον πίνακα αληθείας, προκύπτει ότι για να είναι αληθείς οι προτάσεις (2.1) και (2.3) πρέπει η πρόταση Β 1 να είναι αληθής και οι άλλες δύο ψευδείς. Επομένως, το χρυσάφι βρίσκεται στο κουτί 1.