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

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

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

Transcript

1 Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 01/03/2016 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα και τα π.ο. των μεταβλητών που θα χρησιμοποιήσετε. 1. Κάποιος αριθμός είναι και άρτιος και περιττός 2. Όλες οι πάπιες μπορούν να κολυμπήσουν 3. Υπάρχει κάποια γυναίκα που την αγαπούν όλοι οι άντρες 4. Κάποιος χρειάστηκε βοήθεια και φώναξε την αστυνομία 5. Κανείς δεν μπορεί να αγνοήσει τον Πέτρο Λύση Άσκησης Φ Έστω: Α(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. Όποιος δεν είναι υπέρ μας, είναι εναντίον μας (εννοώντας ότι μας σημαίνει όλους εμάς )

2 4. Ό εχθρός του εχθρού σου είναι φίλος σου (εννοώντας ότι εχθρός είναι κάποιος που είναι κατά κάποιου άλλου ενώ φίλος είναι κάποιος που είναι υπέρ του, και σου σημαίνει οποιουδήποτε ) Λύση Άσκησης Φ 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)) Λύση Άσκησης Φ 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. Δώστε μία τιμή για την οποία η πρόταση του συγκάτοικού σας είναι αληθής.

3 2. Είναι η πρόταση αυτή αληθής όταν το πεδίο ορισμού της y είναι οι φυσικοί αριθμοί που είναι μικρότεροι ή ίσοι του 2; Εξηγείστε την απάντησή σας. 3. Εξηγείστε στο συγκάτοικό σας τι πραγματικά έπρεπε να αποδείξει, προκειμένου να μπορεί να ισχυριστεί ότι πράγματι υπάρχει άρτιος, πρώτος αριθμός μεγαλύτερος του 2. Λύση Άσκησης Φ Η πρόταση είναι αληθής για 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 και Β σημαίνει αποκλειστική διάζευξη. Λύση Άσκησης Φ Τ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

4 Προσδιορίστε την αλήθεια των παρακάτω προτάσεων, εάν οι μεταβλητές 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)) «Υπάρχει κάποιος άνθρωπος τέτοιος που όλοι οι άνθρωποι είναι φίλοι του ενώ δεν τους αρέσει ο προγραμματισμός»

5 3. Εφόσον η πρόταση αυτή είναι αντίφαση, Ο συντομότερος τρόπος να γράψουμε την άρνησή της είναι TRUE (ταυτολογία ) Άσκηση Φ2.9 Έστω ότι η μεταβλητή x παίρνει τιμές από το σύνολο των αυτοκινήτων. Έστω επίσης οι προτασιακές μορφές Γ(x) = «Το x είναι γρήγορο» και Α(x)= «Το x είναι ακριβό». Γράψτε σε κατηγορηματικό λογισμό τις παρακάτω προτάσεις (Σημείωση: δεν επιτρέπεται να χρησιμοποιήσετε συντομογραφίες) 1. Υπάρχει το πολύ ένα αυτοκίνητο που είναι γρήγορο και δεν είναι ακριβό. 2. Υπάρχουν τουλάχιστον δύο αυτοκίνητα που είναι ακριβά ή γρήγορα. Λύση Άσκησης Φ 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. Δύο παιδιά είναι αδέλφια εάν έχουν κάποιο κοινό γονέα. Λύση Άσκησης Φ 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)

6 (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))

7 (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)))))

8 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 είναι ακέραιος. Έστω το συμπέρασμα υπάρχει ακέραιος μεγαλύτερος του Διατυπώστε τις υποθέσεις και το συμπέρασμα ως πρόταση του κατηγορηματικού λογισμού. 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. Ο Γιάννης σύστησε τη Μαρία μόνο στον Κώστα.

9 ΛύσηΆσκησης Φ Έστω 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))))

10 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 που έχει επισκεφτεί τουλάχιστον ένα δωμάτιο κάθε κτιρίου του Πανεπιστημίου. Λύση Άσκησης Φ Έστω

11 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

12 Έστω 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". Αποδώστε το νόημα των παρακάτω προτάσεων με προτάσεις του κατηγορηματικού λογισμού. Λύση Άσκησης Φ Όλοι αγαπούν τον Νίκο. 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))))

13 9. Όλοι αγαπούν τον εαυτό τους. xp(x,x) 10. Υπάρχει κάποιος που αγαπά μόνο τον εαυτό του. x (P(x,x) Λ y (P(x,y)Λy x)) Άσκηση Φ2.23 Έστω x,y μεταβλητές στο σύνολο των ανθρώπων και προτασιακή μορφή Ρ(x,y) με το νόημα "ο x αγαπά τον y". Για καθεμία από τις παρακάτω προτάσεις, (α) διατυπώστε την σε φυσική γλώσσα (β) διατυπώστε την άρνησή της ως πρόταση του κατηγορηματικού λογισμού (γ) διατυπώστε το αποτέλεσμα του (β) σε φυσική γλώσσα. Λύση Άσκησης Φ 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

14 Διατυπώστε σε κατηγορηματικό λογισμό το θεώρημα σύμφωνα με το οποίο «Αν ένας πρώτος αριθμός 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 Αξιολογείστε την ορθότητα του παρακάτω συλλογισμού: "Ο Νίκος είναι είτε μπασκετμπολίστας είτε ποδοσφαιριστής, αλλά όχι και τα δύο. Οι μπασκετμπολίστες είναι ψηλοί. Ο Νίκος δεν είναι ψηλός. Επομένως, ο Νίκος είναι ποδοσφαιριστής".

15 Λύση Άσκησης Φ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 παίρνουν τιμές στο σύνολο των ακεραίων αριθμών, δώστε την τιμή αληθείας των παρακάτω προτάσεων, δικαιολογώντας την απάντησή σας: Λύση Άσκησης Φ x yp( χ, y) : Όλοι οι αριθμοί διαιρούν χωρίς υπόλοιπο τουλάχιστον ένα ακέραιο Τrue γιατί υπάρχει πάντα κάποιος αριθμός με αυτή την ιδιότητα. 2. x yp( χ, y) : Υπάρχει κάποιος ακέραιος αριθμός που διαιρεί χωρίς υπόλοιπο όλους τους υπόλοιπους ακεραίους Τrue, είναι ο 1

16 3. x y (P( x, y) vp( y,x)): Για οποιοδήποτε ακέραιο ισχύει ότι θα διαιρεί ή θα διαιρείται από κάποιο ακέραιο ή αυτοί οι ακέραιοι διαιρούν χωρίς υπόλοιπο τους προαναφερθέντες ακεραίους False πχ οι 2 και 3. Oύτε ο 2 διαιρεί ακέραια τον 3 ούτε ο 3 τον 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. Όλοι οι άνθρωποι είναι φτωχοί και όλοι είναι τεμπέληδες 3. Για όλους ισχύει ότι είναι φτωχοί και τεμπέληδες 4. Για όλους ισχύει ότι εάν είναι φτωχοί τότε δεν είναι τεμπέληδες 5. Για όλους ισχύει ότι είναι ή φτωχοί ή τεμπέληδες 6. Υπάρχει κάποιος που είναι φτωχός και υπάρχει κάποιος που είναι πλούσιος (όχι αναγκαστικά το ίδιο άτομο)

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

18 ( ( 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 είναι γυναίκα

19 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

20 Η εν λόγω ισοδυναμία δεν ισχύει αφού στην πρώτη περίπτωση δεν υπάρχει καμία ελεύθερη μεταβλητή, ενώ στη δεύτερη περίπτωση αντίστοιχα δεν δεσμεύεται η 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) )

21 Άσκηση Φ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)

22 (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»

23 Γράψτε προτάσεις του κατηγορηματικού λογισμού για τις ακόλουθες προτάσεις: (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 έχει κερδίσει έναν αγώνα φέτος.

24 Από Π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 υπακούει στο όριο ταχύτητας Π.Ο: Όλοι οι άνθρωποι

25 ()() *()) Άρνηση: ( +)() *(),) ( )() *()) ()() *()) Ερμηνεία: Όλοι οι οδηγοί υπακούν στο όριο ταχύτητας 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 πτήσεις το χρόνο b. Ένας άνδρας προκρίνεται στο μαραθώνιο αν ο καλύτερος προηγούμενος χρόνος του είναι 3 ώρες και μια γυναίκα, αν ο καλύτερος προηγούμενος χρόνος της είναι μικρότερος από 3.5 ώρες c. Ένας φοιτητής πρέπει να πάρει τουλάχιστον 60 ώρες μαθημάτων ή τουλάχιστον 45 ώρες και να γράψει μια εργασία και επίσης να μην έχει βαθμό μικρότερο από 7 σε όλα τα μαθήματα για να λάβει το μεταπτυχιακό τίτλο

26 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 Ζ

27 Η πρόταση 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. (&(,"Τάκης") &(,"Νίκος"))

28 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 = = 5) i. (+ = 2 2 = 1) j. =(= = PQR M ) Λύση Άσκησης Φ2.47 a. True (Για όλους τους πραγματικούς μπορώ να υπολογίσω το τετράγωνο που επίσης ανήκει στο R b. False (π.χ. x= 3)

29 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

30 Έστω 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 ). πρόταση ( ) γράφεται: ( ) ( ) ( ) Όμως A( x ) B( x ) A( x ) B( x )... A( x ) B( x ) ( ) ( ) ( ) A( x ) B( x ) A( x ) B( x )... A( x ) B( x ) 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

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

Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 28/2/2017 Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 28/2/2017 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα

Διαβάστε περισσότερα

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

Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 22/2/2018 Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 22/2/2018 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα

Διαβάστε περισσότερα

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

Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 26/2/2019 Φροντιστήριο #2 Λυμένες Ασκήσεις σε Κατηγορηματικό Λογισμό 26/2/2019 Άσκηση Φ2.1 Διατυπώστε τις παρακάτω προτάσεις ως προτάσεις κατηγορηματικού λογισμού. Σε κάθε περίπτωση, προσδιορίστε τα κατηγορήματα

Διαβάστε περισσότερα

ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013

ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013 ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2013 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2018 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1.5 μονάδα] Έστω Τ(x): O x έχει σταθερό υπολογιστή, L(x): O x έχει laptop, S(x): O x έχει smartphone, με τη μεταβλητή

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017 ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1 μονάδα] Έστω F(x,y) = «Το αυτοκίνητο x έχει μέγιστη ταχύτητα μεγαλύτερη από αυτή του αυτοκινήτου y», με Π.Ο. των x,y

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα

Διαβάστε περισσότερα

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

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/23/2017

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18

Διαβάστε περισσότερα

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην

Διαβάστε περισσότερα

4.1. Πολυώνυμα. Η έννοια του πολυωνύμου

4.1. Πολυώνυμα. Η έννοια του πολυωνύμου 4.1 Πολυώνυμα Η έννοια του πολυωνύμου ΟΡΙΣΜΟΙ 1. Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής αx ν, όπου α R, ν N (σταθερές) και x R (μεταβλητή). 2. Πολυώνυμο του x ονομάζουμε κάθε παράσταση της

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 2

Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 2 Ακολουθεί η διατύπωση των προτάσεων στον Κατηγορηματικό Λογισμό. (α) Δεν υπάρχουν δύο διαφορετικές πτήσεις με τον ίδιο αριθμό. x 1, d 1, a 1, s 1, t 1, x 2, d 2, a 2,

Διαβάστε περισσότερα

9 Πολυώνυμα Διαίρεση πολυωνύμων

9 Πολυώνυμα Διαίρεση πολυωνύμων 4ο Κεφάλαιο 9 Πολυώνυμα Διαίρεση πολυωνύμων Α ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Ορισμοί Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής ν αx όπου α R, * ν N και x μια μεταβλητή που μπορεί να πάρει οποιαδήποτε

Διαβάστε περισσότερα

4.1. Πολυώνυμα. Η έννοια του πολυωνύμου

4.1. Πολυώνυμα. Η έννοια του πολυωνύμου 4.1 Πολυώνυμα Η έννοια του πολυωνύμου ΟΡΙΣΜΟΙ 1. Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής αx ν, όπου α R, ν N (σταθερές) και x R (μεταβλητή).. Πολυώνυμο του x ονομάζουμε κάθε παράσταση της μορφής:

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Ένα παράδειγµα... Έχουµε δει. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Πέµπτη, 23/02/2017

HY118- ιακριτά Μαθηµατικά. Ένα παράδειγµα... Έχουµε δει. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Πέµπτη, 23/02/2017 HY118- ιακριτά Μαθηµατικά Πέµπτη, 23/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

Διαβάστε περισσότερα

Στοιχεία Κατηγορηματικής Λογικής

Στοιχεία Κατηγορηματικής Λογικής Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική

Διαβάστε περισσότερα

2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ

2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ο ΓΕΛ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β ΛΥΚΕΙΟΥ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΣΧΟΛΙΚΟ ΕΤΟΣ -4 ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Επιμέλεια: ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα

Διαβάστε περισσότερα

2.2 ιαίρεση Πολυωνύμων

2.2 ιαίρεση Πολυωνύμων ιαίρεση Πολυωνύμων 1 Να γίνουν οι διαιρέσεις: α) (x 5 - x + x - 9) : (x - 1) β) (x 4-7x + x - 15) : (x + 5) γ) (x - 4αx + α ) : (x - α) δ) [7x - (9α + 7α ) x + 9α ] : (x - α) Με τη βοήθεια του σχήματος

Διαβάστε περισσότερα

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18

Διαβάστε περισσότερα

4.2. ΔΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ

4.2. ΔΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ 4.. Η ταυτότητα της διαίρεσης A. Όπως στους ακέραιους αριθμούς, έτσι και στα πολυώνυμα ισχύει η ταυτότητα της διαίρεσης. Πιο συγκεκριμένα ισχύει ότι: Για κάθε ζεύγος πολυωνύμων Δ(x) και δ(x), με δ(x) 0

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Σκελετοί Λύσεων Ημερομηνία : Σάββατο, 27 Οκτωβρίου 2012 Διάρκεια : 11:00 13:00 Διδάσκουσα : Άννα Φιλίππου Άσκηση

Διαβάστε περισσότερα

Ασκήσεις Επανάληψης Λύσεις

Ασκήσεις Επανάληψης Λύσεις Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)

Διαβάστε περισσότερα

Στοιχεία Κατηγορηματικής Λογικής

Στοιχεία Κατηγορηματικής Λογικής Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 2

Λύσεις Σειράς Ασκήσεων 2 Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 N φιλόσοφοι κάθονται γύρω από ένα τραπέζι με N καρέκλες, N πιάτα και N πιρούνια. Όταν κάποιος φιλόσοφος πεινάσει παίρνει τα δύο πιρούνια που βρίσκονται δίπλα από το πιάτο

Διαβάστε περισσότερα

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Αρκετά καλή βαθμολογική εικόνα (

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 018 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. b. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε

Διαβάστε περισσότερα

1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ

1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ 1 1.7 ΙΑΙΡΕΣΗ ΠΟΛΥΩΝΥΜΩΝ ΘΕΩΡΙΑ 1. Ταυτότητα Ευκλείδειας διαίρεσης : Για δύο οποιαδήποτε πολυώνυµα (x) και δ(x) µε δ(x) µπορούµε να βρούµε δύο άλλα πολυώνυµα π(x) και υ(x) τέτοια ώστε να ισχύει (x) = δ(x)π(x)

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων Θέμα 1: [14 μονάδες] 1. [5] Έστω Y(x): «Το αντικείμενο x είναι ηλεκτρονικός υπολογιστής», Φ(y):

Διαβάστε περισσότερα

Στοιχεία Κατηγορηματικής Λογικής

Στοιχεία Κατηγορηματικής Λογικής Στοιχεία Κατηγορηματικής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική

Διαβάστε περισσότερα

Σειρά Προβλημάτων 2 Λύσεις

Σειρά Προβλημάτων 2 Λύσεις Σειρά Προβλημάτων 2 Λύσεις Άσκηση 1 Χρησιμοποιώντας τα πιο κάτω κατηγορήματα και σταθερές και υποθέτωντας ως σύμπαν το σύνολο όλων των ανθρώπων, να διατυπώσετε τις προτάσεις που ακολουθούν στον Κατηγορηματικό

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017 HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]

Διαβάστε περισσότερα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

Διαβάστε περισσότερα

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

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017

Διαβάστε περισσότερα

Ασκήσεις Επανάληψης Λύσεις

Ασκήσεις Επανάληψης Λύσεις Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Πέμπτη, 30 Οκτωβρίου 2014 Διάρκεια : 10:30 12.00 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΤΥΠΕΣ ΛΥΣΕΙΣ Οδηγίες:

Διαβάστε περισσότερα

ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ (ΑΡΙΘΜΗΤΙΚΗ ΤΙΜΗ,ΠΡΑΞΕΙΣ,ΙΣΟΤΗΤΑ) P( x) ( 4) x ( 8) x ( 5 6) x 16 είναι το μηδενικό πολυώνυμο.

ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ (ΑΡΙΘΜΗΤΙΚΗ ΤΙΜΗ,ΠΡΑΞΕΙΣ,ΙΣΟΤΗΤΑ) P( x) ( 4) x ( 8) x ( 5 6) x 16 είναι το μηδενικό πολυώνυμο. ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ (ΑΡΙΘΜΗΤΙΚΗ ΤΙΜΗ,ΠΡΑΞΕΙΣ,ΙΣΟΤΗΤΑ) 1. Δίνονται τα πολυώνυμα: P ( x) x x, Q( x) x x 1. Να βρεθούν: a) P( x) Q( x) ) P( x) Q( x) ) P( x) Q( x). Να βρεθεί η τιμή του λ R για την οποία

Διαβάστε περισσότερα

Προτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)

Προτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη) Εισαγωγή στις βασικές έννοιες των Μαθηματικών 5 ο Μάθημα Μαθηματική Λογική (επανάληψη) Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε

Διαβάστε περισσότερα

Διαφορικές Εξισώσεις Πρώτης Τάξης

Διαφορικές Εξισώσεις Πρώτης Τάξης Κεφάλαιο 2 Διαφορικές Εξισώσεις Πρώτης Τάξης Στο κεφάλαιο αυτό θα μελετήσουμε διαφορικές εξισώσεις πρώτης τάξης και θα διατυπώσουμε χωρίς απόδειξη βασικά θεωρήματα αυτών. Το εδάφιο 2.1 ασχολείται με γραμμικές

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2019 1 η Σειρά Ασκήσεων (Προτασιακός Λογισμός) Παράδοση: Τρίτη 26/2/2019, μέχρι το τέλος του φροντιστηρίου Σημείωση: Όλες οι απαντήσεις πρέπει να είναι τεκμηριωμένες

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων

ΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 1 η Σειρά Ασκήσεων Παράδοση: Τρίτη, 28/2/2017 μέχρι το τέλος του φροντιστηρίου Σημείωση: Οι απαντήσεις πρέπει να είναι τεκμηριωμένες Άσκηση 1.1 [1 μονάδα]

Διαβάστε περισσότερα

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Διακριτά Μαθηματικά Ι Ενότητα 2: Γεννήτριες Συναρτήσεις Μέρος 3 Διδάσκων: Χ. Μπούρας (bouras@cti.gr) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Mαθηματική Λογική και Λογικός Προγραμματισμός

