Σειρά Προβλημάτων 1 Λύσεις
|
|
- Τίτος Κρεστενίτης
- 4 χρόνια πριν
- Προβολές:
Transcript
1 Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 O πιο κάτω συλλογισμός (αποτελεί μικρή παραλλαγή συλλογισμού που) αποδίδεται στον Samuel Clarke και προέρχεται από την εργασία του Demonstration of the Being and Attributes of God (1703). Π1. Κάτι υπάρχει. Π2. Αν κάτι υπάρχει, τότε είτε υπήρχε από πάντοτε είτε τα πράγματα που υπάρχουν εμφανίστηκαν από το τίποτα. Π3. Αν κάτι υπάρχει, τότε η ύπαρξή του οφείλεται είτε στη δική του φύση είτε στη θέληση κάποιας άλλης οντότητας. Π4. Αν κάτι υπάρχει λόγω της δικής του φύσης, τότε υπάρχει από πάντοτε. Π5. Αν κάτι υπάρχει από πάντοτε, τότε υπάρχει λόγω της δικής του φύσης. Π6. Αν κάτι υπάρχει λόγω της θέλησης κάποιας άλλης οντότητας, τότε η υπόθεση ότι τα πράγματα που υπάρχουν εμφανίστηκαν από το τίποτα είναι λανθασμένη. Συμπέρασμα. Κάτι υπάρχει από πάντοτε και η ύπαρξή του οφείλεται στη δική του φύση. Αργότερα, ο George Boole στη δική του εργασία An Investigation of the Laws of Thought (1873) ανέλυσε αυτόν τον συλλογισμό χρησιμοποιώντας τις ατομικές προτάσεις x = Κάτι υπάρχει. y = Κάτι υπάρχει από πάντοτε. z = Τα πράγματα που υπάρχουν εμφανίστηκαν από το τίποτα. p = Κάτι υπάρχει λόγω της δικής του φύσης. q = Κάτι υπάρχει λόγω της θέλησης κάποιας άλλης Οντότητας. και διατυπώνοντας τον συλλογισμό μέσω των πιο κάτω ιδιοτήτων. Π1. x Π2. x ((y z) ( y z)) Π3. x ((p q) ( p q)) Π4. p y Π5. y p Π6. q z Συμπέρασμα. y p Να αποδείξετε τον πιο πάνω συλλογισμό χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι Π1 Π6, τότε ισχύει και το συμπέρασμα. Ξεκινούμε μετατρέποντας τις προτάσεις σε CNF. Θεωρούμε την άρνηση της πρότασηςσυμπέρασμα. 1. x 2. x ((y z) ( y z)) x ((y z) ( y z)) x ((y y) (y z) z y) ( z z)) Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 1
2 ( x y y) ( x y z) x z y) ( x z z) 3. x ((p q) ( p q)) x ((p q) ( p q)) x ((p p) (p q) q p) ( q q)) ( x p p) ( x p q) x q p) ( x q q) 4. p y p y 5. y p y p 6. q z q z 7. (y p) y p Και σε προτασιακή μορφή: {{x},{ x,y, y},{ x,y,z},{ x, z, y},{ x, z,z},{ x,p, p},{ x,p,q},{ x, q, p},{ x, q,q}, { p,y}, { y,p},{ q, z},{ y, p}} Εφαρμογή της Μεθόδου της Επίλυσης μας οδηγεί σε διάψευση όπως φαίνεται στο πιο κάτω σχήμα. Επομένως, ο συλλογισμός είναι ικανοποιήσιμος. x x, y, z q, z x,p,q x,y, q p,y x,y,p p, y y,p p, y y p p Άσκηση 2 Να αποδείξετε τα πιο κάτω λογικά επακόλουθα. (α) (p q) r, s p, s, r q (β) (p q) (t u), r s ((p q) s) (r (t u)) (γ) p q, q r s, r x, x y, y p, p s Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 2
3 (δ) (p q) (r s) (p r) (p s) (q r) (q s) (ε) (p r) (p s) (q r) (q s) (p q) (r s) (α) (β) (p q) r, s p, s, r q 1. (p q) r προϋπόθεση 2. s p προϋπόθεση 3. s προϋπόθεση 4. r προϋπόθεση 5. q πρ. υπόθεση 6. p ΜΡ 2, 3 7. p q i 6,5 8. r ΜΡ 1, 7 9. e 4, q i 4 9 (p q) (t u), r s ((p q) s) (r (t u)) 1. (p q) (t u) προϋπόθεση 2. r s προϋπόθεση 3. s s LEM 4. s υπόθεση 5. p q υπόθεση 6. s copy 4 7. (p q) s) i ((p q) s) (r (t u)) i 7 9. s υπόθεση 10. r ΜΤ 2, r υπόθεση 12. e 10, t u e r (t u) i ((p q) s) (r (t u)) i ((p q) s) (r (t u)) e 3, 4 8, 9 15 Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 3
4 (γ) p q, q r s, r x, x y, y p, p s 1. p q προϋπόθεση 2. q r s προϋπόθεση 3. r x προϋπόθεση 4. x y προϋπόθεση 5. y p προϋπόθεση 6. p προϋπόθεση 7. q MP 1,6 8. p i 6 9. y MT 5, x πρ. υπ y πρ. υπ. 11. e 9, x e x e r MT 3, q r πρ. υπ. s πρ. υπ. 16. q πρ. υπ r πρ. υπ. 17. e 7, 16 e 14, s e 17 s e s e 15, s e 2, (δ) (p q) (r s) (p r) (p s) (q r) (q s) 1. (p q) (r s) προϋπόθεση 2. p q πρ. υπόθεση 3. p e q e p r i p s i q r i q s i (p r) (p s) (q r) (q s) i 5, 6, 7, r s πρ. υπόθεση 11. r e s e p r i p s i q r i q s i (p r) (p s) (q r) (q s) i 5, 6, 7, (p r) (p s) (q r) (q s) e 2 9, Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 4
5 (ε) (p r) (p s) (q r) (q s) (p q) (r s) 1. (p r) (p s) (q r) (q s) προϋπόθεση 2. p r i 1 3. p s i 1 4. q r i 1 5. q s i 1 6. p p LEM 7. p πρ. υπ. p πρ. υπ. 8. q q LEM p πρ. υπ. r πρ. υπ. 9. q πρ. υπ. q πρ. υπ. e 7,8 10. p q i 7,9 q πρ. υπ. r πρ. υπ. r e (p q) (r s) i 10 e 9,10 r e 2, r e 11 p πρ. υπ. s πρ. υπ. 13. r e 4, e 7, q πρ. υπ. s πρ. υπ. s e e 9,14 s e 3, s e 15 r s i 11, s e 5, (p q) (r s) i r s i 13, (p q) (r s) i (p q) (r s) e (p q) (r s) e 6, 7 20 Άσκηση 3 Υποθέστε λογισμό με τελεστές τους,,,, οι οποίοι τυγχάνουν ερμηνείας στο σύνολο των λογικών τιμών {T, F, U} σύμφωνα με τη σημασιολογία που παρουσιάζεται πιο κάτω. P q p p q p q p q T T F T T T T U F T U U T F F T F F U T U T U T U U U U U U U F U U F U F T T T F T F U T U F T F F T F F T Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 5
6 (α) Να δείξετε ότι τo σύνολο {, } είναι ένα επαρκές σύνολο τελεστών. Για να δείξουμε ότι το σύνολο τελεστών {, } είναι επαρκές αρκεί να δείξουμε ότι οι τελεστές και μπορούν να αντικατασταθούν μέσω ισοδύναμων προτάσεων που χρησιμοποιούν μόνο τελεστές από το σύνολο. Οι ζητούμενες ισοδυναμίες είναι οι p q ( p q) p q p q Επαλήθευση των ισοδυναμιών μπορεί να γίνει μέσω πινάκων αλήθειας ως ακολούθως: p q p q p q ( p q ) p q T T F F F T T T U F U F T T T F F T F T T U T U F F T T U U U U U U U U F U T U U U F T T F F T T F U T U U U U F F T T T F F p q p p q p q T T F T T T U F U U T F F F F U T U T T U U U U U U F U U U F T T T T F U T T T F F T T T Παρατηρούμε ότι, και στους δύο πίνακες, οι δύο τελευταίες στήλες συμπίπτουν και καταλήγουμε στο συμπέρασμα ότι οι σχετικές ισοδυναμίες είναι αληθείς. Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 6
7 (β) Να αποδείξετε ότι τo σύνολο {, } δεν είναι επαρκές σύνολο τελεστών. Θα αποδείξουμε ότι είναι αδύνατο να κατασκευάσουμε τον τελεστή χρησιμοποιώντας τους τελεστές,. Συγκεκριμένα θα δείξουμε ότι οποιαδήποτε πρόταση φ που περιέχει μια ατομική πρόταση p και τους τελεστές,, είναι τέτοια ώστε αν [[p]] = T τότε [[φ]] = Τ. Επομένως φ p. H απόδειξη γίνεται με επαγωγή στον αριθμό των τελεστών της πρότασης φ. Αν ο αριθμός των τελεστών της φ είναι 0, τότε φ = p. Επομένως, αν [[p]] = T τότε [[φ]] = Τα και προφανώς φ p. Έστω ότι η πρόταση ισχύει για κάθε πρόταση με λιγότερους από k τελεστές. Ας υποθέσουμε ότι η πρόταση φ έχει ακριβώς k τελεστές. Υπάρχουν οι ακόλουθες περιπτώσεις. φ = φ 1 φ 2. Ισχύει ότι οι προτάσεις φ 1 και φ 2 έχουν λιγότερους από k τελεστές, επομένως, από την υπόθεση της επαγωγής, για [[p]] = T, [[φ 1]] = T και [[φ 2]] = T. Συνεπώς, [[φ]] = Τ Τ = Τ και φ p. φ = φ 1 φ 2. Ισχύει ότι οι προτάσεις φ 1 και φ 2 έχουν λιγότερους από k τελεστές, επομένως, από την υπόθεση της επαγωγής, για [[p]] = T, [[φ 1]] = T και [[φ 2]] = T. Συνεπώς, [[φ]] = Τ Τ = Τ και φ p. φ = φ 1 φ 2. Ισχύει ότι οι προτάσεις φ 1 και φ 2 έχουν λιγότερους από k τελεστές, επομένως, από την υπόθεση της επαγωγής, για [[p]] = T, [[φ 1]] = T και [[φ 2]] = T. Συνεπώς, [[φ]] = Τ Τ = Τ και φ p. Το ζητούμενο έπεται. Άσκηση 4 (α) Η Μέθοδος της Επίλυσης μπορεί να θεωρηθεί ως ένα αποδεικτικό σύστημα το οποίο περιέχει ακριβώς έναν κανόνα:, óπου τα,,,,,,, αποτελούν στοιχεία (δηλαδή, ατομικές προτάσεις ή αρνήσεις ατομικών προτάσεων). Να αποδείξετε ότι ο κανόνας αυτός είναι ορθός. (β) Να χρησιμοποιήσετε τη Μέθοδο της Επίλυσης για να αποφασίσετε αν ο πιο κάτω συλλογισμός είναι ορθός. Υπόθεση 1: Η Αλίκη δεν θα πάει στο πάρτι αν η Βίκυ πάει στο πάρτι. Υπόθεση 2: Η Γιώτα θα πάει στο πάρτι μόνο αν πάει η Αλίκη και δεν πάει η Βίκυ. Συμπέρασμα: Η Αλίκη δεν θα πάει στο πάρτι αν πάει η Βίκυ ή αν δεν έρθει η Γιώτα. (γ) Χρησιμοποιήστε τη Μέθοδο της Επίλυσης για να αποφασίσετε αν ο συλλογισμός από το μέρος (β) είναι ορθός αντικαθιστώντας τη δεύτερη υπόθεση με την πιο κάτω: Υπόθεση 2 : Η Γιώτα θα πάει στο πάρτι αν πάει η Αλίκη και δεν πάει η Βίκυ. O κανόνας είναι ισοδύναμος με το πιο κάτω λογικό επακόλουθο, όπου γράφουμε p για την πρόταση p 1. p m και q για την πρόταση q 1. q n. Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 7
8 p χ, q χ p q το οποίο μπορεί να αποδειχθεί ως εξής: 1. p χ προϋπόθεση 2. q χ προϋπόθεση 3. p πρ. υπ. χ πρ. υπ. 4. p q i 3 q πρ. υπ. χ πρ. υπ 5. p q i 3 e 3, 4 6. p q e 5 7. p q e 2, p q e 1, 3 7 [Σημείωση: Εναλλακτικά, ο κανόνας θα μπορούσε να αποδειχθεί χρησιμοποιώντας πίνακες αλήθειας.] (β) Για τη διατύπωση των προτάσεων στον Προτασιακό λογισμό θα χρησιμοποιήσουμε τις πιο κάτω ατομικές προτάσεις. Α: Η Αλίκη θα πάει στο πάρτι Β: Η Βίκυ θα πάει στο πάρτι Γ: Η Γιώτα θα πάει στο πάρτι Οι προτάσεις της άσκησης μεταφράζονται στον Προτασιακό Λογισμό ως εξής: Υπόθεση 1: Β Α Υπόθεση 2: Γ (Α Β) Και το συμπέρασμα είναι το Συμπέρασμα: (Β Γ) Α Συνεχίζουμε μετατρέποντας τις προτάσεις σε CNF. Θεωρούμε την άρνηση της πρότασηςσυμπέρασμα. Β Α Β Α Γ (Α Β) Γ (Α Β) ( Γ Α) ( Γ Β) ((Β Γ) Α) ( (Β Γ) Α) = (Β Γ) Α Και σε προτασιακή μορφή: {{ Β, Α}, { Γ,Α},{ Γ, Β},{Β, Γ},{Α}} Εφαρμογή της Μεθόδου της Επίλυσης δημιουργεί τα πιο κάτω προτασιακά σύνολα. (Διαφορετικές εφαρμογές του βήματος της Επίλυσης εμφανίζονται με διαφορετικά χρώματα.) Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 8
9 Γ,Α Β, Α Β, Γ Γ, Α Α Β, Γ Β Γ Παρατηρούμε ότι είναι αδύνατο να ληφθούν με τη Μέθοδο της Επίλυσης άλλα προτασιακά σύνολα. Αφού η διαδικασία δεν μας έχει οδηγήσει σε διάψευση, καταλήγουμε στο συμπέρασμα ότι η πρόταση είναι ικανοποιήσιμη και ότι ο αρχικός συλλογισμός δεν είναι έγκυρος. (γ) Η αναθεωρημένη μορφή της Υπόθεσης 2 έχει ως εξής: (Α Β) Γ Α Β Γ και η προτασιακή μορφή του συλλογισμού: {{ Β, Α}, { Α, Β, Γ},{Β, Γ},{Α}} Εφαρμογή της Μεθόδου της Επίλυσης μας οδηγεί σε διάψευση όπως φαίνεται στο πιο κάτω σχήμα. Επομένως, ο συλλογισμός είναι ικανοποιήσιμος. A,B,Γ B, Γ Β, Α Α,Β Α Α Άσκηση 5Α Έστω Α = {p 1, p 2,, p n} ένα σύνολο από ατομικές προτάσεις και φ πρόταση του Προτασιακού Λογισμού της οποίας οι ατομικές προτάσεις ανήκουν στο Α. Επιπρόσθετα, θεωρήστε Η = {ψ 1, ψ 2,, ψ n} όπου για κάθε i, είτε ψ i = p i είτε ψ i = p i. Να αποδείξετε με επαγωγή στη δομή της φ ότι ισχύει ακριβώς ένα από τα Η φ και Η φ. Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 9
10 Θα αποδείξουμε την πιο κάτω πρόταση: Π(k) Για κάθε πρόταση φ που περιέχει k τελεστές και Η = {ψ 1, ψ 2,, ψ n} όπου για κάθε i, είτε ψ i = p i είτε ψ i = p i και {p 1, p 2,, p n} οι ατομικές προτάσεις της φ, ισχύει ακριβώς ένα από τα Η φ και Η φ. Η απόδειξη θα γίνει με επαγωγή. Βάση της Επαγωγής k = 0 Σε αυτή την περίπτωση η φ δεν περιέχει κανένα τελεστή και επομένως φ = p i για κάποιο i. Διακρίνουμε δύο περιπτώσεις: 1. Αν p i H τότε προφανώς Η φ αφού σε κάθε γραμμή που οι προϋποθέσεις Η είναι αληθείς, αληθής είναι και η φ= p i. 2. Αν p i H τότε προφανώς Η φ αφού σε κάθε γραμμή που οι προϋποθέσεις Η είναι αληθείς, αληθής είναι και p i = φ Υπόθεση της Επαγωγής: Υποθέτουμε ότι ισχύει η Π(k) για κάθε k<m. Βήμα της Επαγωγής: Θα αποδείξουμε την πρόταση Π(m). Ας υποθέσουμε ότι η πρόταση φ έχει m τελεστές. Υπάρχουν οι ακόλουθες περιπτώσεις. φ = φ 1. Η πρόταση φ 1 περιέχει m 1 τελεστές, επομένως, από την υπόθεση της επαγωγής, Η φ 1 ή Η φ 1 Αν Η φ 1 τότε αφού η φ αποτελεί την άρνηση της φ 1 ισχύει ότι Η φ, διαφορετικά, αν Η φ 1 τότε συμπεραίνουμε ότι Η φ. Αυτό επιβεβαιώνει την ορθότητα της περίπτωσης. φ = φ 1 φ 2. Ισχύει ότι οι προτάσεις φ 1 και φ 2 έχουν λιγότερους από m τελεστές, επομένως, από την υπόθεση της επαγωγής, Η φ 1 ή Η φ 1 Η φ 2 ή Η φ 2 Αν τουλάχιστον ένα από τα Η φ 1 και Η φ 2 τότε Η φ, διαφορετικά Η φ. Αυτό επιβεβαιώνει την ορθότητα της περίπτωσης. φ = φ 1 φ 2. Ισχύει ότι οι προτάσεις φ 1 και φ 2 έχουν λιγότερους από m τελεστές, επομένως, από την υπόθεση της επαγωγής, Η φ 1 ή Η φ 1 Η φ 2 ή Η φ 2 Αν Η φ 1 και Η φ 2 τότε Η φ, διαφορετικά Η φ. Αυτό επιβεβαιώνει την ορθότητα της περίπτωσης. φ = φ 1 φ 2. Ισχύει ότι οι προτάσεις φ 1 και φ 2 έχουν λιγότερους από m τελεστές, επομένως, από την υπόθεση της επαγωγής, Η φ 1 ή Η φ 1 Η φ 2 ή Η φ 2 Αν όχι Η φ 1 και Η φ 2 τότε Η φ, διαφορετικά Η φ. Αυτό επιβεβαιώνει την ορθότητα της περίπτωσης. Αυτό συμπληρώνει την απόδειξη και το ζητούμενο έπεται. Σειρά Προβλημάτων 1 Λύσεις Χειμερινό Εξάμηνο 2019 Σελίδα 10
Σειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Να διατυπώσετε τον πιο κάτω συλλογισμό στον Προτασιακό Λογισμό και να τον αποδείξετε χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι πέντε
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Σκοπεύετε να διοργανώσετε ένα πάρτι για τους συμφοιτητές σας κάτω από τους πιο κάτω περιορισμούς. Π1. Η Μαίρη δεν μπορεί να έρθει. Π2. Ο Ηλίας και η Αντιγόνη είτε θα
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 1
Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 p q r p (q r) (p q) p q r ( r p q) T T T T F T T T T F F F F T T F T T T T T T F F T T T T F T T T F T T F T F T F T T F F T T F T F F F F T F T T Ο πιο πάνω πίνακας παρουσιάζει
Διαβάστε περισσότεραΦροντιστήριο 2 Λύσεις
Φροντιστήριο 2 Λύσεις Άσκηση 1 1. p ( p r) προϋπόθεση 2. r προϋπόθεση 3. q προσωρινή υπόθεση 4. p προσωρινή υπόθεση 5. p r ΜP 6. p προσωρινή υπόθεση r προσωρινή υπόθεση 7. i 4, 6 8. r e 9. r e 5, 8, 6
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 1
Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 Έστω οι προτάσεις / προϋπόθεσεις: Π1. Σε όσους αρέσει η τέχνη αρέσουν και τα λουλούδια. Π2. Σε όσους αρέσει το τρέξιμο αρέσει και η μουσική. Π3. Σε όσους δεν αρέσει η
Διαβάστε περισσότεραΛύσεις 1 ης Σειράς Ασκήσεων
Λύσεις 1 ης Σειράς Ασκήσεων Άσκηση 1 Έστω οι ατομικές προτάσεις A 1 = H Αντιγόνη κέρδισε τον αγώνα, A 3 = H Αντιγόνη πήρε την τρίτη θέση, Β 2 = Ο Βίκτορας πήρε την δεύτερη θέση, Γ 3 = Ο Γιάννης πήρε την
Διαβάστε περισσότεραΛύσεις 1 ης Σειράς Ασκήσεων
Λύσεις 1 ης Σειράς Ασκήσεων Άσκηση 1 α) p q r (p s) ((s t) t) 1. p q r προϋπόθεση 2. p s προσωρινή υπόθεση 3. s t προσωρινή υπόθεση 4. p e 1 5. s ΜP 2,4 6. t ΜP 3,5 7. (s t) t i 3, 6 8. (p s) ((s t) t)
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε
Διαβάστε περισσότεραΕπανάληψη. ΗΥ-180 Spring 2019
Επανάληψη Έχουμε δει μέχρι τώρα 3 μεθόδους αποδείξεων του Προτασιακού Λογισμού: Μέσω πίνακα αληθείας για τις υποθέσεις και το συμπέρασμα, όπου ελέγχουμε αν υπάρχουν ερμηνείες που ικανοποιούν τις υποθέσεις
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις Να αποφασίσετε κατά πόσο οι πιο κάτω προδιαγραφές είναι ορθές σύμφωνα με την έννοια της μερικής ορθότητας και την έννοια της ολικής ορθότητας. Να αιτιολογήσετε σύντομα
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 2
Λύσεις Σειράς Ασκήσεων 2 Άσκηση 1 N φιλόσοφοι κάθονται γύρω από ένα τραπέζι με N καρέκλες, N πιάτα και N πιρούνια. Όταν κάποιος φιλόσοφος πεινάσει παίρνει τα δύο πιρούνια που βρίσκονται δίπλα από το πιάτο
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραΠροτασιακός Λογισμός (HR Κεφάλαιο 1)
Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Δευτέρα 2 Νοεμβρίου 2015 Διάρκεια : 10:30 12:00 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο: Αριθμός
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Πέμπτη, 30 Οκτωβρίου 2014 Διάρκεια : 10:30 12.00 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΤΥΠΕΣ ΛΥΣΕΙΣ Οδηγίες:
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13
Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13 Άσκηση 1 (20 μονάδες) Οι ιδιότητες διατυπώνοντας στην PLTL ως εξής: (α) Αν ο καταχωρητής Κ 1 κάποια στιγμή πάρει την τιμή 1 θα διατηρήσει την τιμή αυτή
Διαβάστε περισσότεραΠροτασιακός Λογισμός (HR Κεφάλαιο 1)
Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 2
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 2 Ακολουθεί η διατύπωση των προτάσεων στον Κατηγορηματικό Λογισμό. (α) Δεν υπάρχουν δύο διαφορετικές πτήσεις με τον ίδιο αριθμό. x 1, d 1, a 1, s 1, t 1, x 2, d 2, a 2,
Διαβάστε περισσότεραΚανονικές μορφές - Ορισμοί
HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Τετάρτη 24 Οκτωβρίου, 2018 Διάρκεια : 12:00 13:30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο: ΠΡΟΧΕΙΡΕΣ
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Σκελετοί Λύσεων Ημερομηνία : Σάββατο, 27 Οκτωβρίου 2012 Διάρκεια : 11:00 13:00 Διδάσκουσα : Άννα Φιλίππου Άσκηση
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ. 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες.
ΑΣΚΗΣΕΙΣ 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες. α) A B/A Α Β ΑΛΒ Α α α α α α ψ ψ α ψ α ψ ψ ψ ψ ψ ψ Όπως βλέπουμε, αν η πρόταση A B είναι αληθής, τότε σε
Διαβάστε περισσότεραΚατ οίκον Εργασία 2 Λύσεις
Κατ οίκον Εργασία 2 Λύσεις Άσκηση 1 Ακολουθεί η διατύπωση των προτάσεων στον προτασιακό λογισμό. (α) Κάθε ενεργός χρήστης είναι είτε διαχειριστής είτε κανονικός χρήστης του συστήματος. x [Ενεργός (x) Διαχειριστής(x)
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότερα, για κάθε n N. και P είναι αριθμήσιμα.
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΔΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ Διδάσκοντες: Δ.Φωτάκης Θ. Σούλιου η Γραπτή Εργασία Ημ/νια παράδοσης 5/4/8 Θέμα (Διαδικασίες Απαρίθμησης.
Διαβάστε περισσότεραΠεριεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΠροτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος
Προτασιακή Λογική (Propositional Logic) Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος - 2015 Λογική Λογική είναι οι κανόνες που διέπουν τη σκέψη. Η λογική αφορά τη μελέτη των διαδικασιών
Διαβάστε περισσότεραΛύσεις 2 ης Σειράς Ασκήσεων
Λύσεις 2 ης Σειράς Ασκήσεων Άσκηση 1 Στην άσκηση αυτή σας ζητείται να διατυπώσετε στον Κατηγορηματικό Λογισμό ένα σύνολο από απαιτήσεις/προτάσεις που σχετίζονται με ένα κοινωνικό δίκτυο χρησιμοποιώντας
Διαβάστε περισσότεραΣειρά Προβλημάτων 2 Λύσεις
Σειρά Προβλημάτων 2 Λύσεις Άσκηση 1 Χρησιμοποιώντας τα πιο κάτω κατηγορήματα και σταθερές και υποθέτωντας ως σύμπαν το σύνολο όλων των ανθρώπων, να διατυπώσετε τις προτάσεις που ακολουθούν στον Κατηγορηματικό
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 9: Προτασιακή λογική Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου
Διαβάστε περισσότεραΑσκήσεις μελέτης της 8 ης διάλεξης
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2017 18 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 8 ης διάλεξης 8.1. (i) Έστω ότι α και β είναι δύο τύποι της προτασιακής
Διαβάστε περισσότεραΜαθηματική Λογική και Απόδειξη
Μαθηματική Λογική και Απόδειξη Σύντομο ιστορικό σημείωμα: Η πρώτη απόδειξη στην ιστορία των μαθηματικών, αποδίδεται στο Θαλή το Μιλήσιο (~600 π.χ.). Ο Θαλής απέδειξε, ότι η διάμετρος διαιρεί τον κύκλο
Διαβάστε περισσότεραx < y ή x = y ή y < x.
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Εαρινό Εξάμηνο 011-1 Τμήμα Μαθηματικών Διδάσκων: Χ.Κουρουνιώτης Μ8 ΕΡΓΑΣΤΗΡΙΟ ΑΝΑΛΥΣΗΣ Φυλλάδιο 1 Ανισότητες Οι πραγματικοί αριθμοί είναι διατεταγμένοι. Ενισχύουμε αυτήν την ιδέα με
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου
ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραΥποθετικές προτάσεις και λογική αλήθεια
Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας
Διαβάστε περισσότεραΜορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 08/03/2018 Ζωγραφιστού Δήμητρα
Μορφολογική Παραγωγή 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 08/03/2018 Ζωγραφιστού Δήμητρα Συστήματα Αποδείξεων στον ΠΛ(1/2) Συχνά μας ενδιαφέρει να μπορούμε να διαπιστώσουμε αν μία εξαγωγή
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w
Διαβάστε περισσότερα1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-180: Λογική Εαρινό Εξάµηνο 2016 Κ. Βάρσος Πρώτο Φροντιστήριο 1 Συνοπτική ϑεωρία 1.1 Νόµοι του Προτασιακού Λογισµού 1. Νόµος ταυτότητας : 2. Νόµοι αυτοπάθειας
Διαβάστε περισσότεραΜορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα
Μορφολογική Παραγωγή 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα Συστήματα Αποδείξεων στον ΠΛ(1/2) Συχνά μας ενδιαφέρει να μπορούμε να διαπιστώσουμε αν μία εξαγωγή
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Να υπολογίσετε την προτασιακή μορφή των πιο κάτω προτάσεων. (α) xyz [(P(x,y) Q(y,z)) Q(x,y)] x P(x,f(x)) Βήμα 1: Μετατροπή σε Κανονική Μορφή Prenex: xyz [(P(x,y) Q(y,z))
Διαβάστε περισσότεραΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά
ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει
Διαβάστε περισσότεραHY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5
HY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5 Α) ΘΕΩΡΙΑ Η Μορφολογική Παραγωγή ανήκει στα συστήματα παραγωγής, δηλαδή σε αυτά που παράγουν το συμπέρασμα με χρήση συντακτικών κανόνων λογισμού. Η
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε
Διαβάστε περισσότεραΦροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018
Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 1//018 Σημείωση: Όλες οι παρακάτω αποδείξεις ακολουθούν την επαγωγική μέθοδο. Κάποια από τα παραδείγματα έχουν αποδειχθεί και με άλλες μεθόδους στο Φροντιστήριο
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότεραΒασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF
Βασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2018 Κρεατσούλας
Διαβάστε περισσότεραΜη γράφετε στο πίσω μέρος της σελίδας
Μαθηματική Λογική Εξέταση Σεπτεμβρίου 2016 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ2: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Να βρείτε το σφάλμα στην πιο κάτω απόδειξη. Ισχυρισμός: Όλα τα βιβλία που έχουν γραφτεί στη Θεωρία Υπολογισμού έχουν τον ίδιο
Διαβάστε περισσότεραΜορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 15/03/2017 Ζωγραφιστού Δήμητρα
Μορφολογική Παραγωγή 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 15/03/2017 Ζωγραφιστού Δήμητρα Συστήματα Αποδείξεων στον ΠΛ(1/2) Συχνά μας ενδιαφέρει να μπορούμε να διαπιστώσουμε αν μία εξαγωγή
Διαβάστε περισσότεραm + s + q r + n + q p + s + n, P Q R P Q P R Q R F G
Λύσεις Θεμάτων Θεμελίων των Μαθηματικών 1. Εστω A, B, C τυχόντα σύνολα. Να δειχθεί ότι A (B C) (A B) (A C). Απόδειξη. Εστω x τυχαίο στοιχείο του A (B C). Εξ ορισμού, το x ανήκει σε ακριβώς ένα από τα A,
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο η Σειρά Ασκήσεων
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 1 η Σειρά Ασκήσεων Παράδοση: Τρίτη, 28/2/2017 μέχρι το τέλος του φροντιστηρίου Σημείωση: Οι απαντήσεις πρέπει να είναι τεκμηριωμένες Άσκηση 1.1 [1 μονάδα]
Διαβάστε περισσότεραψ φ2 = k χ φ2 = 4k χ φ1 = χ φ1 + χ φ2 + 3 = 4(k 1 + k 2 + 1) + 1 ψ φ1 = ψ φ1 + χ φ2 = k k = (k 1 + k 2 + 1) + 1
Ασκήσεις στο μάθημα της Λογικής 15 Οκτωβρίου 2015 Άσκηση 1. Να δειχτεί ότι δεν υπάρχουν τύποι μήκους 2,3,6 αλλά κάθε άλλο (θετικό ακέραιο) μήκος είναι δυνατό (άσκηση 2, σελίδα 39) Απόδειξη. Δείχνουμε πρώτα
Διαβάστε περισσότεραΣΥΣΤΗΜΑΤΑ. 6.1 ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ (Επαναλήψεις-Συμπληρώσεις)
6 ΣΥΣΤΗΜΑΤΑ 6.1 ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ (Επαναλήψεις-Συμπληρώσεις) Η εξίσωση αx βy γ Στο Γυμνάσιο διαπιστώσαμε με την βοήθεια παραδειγμάτων ότι η εξίσωση αx βy γ, με α 0 ή β 0, που λέγεται γραμμική εξίσωση,
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { R η R είναι μια κανονική έκφραση η οποία παράγει μια μη πεπερασμένη γλώσσα} (β) { G η G είναι μια CFG η οποία
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ
ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα
Διαβάστε περισσότερα4.3 Ορθότητα και Πληρότητα
4.3 Ορθότητα και Πληρότητα Συστήματα αποδείξεων όπως η μορφολογική παραγωγή και η κατασκευή μοντέλων χρησιμοποιούνται για να δείξουμε την εγκυρότητα εξαγωγών συμπερασμάτων. Ένα σύστημα αποδείξεων μπορεί
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΆσκηση 1 Να βρεθούν οι συντεταγμένες του σημείου A(x, y), αν αυτές επαληθεύουν την ισότητα: x 2 6xy + 11y 2 8y + 8 = 0
Άσκηση 1 Να βρεθούν οι συντεταγμένες του σημείου A(x, y), αν αυτές επαληθεύουν την ισότητα: x 6xy + 11y 8y + 8 = 0 Τι είναι αυτό που έχει δοθεί στην άσκηση; Μία ισότητα την οποία επαληθεύουν οι x, y. Τι
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότερα2018 Φάση 2 ιαγωνίσµατα Επανάληψης ΑΛΓΕΒΡΑ. Α' Γενικού Λυκείου. Σάββατο 21 Απριλίου 2018 ιάρκεια Εξέτασης:3 ώρες ΘΕΜΑΤΑ
ΘΕΜΑ A ΑΛΓΕΒΡΑ Α' Γενικού Λυκείου Σάββατο 1 Απριλίου 018 ιάρκεια Εξέτασης: ώρες ΘΕΜΑΤΑ Πεδίο ορισμού μιας συνάρτησης f (x) από ένα σύνολο Α σε ένα σύνολο Β ονομάζουμε το σύνολο Α, στο οποίο φαίνονται οι
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Θεωρήστε το σύνολο των ατομικών προτάσεων ΑΡ = {α, π, ε} που αντιστοιχούν στις ενέργειες αποστολής μηνύματος, παραλαβής μηνύματος και επιστροφής αποτελέσματος που εκτελούνται
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G 1, G 2 οι G 1 και G 2 είναι δύο CFG που παράγουν μια κοινή λέξη μήκους 144 } (β) { D,k το D είναι ένα DFA
Διαβάστε περισσότεραΣημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης
Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................
Διαβάστε περισσότεραΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ
ΤΕΙ Δυτικής Μακεδονίας ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ 2015-2016 Τεχνητή Νοημοσύνη Λογικοί Πράκτορες Διδάσκων: Τσίπουρας Μάρκος Εκπαιδευτικό Υλικό: Τσίπουρας Μάρκος http://ai.uom.gr/aima/ 2 Πράκτορες βασισμένοι
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ME ΠΟΛΛΕΣ ΚΑΙ ΕΓΚΑΡΔΙΕΣ ΕΥΧΕΣ ΓΙΑ ΚΑΛΕΣ ΓΙΟΡΤΕΣ, ΥΓΕΙΑ ΚΑΙ ΠΡΟΟΔΟ ΣΕ ΕΣΑΣ ΚΑΙ ΤΙΣ ΟΙΚΟΓΕΝΕΙΕΣ ΣΑΣ Φυλλάδιο 2: Σχεσιακή Λογική ΔΕΚΕΜΒΡΙΟΣ 2006 ΠΑΡΑΔΟΣΗ: 12/11/2006
Διαβάστε περισσότεραΛογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες
Διαβάστε περισσότεραHY Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο. Φροντιστήριο 6
HY-180 - Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο 2015-2016 Φροντιστήριο 6 Α) ΘΕΩΡΙΑ Μέθοδος Επίλυσης (Resolution) Στη μέθοδο της επίλυσης αποδεικνύουμε την ικανοποιησιμότητα ενός συνόλου προτάσεων,
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΜη γράφετε στο πίσω μέρος της σελίδας
Μαθηματική Λογική Τελική εξέταση Ιούλιος 2014 α Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότεραΛογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο
Λογική Πρώτης Τάξης Γιώργος Κορφιάτης Εθνικό Μετσόβιο Πολυτεχνείο Νοέµβριος 2008 Σύνταξη Ορισµός (Σύνταξη της λογικής πρώτης τάξης) Λεξιλόγιο Σ = (Φ, Π, r) Συναρτήσεις f Φ Σχέσεις R Π r( ) η πληθικότητα
Διαβάστε περισσότερα12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο
ΓΕΝΙΚΑ ΠΕΡΙ ΑΝΙΣΩΣΕΩΝ Έστω f σύνολο Α, g Α ΒΑΘΜΟΥ είναι δύο παραστάσεις μιας μεταβλητής πού παίρνει τιμές στο Ανίσωση με έναν άγνωστο λέγεται κάθε σχέση της μορφής f f g g ή, η οποία αληθεύει για ορισμένες
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Φροντιστήριο 4: Μορφολογική Παραγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 4: Μορφολογική Παραγωγή Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 8: ΜΟΝΟΤΟΝΙΑ ΣΥΝΑΡΤΗΣΗΣ [Ενότητα Μονοτονία Συνάρτησης του κεφ.2.6 Μέρος Β του σχολικού βιβλίου].
ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 8: ΜΟΝΟΤΟΝΙΑ ΣΥΝΑΡΤΗΣΗΣ [Ενότητα Μονοτονία Συνάρτησης του κεφ..6 Μέρος Β του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ Παράδειγμα 1. ΘΕΜΑ Β Να μελετηθούν ως προς την μονοτονία
Διαβάστε περισσότεραΣΥΝΘΕΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ
ΣΥΝΘΕΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ Α. Με ολοκληρωμένη λύση ΘΕΜΑ 1 ο Επιχείρηση χρησιμοποιεί την εργασία ως μοναδικό μεταβλητό παραγωγικό συντελεστή. Τα στοιχεία κόστους της επιχείρησης δίνονται στον επόμενο πίνακα:
Διαβάστε περισσότεραΓΥΜΝΑΣΜΑΤΑ ΑΡΙΘΜΟΘΕΩΡΙΑΣ Κασαπίδης Γεώργιος Μαθηματικός Αναπαράσταση πρώτων αριθμών ως άθροισμα δυο τετραγώνων. p 1.
Κάθε πρώτος της μορφής κ+1 γράφεται ως άθροισμα δυο τετραγώνων. Έστω p πρώτος p 1 mod q= α. α 1modp β. Υπάρχουν ακέραιοι x,y με 0< x, y< p τέτοιοι ώστε α x y 0 modp γ. p=x +y και α=q!. Δείξτε ότι Απόδειξη
Διαβάστε περισσότερα5.ΕΞΙΣΩΣΕΙΣ ΠΡΩΤΟΥ ΒΑΘΜΟΥ
5.ΕΞΙΣΩΣΕΙΣ ΠΡΩΤΟΥ ΒΑΘΜΟΥ Για να επιλύσουμε μία παραμετρική εξίσωση ακολουθούμε τα παρακάτω βήματα: i) Βγάζω παρενθέσεις ii) Κάνω απαλοιφή παρανομαστών iii) Χωρίζω γνωστούς από αγνώστους (άγνωστος είναι
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων Λύσεις Άσκηση Έστω αλφάβητο Σ και γλώσσες Α, Β επί του αλφάβητου αυτού. Για κάθε μια από τις πιο κάτω περιπτώσεις να διερευνήσετε κατά πόσο Γ Δ, ή, Δ Γ, ή και τα δύο. Σε περίπτωση, που
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)
Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότεραΔώστε έναν επαγωγικό ορισμό για το παραπάνω σύνολο παραστάσεων.
Εισαγωγή στη Λογική Α Τάξης Σ. Κοσμαδάκης Συντακτικό τύπων Α τάξης Α Θεωρούμε δεδομένο ένα λεξιλόγιο Λ, αποτελούμενο από (1) ένα σύνολο συμβόλων για σχέσεις, { R, S,... } (2) ένα σύνολο συμβόλων για συναρτήσεις,
Διαβάστε περισσότεραΒασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF
Βασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 3/3/2016 Κατερίνα Δημητράκη
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Έστω αλφάβητο Σ και γλώσσες Λ 1, Λ 2 επί του αλφάβητου αυτού. Να διερευνήσετε κατά πόσο ισχύει κάθε μια από τις πιο κάτω σχέσεις. Σε περίπτωση που μια σχέση ισχύει να
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Έστω το σύνολο ατομικών προτάσεων ΑΡ = {red, yellow, green}. Με βάση τις ατομικές προτάσεις ΑΡ διατυπώστε τις πιο κάτω προτάσεις που αφορούν την κατάσταση των φώτων της
Διαβάστε περισσότεραΣτοιχεία προτασιακής λογικής
Σ. Κοσμαδάκης Στοιχεία προτασιακής λογικής Λογικές πράξεις and, or, not Για οποιεσδήποτε τιμές αλήθειας s, t στο σύνολο {true, false}, οι γνωστές πράξεις s and t, s or t, not s δίνουν αποτελέσματα στο
Διαβάστε περισσότεραΛογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών
Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G,k η G είναι μια ασυμφραστική γραμματική η οποία παράγει κάποια λέξη 1 n όπου n k } (β) { Μ,k η Μ είναι
Διαβάστε περισσότεραΠρόταση. Αληθείς Προτάσεις
Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο
Διαβάστε περισσότεραΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις
ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΜη γράφετε στο πίσω μέρος της σελίδας
Μαθηματική Λογική A Ενδιάμεση εξέταση Μάρτιος 2014 Σελ. 1 από 6 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις (Μαθηματική)
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότερα