Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 01/03/2016

Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 01/03/2016 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα και τα π.ο. των μεταβλητών που θα χρησιμοποιήσετε. 1. Κάποιος αριθμός είναι και άρτιος και περιττός 2. Όλες οι πάπιες μπορούν να κολυμπήσουν 3. Υπάρχει κάποια γυναίκα που την αγαπούν όλοι οι άντρες 4. Κάποιος χρειάστηκε βοήθεια και φώναξε την αστυνομία 5. Κανείς δεν μπορεί να αγνοήσει τον Πέτρο Λύση Άσκησης Φ2.1 1. Έστω: Α(x) = {ο x είναι άρτιος}, Π(x)={ο x είναι περιττός} Π.Ο.(x) = οι πραγματικοί αριθμοί x (Α(x) Π(x)) 2. Έστω: Π(x) = {ο x είναι πάπια}, Κ(x)={ο x μπορεί να κολυμπήσει} Π.Ο.(x) = όλα τα ζώα x ( Π(x) K(x)) 3. Έστω: Γ(x) = {ο x είναι γυναίκα}, Α(x)={ο x είναι άντρας}, L(x,y)={ο x αγαπάει τον y) Π.Ο.(x,y) = όλοι οι άνθρωποι x (Γ(x) y ( A(y) L(y,x))) 4. Έστω: B(x) = {ο x χρειάστηκε βοήθεια}, Α(x)={ο x φώναξε την αστυνομία}, Π.Ο.(x) = όλοι οι άνθρωποι x ( Β(x) Α(x)) 5. Έστω Α(x,y)={ο x αγνοεί τον y}, Π.Ο.(x) = όλοι οι άνθρωποι x Α(x, Πέτρος ) Άσκηση Φ2.2 Γράψτε τους παρακάτω αφορισμούς ως προτάσεις κατηγορηματικού λογισμού, χρησιμοποιώντας τις προτασιακές μορφές Υ(x,w) = Ο x είναι υπέρ του w και Κ(x,w) = Ο x είναι κατά του w και x, w, μεταβλητές στο σύνολο των ανθρώπων. 1. όλοι έχουν κάποιο εχθρό (εννοώντας ότι εχθρός είναι κάποιος που είναι κατά κάποιου άλλου) 2. Όλοι για έναν και ένας για όλους (εννοώντας ότι ένας σημαίνει κάποιος ). 3. Όποιος δεν είναι υπέρ μας, είναι εναντίον μας (εννοώντας ότι μας σημαίνει όλους εμάς )

4. Ό εχθρός του εχθρού σου είναι φίλος σου (εννοώντας ότι εχθρός είναι κάποιος που είναι κατά κάποιου άλλου ενώ φίλος είναι κάποιος που είναι υπέρ του, και σου σημαίνει οποιουδήποτε ) Λύση Άσκησης Φ2.2 1. y x(k(x,y) ) 2. x y Y(y,x) x y Y(x,y) 3. x y( Y(x,y) K(x,y)) 4. x y z( ( K(x,y) K(y,z)) Y(x,z) ) Άσκηση Φ2.3 Θεωρείστε τα παρακάτω κατηγορήματα P(x,y) = x>y Q(x,y) = x y R(x) = x 7=2 S(x) = x>9 Θεωρώντας ότι το π.ο. των x και y είναι το σύνολο των πραγματικών αριθμών, προσδιορίστε την αλήθεια των παρακάτω προτάσεων 1. y( S(y)) 2. x yp(x,y) 3. y xq(x,y) 4. x y(p(x,y) Q(x,y)) 5. xs(x) xr(x) 6. y x(s(y) Q(x,y)) 7. x y((r(x) S(y)) Q(x,y)) Λύση Άσκησης Φ2.3 1. F: Δεν είναι όλοι οι αριθμοί μικρότεροι ή ίσοι του 9 2. T: για κάθε αριθμό υπάρχει κάποιος που να είναι μικρότερός του 3. F: Δεν υπάρχει αριθμός y που να είναι μεγαλύτερος ή ίσος από όλους τους άλλους αριθμούς 4. Τ: Ένα από τα 2 κατηγορήματα πάντα θα ισχύει για οποιαδήποτε x,y, άρα και η διάζευξή τους 5. F: Δεν ισχύει το δεύτερο μέρος του κατηγορήματος καθώς υπάρχει ένας αριθμός x ώστε να ισχύει το R(x) 6. F: δεν υπάρχει αριθμός y μεγαλύτερος του 9 που να είναι μεγαλύτερος ή ίσος από όλους τους αριθμούς 7. Τ: αν το x ισούται με 9 και το y είναι μεγαλύτερο του 9, τότε το y θα είναι μεγαλύτερο του x. Άσκηση Φ2.4 Φτάνετε το βράδυ στο σπίτι σας και βρίσκετε το συγκάτοικό σας ενθουσιασμένο! Ισχυρίζεται ότι κατάφερε να αποδείξει πως υπάρχει ένας άρτιος, πρώτος αριθμός που είναι μεγαλύτερος από το 2. Για την ακρίβεια, ισχυρίζεται πως κατάφερε να αποδείξει πως y ((Π(y) y>2) A(y)) Όπου το y είναι φυσικός αριθμός, Π(y)= Ο y είναι πρώτος αριθμός, και A(y)= Ο y είναι άρτιος αριθμός. Καθώς λοιπόν ο συγκάτοικός σας γιορτάζει την τεράστια επιστημονική του ανακάλυψη, εσείς διαπιστώνετε ότι πραγματικά η πρόταση αυτή είναι αληθής! 1. Δώστε μία τιμή για την οποία η πρόταση του συγκάτοικού σας είναι αληθής.

2. Είναι η πρόταση αυτή αληθής όταν το πεδίο ορισμού της y είναι οι φυσικοί αριθμοί που είναι μικρότεροι ή ίσοι του 2; Εξηγείστε την απάντησή σας. 3. Εξηγείστε στο συγκάτοικό σας τι πραγματικά έπρεπε να αποδείξει, προκειμένου να μπορεί να ισχυριστεί ότι πράγματι υπάρχει άρτιος, πρώτος αριθμός μεγαλύτερος του 2. Λύση Άσκησης Φ2.4 1. Η πρόταση είναι αληθής για y=1. 2. Για y {0,2}, το A(y) δίνει true αλλά το y>2 δίνει False. Οπότε έχουμε F Τ που δίνει True. Για y=1 δείξαμε παραπάνω ότι η πρόταση ισχύει. Άρα, για πεδίο ορισμού τους φυσικούς που είναι μικρότεροι ή ίσοι του 2, η πρόταση ισχύει. 3. Έπρεπε να αποδείξει την πρόταση: y ( Π(y) y>2 A(y) ) Άσκηση Φ2.5 Προσδιορίστε την αλήθεια της πρότασης x y((α(x) Β(x,y)) A(y)) στις παρακάτω περιπτώσεις. Στην περίπτωση που η πρόταση είναι ψευδής, δώστε παραδείγματα τιμών των μεταβλητών που την κάνουν ψευδή. 1. Οι x,y είναι φυσικοί αριθμοί, Α σημαίνει άρτιος και Β σημαίνει ισούται. 2. Οι x,y είναι φυσικοί αριθμοί, Α σημαίνει άρτιος και Β σημαίνει ακέραιος διαιρέτης. 3. Οι x,y είναι φυσικοί αριθμοί, Α σημαίνει άρτιος και Β σημαίνει ακέραιο πολλαπλάσιο. 4. Οι x,y είναι τιμές αληθείας, Α σημαίνει False και Β σημαίνει αποκλειστική διάζευξη. Λύση Άσκησης Φ2.5 1. Τrue 2. False: πχ για x=6 και y=3 έχουμε T^T F ή T F που μας δίνει F 3. Τrue 4. True: γιατί άσχετα με την αλήθεια του B(x,y) θα έχω πάντα F F που δίνει T Άσκηση Φ2.6 (a) Προσδιορίστε την αλήθεια των παρακάτω προτάσεων, στις οποίες όλες οι μεταβλητές είναι ορισμένες στο σύνολο R των πραγματικών αριθμών. (1) x ( x = x) (2) x (x 2 =x) (3) x (x+3 = 3) (4) x (x+3<5) (5) x (x+3 < 10) (b) Επαναλάβετε το (α) για την περίπτωση που οι μεταβλητές είναι ορισμένες στο σύνολο Α={1, 2, 3, 4, 5}. Λύση Άσκησης Φ2.6 (a) (1) False, (2) True, (3) True, (4) True, (5) False (b) (1) True, (2) True, (3) False, (4) True, (5) True Άσκηση Φ2.7

Προσδιορίστε την αλήθεια των παρακάτω προτάσεων, εάν οι μεταβλητές x, y και z ορίζονται στο σύνολο Α={1, 3, 5, 6, 7, 8, 9, 10}. (1) x y (x 2 <y+1) (2) x y (x 2 + y 2 <12) (3) x y (x 2 + y 2 <12) (4) x y z (x 2 + y 2 <2z 2 ) (5) x y z (x 2 + y 2 <2z 2 ) Λύση Άσκησης Φ2.7 (1 ) True, δέστε τι ισχύει για x=1 (2) False, δέστε τι ισχύει για x=10 (3) False, δέστε τι ισχύει για x=y=10 (4) True (5) False, για z=1 δεν μπορούν να βρεθούν x και y τέτοια ώστε η πρόταση να είναι αληθής Άσκηση Φ2.8 Έστω M(x) = Ο x αγαπάει τα Μαθηματικά, P(x) = Ο x αγαπάει τoν Προγραμματισμό C(x) = Ox είναι Επιστήμων Πληροφορικής και F(x, y) = Οι x και y είναι φίλοι όπου x, y μεταβλητές που παίρνουν τιμές στο σύνολο των ανθρώπων α) Διατυπώστε στα Ελληνικά το νόημα των παρακάτω προτάσεων 1. x ((C(x) (M(x) P(x))) 2. x y(f(x,y) P(y)) 3. x y (C(x) C(y) F(x,y)) β) Διατυπώστε την άρνηση των παραπάνω προτάσεων αρχικά ως προτάσεις του κατηγορηματικού λογισμού και κατόπιν στα Ελληνικά. Λύση Άσκησης Φ2.8 (α) 1. Κάθε Επιστήμων Πληροφορικής αγαπά τα Μαθηματικά και τον Προγραμματισμό 2. Για κάθε άνθρωπο, υπάρχει κάποιος που, εάν είναι φίλος του, αγαπά τον προγραμματισμό. 3. Όλοι οι άνθρωποι είναι Επιστήμονες Πληροφορικής και έχουν τουλάχιστον ένα φίλο που δεν είναι Επιστήμων Πληροφορικής (ΑΝΤΙΦΑΣΗ γιατί εφόσον κάθε x έχει την ιδιότητα C, δεν μπορεί να υπάρχει y που να μην την έχει!). (β) 1. ( x ((C(x) (M(x) P(x)))) x ( (C(x) (M(x) P(x)))) x ( ( C(x) (M(x) P(x)))) x (C(x) (M(x) P(x))) x (C(x) ( M(x) P(x))) «Υπάρχει κάποιος άνθρωπος που είναι Επιστήμονας Υπολογιστών και που δεν αγαπά τα Μαθηματικά ή δεν αγαπά τον Προγραμματισμό» 2. ( x y (F(x,y) P(y))) x y ( (F(x,y) P(y))) x y(f(x,y) P(y)) «Υπάρχει κάποιος άνθρωπος τέτοιος που όλοι οι άνθρωποι είναι φίλοι του ενώ δεν τους αρέσει ο προγραμματισμός»

3. Εφόσον η πρόταση αυτή είναι αντίφαση, Ο συντομότερος τρόπος να γράψουμε την άρνησή της είναι TRUE (ταυτολογία ) Άσκηση Φ2.9 Έστω ότι η μεταβλητή x παίρνει τιμές από το σύνολο των αυτοκινήτων. Έστω επίσης οι προτασιακές μορφές Γ(x) = «Το x είναι γρήγορο» και Α(x)= «Το x είναι ακριβό». Γράψτε σε κατηγορηματικό λογισμό τις παρακάτω προτάσεις (Σημείωση: δεν επιτρέπεται να χρησιμοποιήσετε συντομογραφίες) 1. Υπάρχει το πολύ ένα αυτοκίνητο που είναι γρήγορο και δεν είναι ακριβό. 2. Υπάρχουν τουλάχιστον δύο αυτοκίνητα που είναι ακριβά ή γρήγορα. Λύση Άσκησης Φ2.9 1. x (( Γ(x) A(x)) Λ y((γ(y) A(y)) ( x=y ))) 2. x y (( Γ(x) v A(x)) Λ ((Γ(y) v A(y)) Λ ( x y )) Άσκηση Φ2.10 Έστω οι μεταβλητές x και y που παίρνουν τιμές από το σύνολο των ανθρώπων. Έστω επίσης τα παρακάτω κατηγορήματα με τα αντίστοιχα νοήματα: Parent(x, y) = O x είναι γονέας του y Ancestor(x, y) = O x είναι πρόγονος του y Sibling(x, y) = Ο / η x είναι αδερφός/η του/της y Αποδώστε το νόημα των παρακάτω προτάσεων με προτάσεις του κατηγορηματικού λογισμού 1. Κάθε άνθρωπος έχει ακριβώς δύο γονείς 2. Οι πρόγονοι ενός ανθρώπου ορίζονται ως οι γονείς του, ή ως οι γονείς των γονιών του. 3. Δύο παιδιά είναι αδέλφια εάν έχουν κάποιο κοινό γονέα. Λύση Άσκησης Φ2.10 1. x z w((parent(z, x) Parent(w, x) z w) ( q (Parent(q, x) (q= z q= w)))) 2. x y (Ancestor(x, y) ( Parent(x, y) ( z (Parent(x, z) Parent(z, y)))) 3. x y ( z (Parent(z, x) Parent(z, y)) Sibling(x, y)) Άσκηση Φ2.11 Διατυπώστε και μετά απλοποιείστε κατά το δυνατόν την άρνηση των παρακάτω προτάσεων: (1) x P(x) y Q(y) (2) x y R(x, y) (3) x y R(x, y) (4) y x z S(x, y, z) (5) x y (P(x) Q(y)) (6) x y (R(x, y) Z(y, x)) (7) y x (P(x) Q(y)) Λύση ΆσκησηςΦ2.11 (1) ( x P(x) y Q(y)) ( x P(x)) ( y Q(y)) ( x P(x)) ( y Q(y)) (2) ( x y R(x, y)) x y R(x, y) (3) ( x y R(x, y)) x y R(x, y)

(4) ( y x z S(x, y, z)) y x z S(x, y, z) (5) ( x y (P(x) Q(y))) x y ( (P(x) Q(y))) x y ( P(x) Q(y)) (6) ( x y(r(x, y) Z(y,x))) x y (R(x, y) Z(y, x)) x y ( R(x, y) Z(y,x)) x y R(x, y) Z(y,x)) (7) ( y x (P(x) Q(y))) y x ( P(x) Q(y)) y x ( P(x) Q(y)) Άσκηση Φ2.12 Έστω Α το σύνολο όλων των ανθρώπων. Γράψτε προτάσεις με ποσοδείκτες για τις ακόλουθες προτάσεις που είναι διατυπωμένες σε φυσική γλώσσα. Οι μεταβλητές των προτασιακών μορφών που χρησιμοποιείτε πρέπει να παίρνουν τιμές από το σύνολο Α. (a) Όλοι οι μπασκετμπολίστες είναι ψηλοί (b) Όλοι οι ψηλοί είναι μπασκετμπολίστες (c) Ανάμεσα σε όλους τους μπασκετμπολίστες, κάποιος είναι ψηλός (d) Όλοι οι άνθρωποι είναι μπασκετμπολίστες ή ψηλοί Λύση Άσκησης Φ2.12 Έστω Ψ(x) = {ο x είναι ψηλός}, και Μ(x) = {ο x είναι μπασκετμπολίστας}, με τη μεταβλητή x να παίρνει τιμές από το σύνολο Α όλων των ανθρώπων. (a) x (Μ(x) Ψ(x)) (για κάθε άνθρωπο ισχύει πως αν είναι μπασκετμπολίστας, τότε είναι ψηλός) (b) x (Ψ(x) Μ(x)) (για κάθε άνθρωπο ισχύει πως αν είναι ψηλός, τότε είναι μπασκετμπολίστας) (c) x (Μ(x) Ψ(x)) (υπάρχει κάποιος άνθρωπος ο οποίος αν είναι μπασκετμπολίστας τότε είναι και ψηλός). Προσέξτε ότι η πρόταση x (Μ(x) Ψ(x)) σημαίνει ότι υπάρχει κάποιος άνθρωπος που είναι και ψηλός και μπασκετμπολίστας. Αυτό όμως σημαίνει ότι πρέπει υποχρεωτικά να υπάρχουν μπασκετμπολίστες. Αντιθέτως, το νόημα της αρχικής πρότασης δεν αποκλείει το υποσύνολο των ανθρώπων που είναι μπασκετμπολίστες να είναι κενό. (d) x (Ψ(x) v Μ(x)) (οποιοσδήποτε άνθρωπος έχει τουλάχιστον μία από τις δύο αυτές ιδιότητες). Άσκηση Φ2.13 Έστω το παρακάτω σχήμα: Προσδιορίστε την αλήθεια των παρακάτω προτάσεων. Δικαιολογείστε την απάντησή σας. (a) t( Triangle ( t) Blue( t))

(b) x( Blue( x) Triangle ( x)) (c) y( Square( y) RightOf ( d, y)) (d) z( Square ( z) Gray ( z)) Λύση Άσκησης Φ2.13 (a) Αληθής, γιατί όλα τα τρίγωνα είναι μπλε. (b) Ψευδής, γιατί το e είναι μπλε αλλά δεν είναι τρίγωνο. (c) Ψευδής, γιατί δεν υπάρχει τετράγωνο σχήμα στα δεξιά του d. (d) Ψευδής, γιατί δεν υπάρχει γκρίζο τετράγωνο. Άσκηση Φ2.14 Γράψτε προτάσεις σε κατηγορηματικό λογισμό που να δηλώνουν τις παρακάτω έννοιες. (προσέξτε ότι οι προτάσεις αυτές μπορεί και να μην είναι αληθείς!). Ορίστε όποια κατηγορήματα χρειάζεστε. 1. Όλα τα τρίγωνα είναι πάνω από το j 2. Υπάρχει μαύρο τετράγωνο 3. Για όλους τους κύκλους, υπάρχει τετράγωνο με το ίδιο χρώμα. 4. Υπάρχει τετράγωνο έτσι ώστε για όλα τα τρίγωνα, το τετράγωνο να είναι δεξιά του xτριγώνου. Λύση Άσκησης Φ2.14 (a) x ( Triangle(x)Above (j,x) ) (b) x ( Black(x) Λ Square (x) ) (c) x (Circle (x) y(square (y) Λ (Color(x) = Color(y))))) (d) x (Square (x) Λ y (Triangle(y) RightOf(y,x))) Άσκηση Φ2.15 Διατυπώστε τις αρνήσεις των προτάσεων της άσκησης 2.14 (σε κατηγορηματικό λογισμό αλλά και σε φυσική γλώσσα). Λύση Άσκησης Φ2.15 a. x ( Triangle(x)Above (j,x) ) x (Triangle(x) Above(j,x)) x ( Triangle(x) Above(j,x)) x(triangle(x) Above(j,x)) Υπάρχει τρίγωνο που δεν είναι πάνω από το j b. x ( Black(x) Λ Square (x) ) x( Black(x) Square (x) ) Για όλα τα σχήματα ισχύει πως δεν είναι μαύρα ή δεν είναι τετράγωνα c. x (Circle (x) y(square (y) Λ (Color(x) = Color(y))))) x ( Circle (x) y(square (y) Λ (Color(x) = Color(y))))) x(circle (x) y(square (y) Λ (Color(x) = Color(y))))) x(circle (x) y (Square (y) Λ (Color(x) = Color(y))))) x(circle (x) y( Square (y) (Color(x) Color(y)))))

x(circle (x) y(square (y)(color(x) Color(y))))) Υπάρχει κύκλος x τέτοιος που όλα τα τετράγωνα έχουν διαφορετικό χρώμα απ αυτόν. ( d ) x ( Square( x) y( Triangle( y) Rightof ( y, x))) x( Square( x) y( Triangle( y) Rightof ( y, x))) x( Square( x) y ( Triangle( y) Rightof ( y, x))) x( Square( x) y( Triangle( y) Rightof ( y, x))) Για όλα τα σχήματα ισχύει πως δεν είναι τετράγωνα ή υπάρχει τρίγωνο έτσι ώστε το σχήμα να μη βρίσκεται στα δεξιά του τριγώνου Άσκηση Φ2.16 Έστω οι υποθέσεις για κάθε ακέραιο x, υπάρχει ακέραιος που είναι μεγαλύτερος από τον x και o αριθμός 500 είναι ακέραιος. Έστω το συμπέρασμα υπάρχει ακέραιος μεγαλύτερος του 500. 1. Διατυπώστε τις υποθέσεις και το συμπέρασμα ως πρόταση του κατηγορηματικού λογισμού. 2. Δείξτε κατά πόσον το συμπέρασμα προκύπτει λογικά από τις υποθέσεις. Λύση Άσκησης Φ2.16 Έστω P(x) = O x είναι ακέραιος Q(x,y) = O x είναι μεγαλύτερος του y Π.Ο.(x) = το σύνολο R (1) 1η υπόθεση: x y(p(x)p(y)λq(y,x)) 2η υπόθεση: P(500) συμπέρασμα: y(p(y)λq(y,500)) Οπότε η πρόταση γράφεται: ( x y(p(x)p(y)λq(y,x))λp(500)) y(p(y)λq(y,500)) (2) x y(p(x)p(y)λq(y,x))λp(500) αληθής, άρα y(p(500)p(y)λq(y,500))λp(500) αληθής, άρα y(p(y)λq(y,500)) Άσκηση Φ2.17 Αποδώστε ως προτάσεις του κατηγορηματικού λογισμού τις παρακάτω προτάσεις. Οι μεταβλητές σας πρέπει να παίρνουν τιμές στο σύνολο των ανθρώπων. 1. Ο Κώστας σύστησε τη Μάρθα σε ένα φοιτητή που κανένας άνθρωπος δεν συμπαθεί. 2. Αν και μόνο αν ο Κώστας μιλήσει σε όλους τους καθηγητές θα είναι η Μάρθα ικανοποιημένη. 3. Όλοι οι φοιτητές που αγόρασαν αυτοκίνητο, το πήγαν στο συνεργείο. 4. Ο Γιάννης σύστησε μόνο την Μαρία στον Κώστα. 5. Ο Γιάννης σύστησε τη Μαρία μόνο στον Κώστα.

ΛύσηΆσκησης Φ2.17 1. Έστω S(x,y,z) = Ο x σύστησε τον y στον z F(x) = Ο x είναι φοιτητής L(x,y)= O x συμπαθεί τον y x(s(κώστας,μάρθα,x)λ F(x)Λ y(l(y,x)) 2. Έστω T(x,y) = Ο x μιλάει στον y K(x) = Ο x είναι καθηγητής Η(x)= O x είναι ευχαριστημένος x (K(x) T(Κώστας,x)) H(Μάρθα) 3. Έστω Α(x) = Ο x αγοράζει αυτοκίνητο F(x) = Ο x είναι φοιτητής S(x)= O x πάει το αυτοκίνητο στο συνεργείο x ((F(x) Λ A(x))S(x)) 4. Έστω S(x,y,z) = Ο x σύστησε τον y στον z S(Γιάννης, Μαρία, Κώστας) Λ ( x(s(γιάννης, x, Κώστας) (x= Μαρία))) 5. Έστω S(x,y,z) = Ο x σύστησε τον y στον z S(Γιάννης, Μαρία, Κώστας) Λ ( x(s(γιάννης, Μαρία, x) (x=κώστας))) Άσκηση Φ2.18 Αποδώστε ως προτάσεις του κατηγορηματικού λογισμού τις παρακάτω προτάσεις. Οι μεταβλητές σας πρέπει να παίρνουν τιμές στο σύνολο των φυσικών οργανισμών. 1. Υπάρχουν πουλιά που τρώνε σκουλήκια 2. Δεν είναι απαραίτητο ότι όλα τα πουλιά τρώνε σκουλήκια. 3. Όλα τα πουλιά τρώνε μόνο σκουλήκια. 4. Κανένα πουλί δεν τρώει μόνο σκουλήκια. Λύση Άσκησης Φ2.18 Έστω Ε(x,y) = Ο x τρώει τον y Β(x) = O x είναι πουλί W(x) = Ο x είναι σκουλήκι 1. x (Β(x) Λ y (W(y) Λ E(x,y))) 2. ( x(β(x) y(w(y)λ Ε(x,y))))

3. x(β(x) y(ε(x,y)w(y))) 4. x(β(x) y z (W(y) Λ W(z) Λ E(x,y) Λ E(x,z) ) Άσκηση Φ2.19 Έστω Q(x,y)= x+y=x y με τις μεταβλητές x, y να παίρνουν τιμές από το σύνολο των ακεραίων. Βρέστε την τιμή αληθείας των παρακάτω προτάσεων. Δικαιολογείστε την απάντησή σας. (a) Q(1,1) (b) y Q(1,y) (c) x Q(x,2) (d) x y Q(x,y) (e) x y Q(x,y) (f) y x Q(x,y) (g) y x Q(x,y) (h) y xq(x,y) Λύση Άσκησης Φ2.19 x + y = x y 2y = 0 y = 0 Άρα η Q(x,y) επιστρέφει True όταν y = 0 Επομένως: Α)False b) False αφού μόνο για y = 0 ισχύει η Q(x,y) c) False γιατί 2 0 d)true e)true f)true g)false h)false Άσκηση Φ2.20 Για καθεμία από τις παρακάτω προτάσεις, διατυπώστε την άρνησή της ως πρόταση του κατηγορηματικού λογισμού και κατόπιν σε φυσική γλώσσα. 1. Σε όλους τους φοιτητές του CSD αρέσουν τα μαθηματικά. 2. Υπάρχει φοιτητής του ΗΥ118 που δεν έχει δει υπολογιστή στη ζωή του. 3. Υπάρχει φοιτητής του ΗΥ118 που έχει πάρει όλα τα μαθηματικά μαθήματα που προσφέρονται από το Τμήμα. 4. Υπάρχει ένας φοιτητής του ΗΥ118 που έχει επισκεφτεί τουλάχιστον ένα δωμάτιο κάθε κτιρίου του Πανεπιστημίου. Λύση Άσκησης Φ2.20 1. Έστω

F(x) = Ο x είναι φοιτητής C(x) = O x πάει στο CSD M(x) = στο x αρέσουν τα μαθηματικά x (F(x) Λ C(x) Λ M(x)) Υπάρχει φοιτητής του CSD που δεν του αρέσουν τα μαθηματικά. 2. Έστω F(x) = Ο x είναι φοιτητής C(x) = O x είναι φοιτητής του 118 S(x) = Ο x έχει δει υπολογιστή στη ζωή του x ((F(x) Λ C(x)) S(x)) Όλοι οι φοιτητές του ΗΥ118 έχουν δει υπολογιστή στη ζωή τους. 3. Έστω F(x) = Ο x είναι φοιτητής C(x) = O x είναι φοιτητής του 118 S(x,y) = Ο x παίρνει το μάθημα y Π.Ο.(x) = όλοι οι άνθρωποι Π.Ο(y) = όλα τα μαθηματικά μαθήματα του τμήματος x y ((F(x) Λ C(x)) S(x,y)) Κάθε φοιτητής του 118 δεν έχει πάρει κάποιο μαθηματικό μάθημα που προσφέρεται από το τμήμα. 4. Έστω F(x) = Ο x είναι φοιτητής C(x) = O x είναι φοιτητής του 118 V(x,y) = Ο x επισκέπτεται το δωμάτιο y Β(y,z) = To δωμάτιο y ανήκει στο κτίριο z Π.Ο.(x) = όλοι οι άνθρωποι Π.Ο(z) = όλα τα κτίρια του πανεπιστημίου Π.Ο(y) = όλα τα δωμάτια x z y ((F(x) Λ C(x)) (V(x,y) Λ B(y,z))) Κάθε φοιτητής του ΗΥ118 δεν έχει επισκεφτεί όλα τα δωμάτια κάποιου κτιρίου του Πανεπιστημίου. ή Για κάθε φοιτητή του ΗΥ118 υπάρχει ένα κτίριο του Πανεπιστημίου το οποίο δεν έχει επισκεφτεί. Άσκηση Φ2.21

Έστω P(x)= o x είναι πρώτος αριθμός, Ν(x)= o x είναι ακέραιος αριθμός, Ο(x)= o x είναι περιττός αριθμός, και G(x,y)= o x είναι μεγαλύτερος του y. Γράψτε τις ακόλουθες προτάσεις σε κατηγορηματικό λογισμό. 1. Ο μεγαλύτερος πρώτος ακέραιος αριθμός είναι περιττός 2. Κάθε πρώτος ακέραιος αριθμός μεγαλύτερος δύο άλλων αριθμών είναι περιττός. Λύση Άσκησης Φ2.21 Έστω Q(x) = N(x) Λ P(x) 1. x (Q(x) O(x) y (Q(y) G(x,y))) 2. x y z(( Q(x) Λ G(x,y) Λ G(x,z) Λ (x z)) O(x)) Άσκηση Φ2.22 Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά τον y". Αποδώστε το νόημα των παρακάτω προτάσεων με προτάσεις του κατηγορηματικού λογισμού. Λύση Άσκησης Φ2.22 1. Όλοι αγαπούν τον Νίκο. xp(x,νίκος) 2. Όλοι αγαπούν κάποιον. x yp(x,y) 3. Υπάρχει κάποιος τον οποίο όλοι αγαπούν. y x P(x,y) 4. Κανείς δεν αγαπά τους πάντες. x yp(x,y) 5. Υπάρχει κάποιος τον οποίο ο Νίκος δεν τον αγαπά. x P(Νίκος,x) 6. Υπάρχει κάποιος τον οποίον κανείς δεν αγαπά. y x P(x,y) 7. Υπάρχει ακριβώς ένα άτομο το οποίο όλοι αγαπούν. x y(p(y,x) Λ z((p(y,x)λ P(y,z)) x=z) x y(p(y,x) Λ z (P(y,z) Λ x z)) 8. Ο Νίκος αγαπά ακριβώς δύο άτομα. x y ((P(Νίκος,x) Λ P(Νίκος,y) Λ x y) Λ z (P(Νίκος,z) (z=xvz=y))))

9. Όλοι αγαπούν τον εαυτό τους. xp(x,x) 10. Υπάρχει κάποιος που αγαπά μόνο τον εαυτό του. x (P(x,x) Λ y (P(x,y)Λy x)) Άσκηση Φ2.23 Έστω x,y μεταβλητές στο σύνολο των ανθρώπων και προτασιακή μορφή Ρ(x,y) με το νόημα "ο x αγαπά τον y". Για καθεμία από τις παρακάτω προτάσεις, (α) διατυπώστε την σε φυσική γλώσσα (β) διατυπώστε την άρνησή της ως πρόταση του κατηγορηματικού λογισμού (γ) διατυπώστε το αποτέλεσμα του (β) σε φυσική γλώσσα. Λύση Άσκησης Φ2.23 1. x yp(x, y) a. Υπάρχει κάποιος άνθρωπος που τους αγαπά όλους b. x y P(x,y) c. Για κάθε άνθρωπο υπάρχει κάποιος που δεν τον αγαπάει ή αλλιώς δεν ισχύει ότι υπάρχει άνθρωπος που αγαπά όλους τους ανθρώπους 2. x yp(x,y) a. Όλοι αγαπιούνται από όλους b. (,) c. Υπάρχει κάποιος που δεν αγαπιέται 3. x yp( χ, y)) Υπάρχει κάποιος άνθρωπος που αγαπάει κάποιον άνθρωπο (,) Κανείς δεν αγαπά κανέναν 4. x yp(x,y) Όλοι αγαπάνε κάποιον άνθρωπο x y P(x,y) Υπάρχει κάποιος που δεν αγαπά κανέναν 5. x y (P(x, y) P(y,x)) Για όλους τους ανθρώπους, η αγάπη είναι αμοιβαία ((,) (,)) Υπάρχει κάποιος που αγαπάει «μονομερώς» Άσκηση Φ2.24

Διατυπώστε σε κατηγορηματικό λογισμό το θεώρημα σύμφωνα με το οποίο «Αν ένας πρώτος αριθμός p διαιρεί το γινόμενο a *b δύο ακέραιων a και b, τότε διαιρεί έναν, τουλάχιστον, από τους ακεραίους αυτούς». Μην ξεχάσετε να ορίσετε με σαφήνεια το νόημα των κατηγορημάτων που θα χρησιμοποιήσετε καθώς και τα πεδία ορισμού των μεταβλητών σας. Λύση Άσκησης Φ2.24 Κατηγορήματα Π(x): O x είναι πρώτος αριθμός Δ(x,y): O x διαιρεί τον y A(x): O x είναι ακέραιος Π.Ο. x R, y Z Υπόθεση Συμπέρασμα x a b ((( Π(x) Λ Α(a) Λ Α(b) Λ Δ(x,a*b)) (Δ(x,a) Δ(x,b))) Άσκηση Φ2.25 a. Εκφράστε τo παρακάτω ως πρόταση σε κατηγορηματικό λογισμό: «Υπάρχει κάποιος φοιτητής σε αυτή την αίθουσα ο οποίος έχει πάρει κάποιο μάθημα σε όλα τα Τμήματα της Σχολής Θετικών Επιστημών». Θα πρέπει να χρησιμοποιήσετε μόνο τις μεταβλητές φ, μ και τ για τους φοιτητές, τα μαθήματα και τα Τμήματα, αντίστοιχα. Προσδιορίστε το πεδίο της κάθε μεταβλητής. Επίσης, ορίστε ένα ή περισσότερα κατηγορήματα και τις αντίστοιχες προτασιακές μορφές. b. Γράψτε σε κατηγορηματικό λογισμό την άρνηση της έκφρασης που διατυπώσατε στο ερώτημα (a). c. Αποδώστε σε φυσική γλώσσα την έκφραση που διατυπώσατε στο ερώτημα (b). Λύση Άσκησης Φ2.25 a. Έστω φ: φοιτητής με Π.Ο. «Όλοι οι φοιτητές στην αίθουσα», μ: μάθημα με Π.Ο. «Όλα τα μαθήματα» τ: τμήμα, με Π.Ο. «Όλα τα Τμήματα ης Σχολής» Έστω η πρόταση E(φ,μ,τ) = Ο φ πήρε το μάθημα μ από το τμήμα τα Η πρόταση γράφεται: φ τ μ E(φ,μ,τ) b. φ τ μ E(φ,μ,τ) φ τ μ E(φ,μ,τ) c. Για κάθε φοιτητή στην αίθουσα ισχύει ότι δεν έχει πάρει κανένα μάθημα από κάποιο τμήμα Άσκηση Φ2.26 Αξιολογείστε την ορθότητα του παρακάτω συλλογισμού: "Ο Νίκος είναι είτε μπασκετμπολίστας είτε ποδοσφαιριστής, αλλά όχι και τα δύο. Οι μπασκετμπολίστες είναι ψηλοί. Ο Νίκος δεν είναι ψηλός. Επομένως, ο Νίκος είναι ποδοσφαιριστής".

Λύση Άσκησης Φ2.26 Έστω Β(x): O x είναι μπασκετμπολίστας, F(x): Ο y είναι ποδοσφαιριστής. Τ(x): O x είναι ψηλός. Τότε οι παραπάνω συλλογισμοί εκφράζονται σε κατηγορηματικό λογισμό 1. (Β(Νίκος) F(Νίκος)) Λ ( Β(Νίκος) Λ F(Νίκος)) 2. xb(x) Τ(x) 3. Τ(Νίκος) Και εξετάζουμε αν προκύπτει η 4. F(Νίκος) H 2 εφόσον ισχύει για όλα τα x θα ισχύει και για x= Νίκος. Άρα B(Νίκος) Τ(Νίκος) B(Νίκος) Τ(Νίκος). Επομένως έχουμε τα παρακάτω βήματα Από τις 2 & 3 έχουμε ( B(Νίκος) Τ(Νίκος)) Λ ( Τ(Νίκος)) ( Τ(Νίκος) Λ Τ(Νίκος)) v ( Τ(Νίκος) Λ B(Νίκος)) False v ( Τ(Νίκος) Λ B(Νίκος)) ( Τ(Νίκος) Λ B(Νίκος)). Άρα θα πρέπει ο Νίκος και να μην είναι ψηλός και να μην είναι μπασκετμπολίστας. Από την 1 έχουμε (Β(Νίκος) F(Νίκος)) Λ ( Β(Νίκος) Λ F(Νίκος)) (False F(Νίκος) ) Λ ( Β(Νίκος) F(Νίκος)) F(Νίκος) Λ ( Β(Νίκος) F(Νίκος)) F(Νίκος) Λ (True F(Νίκος)) F(Νίκος) Άρα ο Νίκος είναι ποδοσφαιριστής. Άσκηση 2.27 Έστω οι παρακάτω προτασιακές μορφές P( x, y): "O x διαιρεί τον y χωρίς υπόλοιπο", R(x) : "O x είναι πρώτος", S(x) : "Ο x είναι περιττός". Θεωρώντας ότι οι μεταβλητές x, y παίρνουν τιμές στο σύνολο των ακεραίων αριθμών, δώστε την τιμή αληθείας των παρακάτω προτάσεων, δικαιολογώντας την απάντησή σας: Λύση Άσκησης Φ2.27 1. x yp( χ, y) : Όλοι οι αριθμοί διαιρούν χωρίς υπόλοιπο τουλάχιστον ένα ακέραιο Τrue γιατί υπάρχει πάντα κάποιος αριθμός με αυτή την ιδιότητα. 2. x yp( χ, y) : Υπάρχει κάποιος ακέραιος αριθμός που διαιρεί χωρίς υπόλοιπο όλους τους υπόλοιπους ακεραίους Τrue, είναι ο 1

3. x y (P( x, y) vp( y,x)): Για οποιοδήποτε ακέραιο ισχύει ότι θα διαιρεί ή θα διαιρείται από κάποιο ακέραιο ή αυτοί οι ακέραιοι διαιρούν χωρίς υπόλοιπο τους προαναφερθέντες ακεραίους False πχ οι 2 και 3. Oύτε ο 2 διαιρεί ακέραια τον 3 ούτε ο 3 τον 2. 4. y x (S(y) Λ P( x, y)) : Υπάρχει κάποιος περιττός ο οποίος διαιρείται από όλους τους ακεραίους χωρίς υπόλοιπο False 5. x y [(R(x)ΛS(y))P( x, y)]: Για οποιουσδήποτε ακεραίους x και y, αν ο x είναι περιττός και ο y πρώτος, τότε ο ένας διαιρεί τον άλλο False Άσκηση Φ2.28 Έστω D το σύνολο των ανθρώπων. Έστω ότι η μεταβλητή x ορίζεται στο D. Ορίζουμε επίσης τις παρακάτω προτασιακές μορφές: Φ(x): O x είναι φτωχός T(x): O x είναι τεμπέλης Π(x): Ο x είναι πλούσιος Γράψτε σε φυσική γλώσσα το νόημα των παρακάτω προτάσεων 1. x(φ(x)τ(x)) 2. xφ(x) Λ xτ(x) 3. x(φ(x) Λ Τ(x)) 4. x (Φ(x) Τ(x)) 5. x (Φ(x) v Τ(x)) 6. xφ(x) Λ xπ(x) 7. x(φ(x) Λ Π(x)) 8. x(φ(x) v Π(x)) 9. x(φ(x) Λ Π(x)) 10. x (Φ(x) Λ Π(x)) Λύση Άσκησης Φ2.28 1. Εάν κάποιος είναι φτωχός τότε είναι και τεμπέλης (Ισοδύναμη έκφραση: Όλοι οι φτωχοί άνθρωποι είναι τεμπέληδες) 2. Όλοι οι άνθρωποι είναι φτωχοί και όλοι είναι τεμπέληδες 3. Για όλους ισχύει ότι είναι φτωχοί και τεμπέληδες 4. Για όλους ισχύει ότι εάν είναι φτωχοί τότε δεν είναι τεμπέληδες 5. Για όλους ισχύει ότι είναι ή φτωχοί ή τεμπέληδες 6. Υπάρχει κάποιος που είναι φτωχός και υπάρχει κάποιος που είναι πλούσιος (όχι αναγκαστικά το ίδιο άτομο)

7. Υπάρχει τουλάχιστον ένας άνθρωπος που είναι και φτωχός και πλούσιος (αναφερόμαστε στο ίδιο άτομο) 8. Υπάρχει τουλάχιστον ένας άνθρωπος που είναι ή φτωχός ή πλούσιος 9. Δεν υπάρχει κανείς άνθρωπος που να είναι φτωχός και πλούσιος μαζί 10. Υπάρχει τουλάχιστον ένας άνθρωπος που δεν είναι ούτε φτωχός ούτε πλούσιος (ισοδύναμη έκφραση: «που δεν είναι φτωχός και πλούσιος μαζί») Άσκηση Φ2.29 Χρησιμοποιώντας τους ορισμούς της Άσκησης Φ2.28, γράψτε τις παρακάτω προτάσεις ως προτάσεις του κατηγορηματικού λογισμού. 1. Όλοι οι φτωχοί άνθρωποι είναι τεμπέληδες. 2. Κάποιος τεμπέλης δεν είναι φτωχός. 3. Κάποιος είναι τεμπέλης και κάποιος είναι φτωχός. 4. Αν δεν ισχύει ότι όλοι οι τεμπέληδες είναι φτωχοί, τότε δεν ισχύει ότι όλοι οι φτωχοί είναι τεμπέληδες. 5. Το να μην είναι κανείς φτωχός δεν σημαίνει ότι είναι πλούσιος. Λύση Άσκησης Φ2.29 1. x ( Φ(x) T(x) ) 2. x ( T(x) ( Φ(x) ) ) 3. x ( T(x) ) y ( Φ(y) ) 4. ( ( x (T(x) Φ(x) ) ) ) ( (( y (Φ(y) Τ(y) ) ) ) 5. x( Φ(x) Π(x)) x(φ(x) Π(x)) x ( Φ(x) Π(x)) x( Φ(x) Π(x)) Άσκηση Φ2.30 Διατυπώστε την άρνηση των προτάσεων στις οποίες καταλήξατε στην προηγούμενη άσκηση σε όσο πιο απλοποιημένη μορφή γίνεται και μεταφράστε το νόημά τους σε φυσική γλώσσα. Λύση Άσκησης Φ2.30 1. ( ( x ( Φ(x) T(x) )) ) ( ( x ( Φ(x) T(x) )) ) ( ( x ( Φ(x) T(x) )) ) Ερμηνεία σε φυσική γλώσσα: «Υπάρχει τουλάχιστον ένας άνθρωπος που είναι φτωχός και δεν είναι τεμπέλης» 2. ( ( x ( T(x) ( Φ(x) ) ) ) ) x ( T(x) Φ(x) ) x (Τ(x) Φ(x)) Ερμηνεία σε φυσική γλώσσα: «Όλοι οι τεμπέληδες είναι φτωχοί» Ισοδύναμη έκφραση: «Δεν υπάρχει κανείς που να είναι τεμπέλης και μη φτωχός» 3. ( x ( T(x) ) y ( Φ(y) ) ) ( x ( T(x) ) y ( Φ(y) ) ) Ερμηνεία σε φυσική γλώσσα: «Όλοι οι άνθρωποι δεν είναι τεμπέληδες ή όλοι οι άνθρωποι δεν είναι φτωχοί» Ισοδύναμη έκφραση: «Όλοι οι άνθρωποι δεν είναι ούτε τεμπέληδες ούτε φτωχοί» 4. Για να βρούμε πιο εύκολα την απάντηση επεξεργαζόμαστε την πρόταση πριν την εφαρμογή της άρνησης για να καταλήξουμε σε μια πιο απλή μορφή. Έτσι έχουμε

( ( x (T(x) Φ(x) ) ) ) ( (( y (Φ(y) Τ(y) ) ) ) ( ( x (T(x) Φ(x) ) ) ) ( (( y (Φ(y) Τ(y) ) ) ) ( ( x ( T(x) Φ(x) ) ) ) ( (( y ( Φ(y) Τ(y) ) ) ) ( ( x ( T(x) Φ(x) ) ) ) ( (( y ( Φ(y) Τ(y) ) ) ) Στην τελευταία πρόταση εφαρμόζουμε την άρνηση. ( ( ( x ( T(x) Φ(x) ) ) ) ( (( y ( Φ(y) Τ(y) ) ) ) ) ( ( ( x (T(x) Φ(x) ) ) ) ( (( y ( Φ(y) Τ(y) ) ) ) ) x (T(x) Φ(x) ) y (Φ(y) Τ(y) ) Ερμηνεία σε φυσική γλώσσα: «Υπάρχει τουλάχιστον ένας άνθρωπος που είναι τεμπέλης και μη φτωχός και παράλληλα ισχύει ότι όλοι οι φτωχοί άνθρωποι είναι τεμπέληδες» 5. Εφαρμόζω την άρνηση στην πρώτη μορφή της πρότασης: ( x( Φ(x) Π(x))) x( Φ(x) Π(x)) Ερμηνεία σε φυσική γλώσσα: Αν κάποιος δεν είναι φτωχός τότε είναι πλούσιος Άσκηση Φ2.31 Ορίστε κατάλληλες προτασιακές μορφές, μεταβλητές και πεδία ορισμού, προκειμένου να εκφράσετε τις παρακάτω προτάσεις σε φυσική γλώσσα ως προτάσεις του κατηγορηματικού λογισμού. 1. Ο Βασίλης έχει τουλάχιστον μία αδελφή. 2. Ο Βασίλης δεν έχει καμία αδελφή. 3. Ο Βασίλης έχει το πολύ μια αδελφή. 4. Ο Βασίλης έχει (ακριβώς) μία αδελφή. 5. Ο Βασίλης έχει τουλάχιστον δύο αδελφές. 6. Κάθε φοιτητής παίρνει τουλάχιστον δύο μαθήματα. 7. Μόνο ένας φοιτητής δεν πέρασε την Ψηφιακή Σχεδίαση. 8. Κανένας φοιτητής δεν απέτυχε στη Γραμμική Άλγεβρα αλλά τουλάχιστον δύο φοιτητές απέτυχαν στα Διακριτά Μαθηματικά. 9. Κάθε φοιτητής που παίρνει τα Διακριτά Μαθηματικά επίσης παίρνει τον Προγραμματισμό. 10. Μία αδελφή του Βασίλη ήταν η μόνη πέρασε τη Γραμμική Άλγεβρα. Λύση Άσκησης Φ2.31 Έστω τα παρακάτω κατηγορήματα (ιδιότητες) στο πεδίο ορισμού των ανθρώπων 1. Α(x,y) : Ο x είναι αδέλφια με τον y 2. Γ(x): Ο x είναι γυναίκα

3. Φ(x): O x είναι φοιτητής 4. Μ(x,y) : Ο x παίρνει το y μάθημα 5. Π(x,y): Ο x πέρασε το y μάθημα Τότε οι δοσμένες προτάσεις θα μπορούσαν να μεταφραστούν σε κατηγορηματικό λογισμό κάνοντας χρήση των παραπάνω κατηγορημάτων ως εξής: 1. x (Α(Βασίλης,x) Γ(x)) 2. x (Α(Βασίλης,x) Γ(x)) 3. x y ( (Α(Βασίλης,x) Γ(x) Α(Βασίλης,y) Γ(y) ) x=y ) 4. x (Α(Βασίλης,x) Γ(x)) x y ((Α(Βασίλης,x) Γ(x)) (Α(Βασίλης,y) Γ(y)) (x=y)) 5. x y ((Α(Βασίλης,x) Γ(x)) (Α(Βασίλης,y) Γ(y)) (x y)) 6. x y z ( (Φ(x) Μ(x,y) (Μ(x,z)) (y z)) 7. x (Φ(x) Π(x,Ψηφιακή σχεδίαση)) x y (Φ(x) Φ(y) ) Π(x,Ψηφιακή σχεδίαση) ) Π(y,Ψηφιακή σχεδίαση) ) (x=y)) 8. x (Φ(x) Π(x,Γραμμική Άλγεβρα)) y z(φ(y) Φ(z) ( Π(y,Διακριτά μαθηματικά)) ( Π(z,Διακριτά Μαθηματικά)) (y z)) 9. x ((Φ(x) Μ(x,Διακριτά Μαθηματικά)) Μ(x,Προγραμματισμός)) 10. x( (Φ(x) Π(x, Γραμμική Άλγεβρα) Γ(x) Α(Βασίλης,x)) y (Π(y, Γραμμική Άλγεβρα) (y=x))) Ερμηνεία: Υπάρχει κάποιος με τις ακόλουθες ιδιότητες : είναι φοιτητής, γυναίκα, πέρασε τη Γραμμική Άλγεβρα, και αδέλφια με το Βασίλη, και αν κάποιος έχει περάσει τη γραμμική άλγεβρα είναι αναγκαστικά το προηγούμενο άτομο. Επομένως ακριβώς μια αδελφή του Βασίλη είναι το μοναδικό άτομο που πέρασε την Γραμμική Άλγεβρα. Άσκηση Φ2.32 Κάποιος συνάδελφός σας με ρώτησε κατά πόσον ισχύει η παρακάτω ισοδυναμία: x y P(x,y) xp(x,y) Λ yp(x,y). Τι θα του απαντούσατε εσείς; Λύση Άσκησης Φ2.32

Η εν λόγω ισοδυναμία δεν ισχύει αφού στην πρώτη περίπτωση δεν υπάρχει καμία ελεύθερη μεταβλητή, ενώ στη δεύτερη περίπτωση αντίστοιχα δεν δεσμεύεται η y στην περίπτωση του x P(x,y) και στην δεύτερη η x στην περίπτωση y P(x,y). Επομένως η δεύτερη περίπτωση δεν αποτελεί καν πρόταση. Άσκηση Φ2.33 Θεωρείστε τις παρακάτω προτάσεις που διατυπώνονται σχετικά με ένα πάρτι. 1. Όλοι οι συγγενείς και οι φίλοι που προσκλήθηκαν στο πάρτι καθυστέρησαν. 2. Υπάρχει τουλάχιστον ένας προσκεκλημένος που ήρθε στην ώρα του. 3. Υπάρχει τουλάχιστον ένας προσκεκλημένος που δεν είναι ούτε συγγενής ούτε φίλος. a) Ορίστε μεταβλητές, τα πεδία ορισμού τους και προτασιακές μορφές προκειμένου να διατυπώσετε τις παραπάνω προτάσεις ως προτάσεις στον κατηγορηματικό λογισμό. b) Αποδείξτε ότι η πρόταση (3) αποτελεί λογική συνέπεια των προτάσεων (1) και (2). Λύση Άσκησης Φ2.33 Έστω τα παρακάτω κατηγορήματα (ιδιότητες) στο πεδίο ορισμού των ανθρώπων 1. Σ(x) : Ο x είναι συγγενής 2. Φ(x) : Ο x είναι φίλος 3. Κ(x): Ο x καθυστέρησε στο πάρτυ 4. Π(x): Ο x προσκλήθηκε στο πάρτυ Τότε οι δοσμένες προτάσεις θα μπορούσαν να μεταφραστούν σε κατηγορηματικό λογισμό κάνοντας χρήση των παραπάνω κατηγορημάτων ως εξής: 1. x ( ((Σ(x) Φ(x) ) Π(x)) Κ(x)) ) 2. x (Π(x) Κ(x)) 3. x (Π(x) Σ(x) Φ(x) ) Από την (2) Π(α) Κ(α) για κάποιον α Από αυτήν προκύπτει ότι Π(α) (4) και ότι Κ(α) (5) Γι αυτόν (τον α), επειδή Κ(α), εξαιτίας της (1) ισχύει ότι (Σ(α) Φ(α)) δηλαδή ότι Σ(α) Φ(α) (6) Επομένως, x (Π(x) Σ(x) Φ(x) )

Άσκηση Φ2.34 Αποδείξτε ότι z Q( z) x y( R( x, y) ( P( x) Q( y))) x( R( x, x) P( x)) Λύση Άσκησης Φ2.34 Γνωρίζουμε ότι 1. z Q(z) και 2. x y (R(x,y) (P(x) Q(y))) Η 2 ισχύει για κάθε y άρα και για y=x οπότε x (R(x,x) (P(x) Q(x))) Ξέρουμε επίσης ότι z Q(z) (1) και έστω ότι αυτό είναι το α. Άρα, Q(α) Γι αυτό το α ισχύει ότι R(α,α) (P(α) Q(α))) Και εφόσον Q(α) προκύπτει ότι x (R(x,x) P(x)) Άσκηση Φ2.35 (a) Καθορίστε την αλήθεια καθεμίας από τις παρακάτω προτάσεις στο σύνολο των πραγματικών αριθμών και εξηγείστε σύντομα την απάντησή σας: (1) x, x =x, (2) x, x 2 =x, (3) x, x+1>x, (4) x, x+2=x, (5) x, x 2 2x+5=0 (b) Διατυπώστε την άρνηση της καθεμίας από τις παραπάνω προτάσεις. Λύση Άσκησης Φ2.35 (a)

(1) Ψευδής (δεν ισχύει για x<0) (2) Αληθής (ισχύει x=1) (αρκεί να βρούμε ένα) (3) Αληθής (είναι ταυτολογία, 1>0) (4) Ψευδής (αποτελεί αντίφαση, 2=0) (5) Ψευδής (το πολυώνυμο δεν έχει λύση, Δ<0) (b) (1) x, x x (2) x, x 2 x (3) x, x+1<=x (4) x, x+2 x (5) x, x 2 2x+5 0 Άσκηση Φ2.36 Καθορίστε την αλήθεια για καθεμία από τις παρακάτω προτάσεις όπου τα x, y, z ορίζονται στο σύνολο Α={1, 2, 3} (1) x y, x 2 <y+1 (2) x y, x 2 +y 2 <2z 2 (3) x y, x 2 +y 2 <12, (4) x y z, x 2 +y 2 <2z 2 (5) x y z, x 2 +y 2 <2z 2 Λύση Άσκησης Φ2.36 (1) Αληθής (2) Αυτή δεν είναι πρόταση, δεδομένου ότι το z δεν δεσμεύεται από κάποιο ποσοδείκτη. Άρα δεν μπορούμε να μιλάμε για την αλήθειά της. (3) Ψευδής (4) Αληθής (5) Ψευδής Άσκηση Φ2.37 Έστω Α, Β, Γ, Δ και Ε τα παρακάτω κατηγορήματα, με τη μεταβλητή x να ορίζεται στο σύνολο όλων των διαφορετικών αυτοκινήτων, την μεταβλητή y να ορίζεται στο σύνολο των επαγγελμάτων και την μεταβλητή z στο σύνολο {Αντώνης, Κώστας, Γιάννης}: A(x) = «Το αυτοκίνητο x κατασκευάστηκε στην Ευρώπη» Β(x) = «Το αυτοκίνητο x εισάχθηκε στην Ευρώπη» C(x) = «Το αυτοκίνητο x κατασκευάστηκε πριν το 2000» D(x) = «Το αυτοκίνητο x κοστίζει τουλάχιστον 7,000 Ευρώ» Ε(x, y)= «Ο ιδιοκτήτης του αυτοκινήτου x έχει το επάγγελμα y» Ζ(x, z)= «Ο ιδιοκτήτης του αυτοκινήτου x ονομάζεται z»

Γράψτε προτάσεις του κατηγορηματικού λογισμού για τις ακόλουθες προτάσεις: (1) «Υπάρχει αυτοκίνητο που κατασκευάστηκε στην Ευρώπη μετά το 2000 και κοστίζει τουλάχιστον 7,000 ευρώ» (2) «Κανένας ποδοσφαιριστής δεν έχει αυτοκίνητο που να κοστίζει λιγότερο από 7,000 ευρώ» (3) «Ένα αυτοκίνητο έχει εισαχθεί στην Ευρώπη και κοστίζει λιγότερο από 7,000 ευρώ αν και μόνο αν κατασκευάστηκε πριν το 2000» (4) «Ο Κώστας έχει ένα μόνο αυτοκίνητο, και αυτό κοστίζει τουλάχιστον 7,000 ευρώ» (5) «Ο Κώστας έχει ένα μόνο αυτοκίνητο που να κοστίζει τουλάχιστον 7,000 ευρώ» Λύση Άσκησης Φ2.37 (1) x(a(x) C(x) D(x)) (2) x(e(x, «Ποδοσφαιριστής») D(x)) (3) x((b(x) D(x)) C(x)) (4) (!x(z(x,«κώστας»))) ( r(z(r,«κώστας») D(r))) (5)!x((Z(x, «Κώστας») D(x)) Άσκηση Φ2.38 Έστω Φ(x): O x είναι φοιτητής, Κ(x): O x είναι καθηγητής, Ν(x,y): O x είναι νεώτερος από τον y. Αποδώστε σε κατηγορηματικό λογισμό την έννοια της πρότασης «Κάθε φοιτητής είναι νεώτερος από κάποιο καθηγητή» θεωρώντας μεταβλητές στο σύνολο των ανθρώπων. Λύση Άσκησης Φ2.38 x y(φ(x) K(y)) N(x,y)) Άσκηση Φ2.39 Αποδείξτε ότι το παρακάτω συμπέρασμα Σ προκύπτει λογικά από τις προϋποθέσεις Π 1, Π 2 και Π 3 χρησιμοποιώντας κατηγορηματικό λογισμό. Σημείωση: Θεωρείστε μία μεταβλητή x που παίρνει τιμές από το σύνολο όλων των αλόγων. Π 1: Κάθε άλογο που έχει δηλωθεί για τον σημερινό αγώνα δεν είναι καθαρόαιμο. Π 2: Κάθε άλογο που έχει δηλωθεί στον σημερινό αγώνα έχει κερδίσει έναν αγώνα αυτό το χρόνο. Π 3: Υπάρχει άλογο που έχει δηλωθεί στο σημερινό αγώνα. Σ: Υπάρχει άλογο που έχει κερδίσει έναν αγώνα αυτό το χρόνο και δεν είναι καθαρόαιμο. Λύση Άσκησης Φ2.39 Έστω Δ(x): To x έχει δηλωθεί στον σημερινό αγώνα, Κ(x): To x είναι καθαρόαιμο και Ν(x): To x έχει κερδίσει έναν αγώνα φέτος.

Από Π3: Έστω α ένα άλογο που έχει δηλωθεί στο σημερινό αγώνα. Άρα Δ(α)=Τ (1) Από Π1: x(δ(x) K(x)). Ισχύει και για το α, άρα Κ(α)=Τ (2) Από Π2: x(δ(x) Ν(x)) Ισχύει και για το α, άρα και Ν(α)=Τ (3) Από (2) και (3) για το α ισχύει Ν(α) Κ(α), επομένως x(n(x) Κ(x)) (Σ) ο.ε.δ. Άσκηση Φ2.40 Να μεταφράσετε καθεμία από τις παρακάτω προτάσεις σε λογικές εκφράσεις χρησιμοποιώντας κατηγορήματα, ποσοτικούς δείκτες και λογικούς τελεστές a. Κανείς δεν είναι τέλειος b. Δεν είναι όλοι τέλειοι c. Όλοι οι φίλοι σου είναι τέλειοι d. Τουλάχιστον ένας από τους φίλους σου είναι τέλειος e. Καθένας είναι φίλος σου και είναι τέλειος f. Δεν είναι όλοι φίλοι σου ή κάποιος δεν είναι τέλειος Λύση Άσκησης Φ2.40 Εστω Τ(x): O x είναι τέλειος, F(x): Ο x είναι φίλος σου. Η μεταβλητή x παίρνει τιμές από το σύνολο όλων των ανθρώπων a. Κανείς δεν είναι τέλειος %() %() b. Δεν είναι όλοι τέλειοι %() %() c. Όλοι οι φίλοι σου είναι τέλειοι (&() %()) d. Τουλάχιστον ένας από τους φίλους σου είναι τέλειος (&() %()) e. Καθένας είναι φίλος σου και είναι τέλειος (&() %()) f. Δεν είναι όλοι φίλοι σου ή κάποιος δεν είναι τέλειος &() %()) &() %() &() %() ( &() %()) Άσκηση Φ2.41 Να εκφράσετε την άρνηση των παρακάτω προτάσεων χρησιμοποιώντας ποσοτικούς δείκτες και στη συνέχεια να εκφράσετε αυτή την άρνηση σε ελληνικά a. Μερικοί οδηγοί δεν υπακούν στο όριο ταχύτητας b. Όλα τα σουηδικά φιλμ είναι σοβαρά c. Κανένας δεν κράτησε ένα μυστικό d. Υπάρχει κάποιος σ αυτή την τάξη που δεν έχει καλή συμπεριφορά Λύση Άσκησης Φ2.41 a. Ο(x): Ο O(x): Ο x είναι οδηγός Υ(x): Ο x υπακούει στο όριο ταχύτητας Π.Ο: Όλοι οι άνθρωποι

()() *()) Άρνηση: ( +)() *(),) ( )() *()) ()() *()) Ερμηνεία: Όλοι οι οδηγοί υπακούν στο όριο ταχύτητας b. S(x): To x είναι Σουηδικό φιλμ Η(x): Το x είναι σοβαρό φιλμ Π.Ο. Όλα τα φιλμ (-().()) Άρνηση: ( +-().(),) ( + -().(),) ( -().()) (-().()) Ερμηνεία: Υπάρχει σουηδικό φιλμ που δεν είναι σοβαρό c. K(x): O x κρατάει μυστικό Π.Ο. Οι άνθρωποι /() /() Άρνηση: ( /() ) /() Υπάρχει κάποιος που κράτησε μυστικό d. T(x): O x είναι στην τάξη Β(x): O x έχει καλή συμπεριφορά Π.Ο. Όλοι οι φοιτητές (%() 0()) Άρνηση: (%() 0() (%() 0()) ( %() 0()) (%() 0()) Ερμηνεία: Όλοι στην τάξη έχουν καλή συμπεριφορά Άσκηση Φ2.42 Να εκφράσετε καθεμία από τις από τις παρακάτω προτάσεις με κατηγορήματα και ποσοτικούς δείκτες a. Ένας πελάτης μιας αεροπορικής εταιρίας θεωρείται προνομιούχος, αν πετάει περισσότερα από 25.000 μίλια το χρόνο ή αν κάνει περισσότερες από 25 πτήσεις το χρόνο b. Ένας άνδρας προκρίνεται στο μαραθώνιο αν ο καλύτερος προηγούμενος χρόνος του είναι 3 ώρες και μια γυναίκα, αν ο καλύτερος προηγούμενος χρόνος της είναι μικρότερος από 3.5 ώρες c. Ένας φοιτητής πρέπει να πάρει τουλάχιστον 60 ώρες μαθημάτων ή τουλάχιστον 45 ώρες και να γράψει μια εργασία και επίσης να μην έχει βαθμό μικρότερο από 7 σε όλα τα μαθήματα για να λάβει το μεταπτυχιακό τίτλο

d. Υπάρχει φοιτητής που έχει πάρει περισσότερες από 21 διδακτικές ώρες σε ένα εξάμηνο και πήρε 10 σε όλα τα μαθήματα Λύση Άσκησης Φ2.42 a. P(x): O x είναι προνομιούχος πελάτης Μ(x,y): O x πετάει περισσότερα από y μίλια το χρόνο F(x,y): O x κάνει περισσότερες από y πτήσεις το χρόνο Π.Ο. x: Οι πελάτες της εταιρίας, y N (+2(,25000) &(,25), ()) b. A(x): O x είναι άνδρας, W(x): O x είναι γυναίκα (θα μπορούσαμε ισοδύναμα να πούμε ㄱ A(x)) M(x): O x προκρίνεται στο μαραθώνιο Τ(x,y): Ο καλύτερος χρόνος του x είναι y Π.Ο. x: Ολοι οι άνθρωποι, y R (((6() %(,3)) (8() %(,3.5))) 2()) c. Η(x,y): O x παίρνει τουλάχιστον y ώρες μαθημάτων P(x): O x γράφει εργασία G(x,w,z): O x παίρνει βαθμό τουλάχιστον w στο μάθημα z Μ(x): O x παίρνει MSc Π.Ο.: x: Το σύνολο των φοιτητών, y N, w R, z: To σύνολο των μαθημάτων (:+) (.(,60) +.(,45) (),) =>(,7,=)), d. Η(x,y): O x πήρε περισσότερες από y ώρες το εξάμηνο G(x,z,w): O x πήρε βαθμό w στο μάθημα z Π.Ο.: x: Το σύνολο των φοιτητών, y R, w R, z: Το σύνολο των μαθημάτων (@(,21) =>(,10,=)) Σημείωση: Η άσκηση επιδέχεται πολλές λύσεις ανάλογα με τα κατηγορήματα που θα οριστούν Άσκηση Φ2.43 Να δείξετε ότι οι προτάσεις () B() και (() B()) δεν είναι λογικά ισοδύναμες. Λύση Άσκησης Φ2.43 Αντιπαράδειγμα: P(x): Ο x είναι άρτιος, Q(x): O x είναι περιττός, x Ζ

Η πρόταση xp(x) xq(x) σημαίνει ότι όλοι οι ακέραιοι είναι άρτιοι ή όλοι είναι περιττοί (ψευδής). Η πρόταση x(p(x) Q(x)) σημαίνει ότι για κάθε ακέραιο, ισχύει πως αυτός είναι άρτιος ή περιττός (αληθής). Επομένως οι προτάσεις δεν είναι λογικά ισοδύναμες. Άσκηση Φ2.44 Ποιές είναι οι τιμές αλήθειας των παρακάτω προτάσεων: a.!() () b. ()!() c.! () () Λύση Άσκησης Φ2.44 a. Αληθής b.false (εκτός αν το Π.Ο. είναι μονοσύνολο) c.true Άσκηση Φ2.45 Έστω F(x,y) η πρόταση O x μπορεί να ξεγελάσει τον y, όπου το πεδίο των x και y είναι το σύνολο των ανθρώπων. Να χρησιμοποιήσετε ποσοτικούς δείκτες για να εκφράσετε καθεμία από τις παρακάτω προτάσεις a. Καθένας μπορεί να ξεγελάσει τον Τάκη b. Η Ελένη μπορεί να ξεγελάσει καθέναν c. Καθένας μπορεί να ξεγελάσει καθέναν d. Δεν υπάρχει κανένας που να μπορεί να ξεγελάσει όλους e. Καθένας μπορεί να ξεγελαστεί από καθέναν f. Κανένας δεν μπορεί να ξεγελάσει και τον Τάκη και το Νίκο g. Κανένας δεν μπορεί να ξεγελάσει ακριβώς δύο ανθρώπους h. Υπάρχει ακριβώς ένας άνθρωπος τον οποίο μπορούν να τον ξεγελάσουν όλοι i. Κανένας δεν μπορεί να ξεγελάσει τον εαυτό του j. Υπάρχει κάποιος που μπορεί να ξεγελάσει ακριβώς ένα άτομο εκτός του εαυτού του (συμπεριλαμβανομένου του εαυτού του) Λύση Άσκησης Φ2.45 Έστω F(x,y): O x μπορεί να ξεγελάσει τον y Π.Ο. x,y,z,w: Το σύνολο των ανθρώπων a. &(,"Τάκης") b. &("FGέHI",) c. &(,) d. &(,) e. &(,) f. (&(,"Τάκης") &(,"Νίκος"))

g. ( =((&(,) &(,=) ( =) K+&(,K) (K = ) (K = =),) h.! &(,) i. &(,) j.!(&(,) ( )) Άσκηση Φ2.46 Να ξαναγράψετε τις παρακάτω προτάσεις ώστε οι αρνήσεις να εμφανίζονται μόνον μέσα στα κατηγορήματα (δηλαδή καμία άρνηση δεν είναι εκτός κάποιου ποσοτικού δείκτη ή μιας έκφρασης που περιέχει λογικούς τελεστές) a. (,) b. (,) c. ((,) B(,)) d. ( (,) B(,)) e. ( =(,,=) = (,,=)) Λύση Άσκησης Φ2.46 a. (,) b. (,) c. ( (,) B(,)) d. ((,) B(,) e. ( = (,,=) = (,,=)) Άσκηση Φ2.47 Να προσδιορίσετε την τιμή αλήθειας για καθεμία από τις παρακάτω προτάσεις, αν το πεδίο για όλες τις μεταβλητές είναι το σύνολο των πραγματικών αριθμών a. ( M = ) b. ( = M ) c. ( = 0) d. (+ +) e. ( 0 ( = 1) f. ( 0 = 1) g. (+ = 1) h. (+2 = 2 2+4 = 5) i. (+ = 2 2 = 1) j. =(= = PQR M ) Λύση Άσκησης Φ2.47 a. True (Για όλους τους πραγματικούς μπορώ να υπολογίσω το τετράγωνο που επίσης ανήκει στο R b. False (π.χ. x= 3)

c. True (x=0) d. False (Η πρόσθεση έχει την αντιμεταθετική ιδιότητα) e. True (y=1/x, x 0) f. False (δεν υπάρχει ένας αριθμός x που όποια τιμή 0 πάρει το y, να ισχύει = 1) g. True y=1 x h False (To σύστημα των 2 εξισώσεων δεν έχει λύση) i. False (Αν π.χ. x=0 το σύστημα δεν έχει λύση) j.true Άσκηση Φ2.48 Έστω Μ(x): Ο φοιτητής x είναι μελετηρός, Ε(x): Ο φοιτητής x είναι έξυπνος και Κ(x,y): Ο x είναι καλύτερος φοιτητής από τον y. Θεωρώντας μεταβλητές στο σύνολο των φοιτητών και τις παραπάνω προτασιακές μορφές, αποδώστε σε κατηγορηματικό λογισμό τις παρακάτω δύο προτάσεις: Π1: Όλοι οι έξυπνοι φοιτητές είναι μελετηροί. Π2: Υπάρχει μελετηρός φοιτητής που είναι καλύτερος από οποιοδήποτε έξυπνο φοιτητή. Λύση Άσκησης Φ2.48 Π1: x( E( x) M ( x) ) Π2: x M x y( E y K x y ) ( ( ) ( ) (, ) ) Άσκηση Φ2.49 Να ξαναγράψετε τις παρακάτω προτάσεις ώστε οι αρνήσεις να εμφανίζονται μόνον μέσα στα κατηγορήματα (δηλαδή καμία άρνηση δεν είναι εκτός κάποιου ποσοτικού δείκτη ή μιας έκφρασης που περιέχει λογικούς τελεστές) a. x yp(x,y) b. y xp(x,y) c. y x(p(x,y) Q(x,y)) d. ( x y P(x,y) x yq(x,y)) e. x( y zp(x,y,z) z yp(x,y,z) Λύση Άσκησης Φ2.49 a. (,) b. (,) c. ( (,) B(,)) d. ((,) B(,) e. ( = (,,=) = (,,=)) Άσκηση Φ2.50

Έστω x μεταβλητή και A(x) και Β(x) προτασιακές μορφές. Έστω η πρόταση x( A( x) B( x) ) και η πρόταση xa( x) xb( x). Είναι αυτές οι προτάσεις λογικά ισοδύναμες ή όχι; Δικαιολογείστε την απάντησή σας. Λύση Άσκησης Φ2.50 Έστω ότι το πεδίο ορισμού της τυχαίας μεταβλητής x περιλαμβάνει τις τιμές x1, x2,..., xn. Τότε, η x A( x) B( x) A( x ) B( x ) A( x ) B( x )... A( x ) B( x ). πρόταση ( ) γράφεται: ( ) ( ) ( ) 1 1 2 2 Όμως A( x ) B( x ) A( x ) B( x )... A( x ) B( x ) ( ) ( ) ( ) 1 1 2 2 A( x ) B( x ) A( x ) B( x )... A( x ) B( x ) 1 1 2 2 A( x ) A( x )... A( x ) B( x ) B( x )... B( x ) 1 2 n 1 2 ( A( x ) A( x )... A( x )) ( B( x ) B( x )... B( x )) 1 2 n 1 2 xa( x) xb( x) n n n n n n n n