Mαθηματική Λογική και Λογικός Προγραμματισμός ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΤΗΜΑΤΩΝ ΦΕΒΡΟΥΑΡΙΟΥ 2004 Θέμα 1 ο : Αποδείξτε με τον κανόνα της επίλυσης τα ακόλουθα Α. Η πρόταση (Α (Β C)) & (A B) & (A C) είναι μη επαληθεύσιμη Β. Η Β είναι αποδείξιμη από το Δ={ (Β

Διαβάστε περισσότερα

Κατηγορηµατική Λογική Προτασιακή Λογική: πλαίσιο διατύπωσης και µελέτης επιχειρηµάτων για πεπερασµένο πλήθος «λογικών αντικειµένων». «Λογικό αντικείµε

Κατηγορηµατική Λογική Προτασιακή Λογική: πλαίσιο διατύπωσης και µελέτης επιχειρηµάτων για πεπερασµένο πλήθος «λογικών αντικειµένων». «Λογικό αντικείµε Στοιχεία Κατηγορηµατικής Λογικής ιδάσκοντες: Φ. Αφράτη, Σ. Ζάχος,. Σούλιου Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηµατική

Διαβάστε περισσότερα

Α Λ Γ Ε Β Ρ Α Β Λ Υ Κ Ε Ι Ο Υ. ΚΕΦΑΛΑΙΟ 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ

Α Λ Γ Ε Β Ρ Α Β Λ Υ Κ Ε Ι Ο Υ. ΚΕΦΑΛΑΙΟ 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Α Λ Γ Ε Β Ρ Α Β Λ Υ Κ Ε Ι Ο Υ ΚΕΦΑΛΑΙΟ 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Συνοπτική Θεωρία Ασκήσεις της Τράπεζας Θεμάτων Ερωτήσεις Σωστού-Λάθους Διαγωνίσματα Επιμέλεια: Συντακτική ομάδα mathp.gr Συντονισμός

Διαβάστε περισσότερα

ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ

ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Έννοια του πολυωνύμου. Ας υποθέσουμε ότι έχουμε μια μεταβλητή x που μπορεί να πάρει κάθε πραγματική τιμή. Μονώνυμο του x, είναι κάθε παράσταση της μορφής : x όπου α είναι

Διαβάστε περισσότερα

Α Λυκείου Άλγεβρα Τράπεζα Θεμάτων Το Δεύτερο Θέμα

Α Λυκείου Άλγεβρα Τράπεζα Θεμάτων Το Δεύτερο Θέμα Α Λυκείου Άλγεβρα Τράπεζα Θεμάτων Το Δεύτερο Θέμα Θεωρούμε την ακολουθία (α ν ) των θετικών περιττών αριθμών: 1, 3, 5, 7, α) Να αιτιολογήσετε γιατί η (α ν ) είναι αριθμητική πρόοδος και να βρείτε τον εκατοστό

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα

Διαβάστε περισσότερα

(x) = δ(x) π(x) + υ(x)

(x) = δ(x) π(x) + υ(x) Μάθηµα 12 Κεφάλαιο 4ο: Πολυώνυµα Πολυωνυµικές Εξισώσεις Θεµατικές Ενότητες: Α. ιαίρεση Πολυωνύµων Β. Σχήµα Horner Η ταυτότητα της Ευκλείδειας διαίρεσης Αν ( χ), δ ( χ) δύο πολυώνυµα µε δ ( χ) 0 και βαθµούς

Διαβάστε περισσότερα

Κατ οίκον Εργασία 2 Λύσεις

Κατ οίκον Εργασία 2 Λύσεις Κατ οίκον Εργασία 2 Λύσεις Άσκηση 1 Ακολουθεί η διατύπωση των προτάσεων στον προτασιακό λογισμό. (α) Κάθε ενεργός χρήστης είναι είτε διαχειριστής είτε κανονικός χρήστης του συστήματος. x [Ενεργός (x) Διαχειριστής(x)

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Παρασκευή, 02/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18

Διαβάστε περισσότερα

Πολυωνυμικές εξισώσεις και ανισώσεις Εξισώσεις και ανισώσεις που ανάγονται σε πολυωνυμικές

Πολυωνυμικές εξισώσεις και ανισώσεις Εξισώσεις και ανισώσεις που ανάγονται σε πολυωνυμικές 0 Πολυωνυμικές εξισώσεις και ανισώσεις Εξισώσεις και ανισώσεις που ανάγονται σε πολυωνυμικές Α. ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Για να λύσουμε μια πολυωνυμική εξίσωση P(x) 0 (ή μια πολυωνυμική ανίσωση P(x)

Διαβάστε περισσότερα

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Ικανοποιητική βαθμολογική εικόνα

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 3 η Σειρά Ασκήσεων Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας:

Διαβάστε περισσότερα

Φεργαδιώτης Αθανάσιος ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ ΣΤΗΝ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. Θέμα 2 ο (150)

Φεργαδιώτης Αθανάσιος ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ ΣΤΗΝ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. Θέμα 2 ο (150) Φεργαδιώτης Αθανάσιος ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ ΣΤΗΝ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ Θέμα ο (150) -- Τράπεζα θεμάτων Άλγεβρας Α Λυκείου Φεργαδιώτης Αθανάσιος -3- Τράπεζα θεμάτων Άλγεβρας Α Λυκείου Φεργαδιώτης Αθανάσιος ΚΕΦΑΛΑΙΟ

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 01/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18

Διαβάστε περισσότερα

K. Μυλωνάκης Αλγεβρα B Λυκείου

K. Μυλωνάκης Αλγεβρα B Λυκείου ΠΟΛΥΩΝΥΜΑ Ονομάζουμε μονώνυμο του x κάθε πραγματικό αριθμό ή κάθε παράσταση της μορφής αx ν, όπου α είναι πραγμ. αριθμός και ν ένας θετικός ακέραιος. Π.χ. οι παραστάσεις 2χ 4, -3χ 2, 7 είναι μονώνυμα του

Διαβάστε περισσότερα

ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ. β) x 9x. ε) (x 1) 3(x 1) 2(x 1) 0. (2x 1) x 128 0

ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ. β) x 9x. ε) (x 1) 3(x 1) 2(x 1) 0. (2x 1) x 128 0 ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 1. Να λύσετε τις εξισώσεις: α) x x 10x 0 5 x 9x γ) x 8x 0 x x x 0 x (x ) 9(x ) ε) (x 1) (x 1) (x 1) 0. Να λύσετε τις εξισώσεις: 5 α) x 0 7 γ) (x ) 1 0 (x 1)

Διαβάστε περισσότερα

Αποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017

Αποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017 HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017

Διαβάστε περισσότερα

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

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/24/2017

Διαβάστε περισσότερα

2.1 Πολυώνυμα. 1. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα; 3 2 ii. x iii. 3 iv. vi.

2.1 Πολυώνυμα. 1. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα; 3 2 ii. x iii. 3 iv. vi. .1 Πολυώνυμα 1. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα; i. 1 x + x ii. x + 7 x iii. 5 x + 7x x iv. 1 x + x v. 1 4 4 x + x + 4x vi. 1 x + 5x. Ποιες από τις παρακάτω παραστάσεις είναι πολυώνυμα

Διαβάστε περισσότερα

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

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017

Διαβάστε περισσότερα

\5. Κατηγορηματικός Λογισμός (Predicate Calculus)

\5. Κατηγορηματικός Λογισμός (Predicate Calculus) \5 Κατηγορηματικός Λογισμός (Predicate Calculus) 51 Αντικείμενα Ιδιότητες και Σχέσεις Θεωρείστε την παρακάτω εξαγωγή συμπεράσματος: Κανένας ακέραιος δεν είναι μεγαλύτερος από το τετράγωνό του Το 1 2 είναι

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός

HY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen Προηγούμενη

Διαβάστε περισσότερα

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60 Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen 08-Feb-18

Διαβάστε περισσότερα

Κεφάλαιο 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ

Κεφάλαιο 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Κεφάλαιο 4 ο ΠΟΛΥΩΝΥΜΑ-ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 4.1 πωλυωνυμα Η έννοια του πολυωνύμου Έστω x μια μεταβλητή που μπορεί να πάρει οποιαδήποτε πραγματική τιμή. Καλούμε μονώνυμο του x κάθε παράσταση της μορφής

Διαβάστε περισσότερα

ΘΕΜΑ 2. Θεωρούμε την ακολουθία (α ν ) των θετικών περιττών αριθμών: 1, 3, 5, 7,

ΘΕΜΑ 2. Θεωρούμε την ακολουθία (α ν ) των θετικών περιττών αριθμών: 1, 3, 5, 7, Θεωρούμε την ακολουθία (α ν ) των θετικών περιττών αριθμών: 1, 3, 5, 7, α) Να αιτιολογήσετε γιατί η (α ν ) είναι αριθμητική πρόοδος και να βρείτε τον εκατοστό όρο της. (Μονάδες 15) β) Να αποδείξετε ότι

Διαβάστε περισσότερα

Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει:

Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει: Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει: Να αναγνωρίζει πότε μια αλγεβρική παράσταση της πραγματικής μεταβλητής x, είναι πολυώνυμο και να διακρίνει τα στοιχεία του: όροι, συντελεστές, σταθερός

Διαβάστε περισσότερα

x y z xy yz zx, να αποδείξετε ότι x=y=z.

x y z xy yz zx, να αποδείξετε ότι x=y=z. ΑΣΚΗΣΕΙΣ ΣΤΗΝ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΚΕΦ. ο A. Ταυτότητες, ιδιότητες δυνάμεων, διάταξη.1 Να παραγοντοποιήσετε τις παρακάτω παραστάσεις: 1. 15a x 15a y 5a x 5a y. a x a x a x a x 3 3 4 3 3 3 3. x 4xy 16 4 y

Διαβάστε περισσότερα

Πολυώνυμα. Πολυωνυμικές εξισώσεις. Athens Επιμέλεια: Χατζόπουλος Μάκης. 14/2/2012

Πολυώνυμα. Πολυωνυμικές εξισώσεις. Athens Επιμέλεια: Χατζόπουλος Μάκης.  14/2/2012 Πολυώνυμα Πολυωνυμικές εξισώσεις Άλγεβρα 01 Β Λυκείου Athens 01 13 14//01 1. Περί πολυωνύμων (Α) Πολυώνυμα P x a x a x... a x a v v 1 Πολυώνυμο ονομάζουμε κάθε παράσταση της μορφής: όπου a v, a v-1,,a

Διαβάστε περισσότερα

ΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ ΘΕΜΑ Α

ΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ ΘΕΜΑ Α ΚΕΦΑΛΑΙΟ 1 ο : ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ Ερώτηση θεωρίας 1 ΘΕΜΑ Α Τι ονομάζουμε πραγματική συνάρτηση

Διαβάστε περισσότερα

ΑΛΓΕΒΡΑ - ΚΕΦΑΛΑΙΟ 4ο Εξισώσεις - Ανισώσεις Δευτέρου Βαθμού

ΑΛΓΕΒΡΑ - ΚΕΦΑΛΑΙΟ 4ο Εξισώσεις - Ανισώσεις Δευτέρου Βαθμού ΑΛΓΕΒΡΑ - ΚΕΦΑΛΑΙΟ 4ο Εξισώσεις - Ανισώσεις Δευτέρου Βαθμού 97 98 ΕΡΩΤΗΣΕΙΣ ΑΝΑΠΤΥΞΗΣ 1. Να λυθεί η εξίσωση: 1 1 1 ( x+ )(x ) = x 3 3 9. Αν η εξίσωση (x - 3) λ + 3 = λ x έχει ρίζα τον αριθμό, να υπολογιστεί

Διαβάστε περισσότερα

ρ πε α εμ των α ματ ών 2014 Ο Η ΡΗ Ο Ο Γ Ρ Θ μα 2ο

ρ πε α εμ των α ματ ών 2014 Ο Η ΡΗ Ο Ο Γ Ρ Θ μα 2ο ρ πε α εμ των α ματ ών 2014 Γ Ο Η ΡΗ Ο Ο Γ Ρ Θ μα 2ο Θεωρούμε την ακολουθία (α ν ) των θετικών περιττών αριθμών: 1, 3, 5, 7, α) Να αιτιολογήσετε γιατί η (α ν ) είναι αριθμητική πρόοδος και να βρείτε τον

Διαβάστε περισσότερα

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

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017

Διαβάστε περισσότερα

4. Δίνεται το πολυώνυμο P(x) = x 3 2x 2 + x 12 α) Να αιτιολογήσετε γιατί το διώνυμο x 3 είναι παράγοντας του P(x) β) Να λύσετε την εξίσωση P(x) = 0

4. Δίνεται το πολυώνυμο P(x) = x 3 2x 2 + x 12 α) Να αιτιολογήσετε γιατί το διώνυμο x 3 είναι παράγοντας του P(x) β) Να λύσετε την εξίσωση P(x) = 0 1. α) Να βρείτε το υπόλοιπο και το πηλίκο της διαίρεσης (x 3 6x 2 +11x 2) : (x 3) β) Αν P(x) = x 3 6x 2 +11x + λ να βρείτε το λ R ώστε η διαίρεση P(x) : (x 3) να έχει υπόλοιπο 0. 2. Δίνονται τα πολυώνυμα:

Διαβάστε περισσότερα

Λύσεις 2 ης Σειράς Ασκήσεων

Λύσεις 2 ης Σειράς Ασκήσεων Λύσεις 2 ης Σειράς Ασκήσεων Άσκηση 1 Στην άσκηση αυτή σας ζητείται να διατυπώσετε στον Κατηγορηματικό Λογισμό ένα σύνολο από απαιτήσεις/προτάσεις που σχετίζονται με ένα κοινωνικό δίκτυο χρησιμοποιώντας

Διαβάστε περισσότερα

ΠΟΛΥΩΝΥΜΑ. Κεφάλαιο 2ο: Ερωτήσεις του τύπου Σωστό-Λάθος

ΠΟΛΥΩΝΥΜΑ. Κεφάλαιο 2ο: Ερωτήσεις του τύπου Σωστό-Λάθος Κεφάλαιο 2ο: ΠΟΛΥΩΝΥΜΑ Ερωτήσεις του τύπου Σωστό-Λάθος 1. * Οι πραγματικοί αριθμοί είναι σταθερά πολυώνυμα. Σ Λ 2. * Το σταθερό πολυώνυμο 0 λέγεται μηδενικό πολυώνυμο. Σ Λ 3. * Κάθε σταθερό και μη μηδενικό

Διαβάστε περισσότερα

Επιμέλεια: xr.tsif Σελίδα 1 ΠΡΟΤΕΙΝΟΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΓΙΑ ΜΑΘΗΤΙΚΟΥΣ ΔΙΑΓΩΝΙΣΜΟΥΣ ΤΕΥΧΟΣ 6ο ΑΣΚΗΣΕΙΣ 501-600 Αφιερωμένο σε κάθε μαθητή που ασχολείται ή πρόκειται να ασχοληθεί με Μαθηματικούς διαγωνισμούς

Διαβάστε περισσότερα

8. Να εξετάσετε με το σχήμα Horner αν τα πολυώνυμα x+1, x-3 είναι παράγοντες

8. Να εξετάσετε με το σχήμα Horner αν τα πολυώνυμα x+1, x-3 είναι παράγοντες ΑΣΚΗΣΕΙΣ ΣΤΑ ΠΟΛΥΩΝΥΜΑ ΔΙΑΙΡΕΣΗ 1. Να γίνουν οι διαιρέσεις: α) (x 5 - x 3 + x - 9) : (x - 1) β) (x 7x 3 + x -15) : (x 3 +5) γ) (3x 3 - αx + α ) : (x - α) δ) [7x 3 - (9α + 7α )x + 9α ] : (x - α). Να γίνουν

Διαβάστε περισσότερα

Δ/νση Β /θµιας Εκπ/σης Φλώρινας Κέντρο ΠΛΗ.ΝΕ.Τ. Πολυώνυµα ΠΟΛΥΩΝΥΜΑ ΑΚΕΡΑΙΑ ΠΟΛΥΩΝΥΜΑ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ

Δ/νση Β /θµιας Εκπ/σης Φλώρινας Κέντρο ΠΛΗ.ΝΕ.Τ. Πολυώνυµα ΠΟΛΥΩΝΥΜΑ ΑΚΕΡΑΙΑ ΠΟΛΥΩΝΥΜΑ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ ΠΟΛΥΩΝΥΜΑ ΑΚΕΡΑΙΑ ΠΟΛΥΩΝΥΜΑ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ Ορισµός Ονοµάζουµε ακέραιο πολυώνυµο του x κάθε έκφραση της µορφής : α ν x ν + α ν-1 x ν-1 + α ν-2 x ν-2 + +α 1 x + α 0 όπου α ν, α ν-1, α ν-2,, α 1, α 0 C και

Διαβάστε περισσότερα

7. α) Να λύσετε την ανίσωση x 5 <4. β) Αν κάποιος αριθμός α επαληθεύει την παραπάνω ανίσωση, να αποδείξετε ότι

7. α) Να λύσετε την ανίσωση x 5 <4. β) Αν κάποιος αριθμός α επαληθεύει την παραπάνω ανίσωση, να αποδείξετε ότι ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ, ΑΝΙΣΩΣΕΙΣ 1. α) Να λύσετε τις ανισώσεις: x 5 3 και x x 1 0. β) Να βρείτε τις κοινές λύσεις των ανισώσεων του ερωτήματος (α). x 1. Δίνονται οι ανισώσεις: 3x 1

Διαβάστε περισσότερα

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο Αλγεβρικές Δομές ΙΙ 1 Ομάδα I Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο C(R) = {a R/ax = xa, για κάθε x R} είναι υποδακτύλιος του R, και λέγεται κέντρο του δακτυλίου R. Ά σ κ η σ η 1.2

Διαβάστε περισσότερα

Περιεχόμενα. Πρόλογος 3

Περιεχόμενα. Πρόλογος 3 Πρόλογος Τα πρώτα μαθήματα, σχεδόν σε όλους τους κλάδους των μαθηματικών, περιέχουν, ή θεωρούν γνωστές, εισαγωγικές έννοιες που αφορούν σύνολα, συναρτήσεις, σχέσεις ισοδυναμίας, αλγεβρικές δομές, κλπ.

Διαβάστε περισσότερα

Γενικά Μαθηματικά ΙΙ

Γενικά Μαθηματικά ΙΙ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 6 η : Μερική Παράγωγος ΙΙ Λουκάς Βλάχος Καθηγητής Αστροφυσικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

Διαβάστε περισσότερα

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ 14 4 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ Ας υποθέσουμε ότι θέλουμε να βρούμε το πηλίκο και το υπόλοιπο της διαίρεσης του με τον Σύμφωνα με το γνωστό αλγόριθμο της διαίρεσης, το πηλίκο θα είναι ένας ακέραιος κ, τέτοιος,

Διαβάστε περισσότερα

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό Λογισμό 1 ης Τάξης (First Order Predicate Calculus) Οι περισσότερες γλώσσες επερώτησης σχεσιακών βάσεων δεδομένων βασίζονται στον Σχεσιακό Λογισμό

Διαβάστε περισσότερα

Πρόταση. Αληθείς Προτάσεις

Πρόταση. Αληθείς Προτάσεις Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο

Διαβάστε περισσότερα

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac Σημειώσεις μαθήματος Μ1212 Γραμμική Άλγεβρα ΙΙ Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2014 Κεφάλαιο 1 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

Διαβάστε περισσότερα