ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ
|
|
- Ποδαργη Καλαμογδάρτης
- 7 χρόνια πριν
- Προβολές:
Transcript
1 ΧΛΤΖΙΝ ΠΥΛΟΣ ΒΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ 1. ύο προτάσεις που έχουν την ίδια σηµασία λέγονται ταυτόσηµες. 2. Μια αποφαντική πρόταση χαρακτηρίζεται αληθής όταν περιγράφει µια πραγµατική κατάσταση του κόσµου µας. Τότε λέµε ότι έχει αληθοτιµή ή αλλιώς τιµή αληθείας. 3. Μια αποφαντική πρόταση χαρακτηρίζεται ψευδής όταν περιγράφει µια µη υπαρκτή κατάσταση του κόσµου µας. Τότε λέµε ότι έχει αληθοτιµή ή αλλιώς τιµή αληθείας. 4. Π Ρ ούτε Π ούτε Ρ 5. Π Ρ είτε Π είτε Ρ 6. Η διαδοχή «και» είναι ένας σύνδεσµος τον οποίο καλούµε σύζευξη. Κάθε πρόταση που προκύπτει µε την πλήρωση των κενών καλείται συζευκτική πρόταση.για τον σύνδεσµο αυτό χρησιµοποιούµε το σύµβολο. 7. Η σύζευξη δύο προτάσεων είναι αληθής πρόταση στην περίπτωση όπου και οι δύο προτάσεις είναι αληθείς. Π Ρ Π Ρ 8. Η διαδοχή «ή» είναι ένας σύνδεσµος τον οποίο καλούµε διάζευξη. Κάθε πρόταση που προκύπτει µε την πλήρωση των κενών καλείται διαζευκτική πρόταση. Για τον σύνδεσµο αυτό χρησιµοποιούµε το σύµβολο. 1
2 ΧΛΤΖΙΝ ΠΥΛΟΣ 9. Η διάζευξη δύο προτάσεων είναι αληθής πρόταση όταν και µόνο όταν τουλάχιστον µια από τις δύο προτάσεις είναι αληθής. Π Ρ Π Ρ 10. ποκλειστική διάζευξη λέγεται αυτή στην οποία οι δύο προτάσεις που συνδέονται δε µπορεί να είναι ταυτόχρονα αληθείς. Άρα όταν και οι δύο προτάσεις που συνδέονται είναι αληθείς τότε η σύνθετη πρόταση είναι ψευδής Για τον σύνδεσµο αυτό χρησιµοποιούµε το σύµβολο. Π Ρ Π Ρ 11. Ο σύνδεσµος «όχι» λέγεται άρνηση. Για τον σύνδεσµο αυτό χρησιµοποιούµε το σύµβολο. Η άρνηση µιας πρότασης είναι αληθής όταν και µόνον όταν αυτή είναι ψευδής. Π Π 12. Ο σύνδεσµος «εάν τότε» λέγεται συνεπαγωγή. Η συµπλήρωση των κενών µε προτάσεις παράγει µια πρόταση που λέγεται υποθετική. Η πρόταση που τοποθετείται στο πρώτο κενό λέγεται ηγούµενος όρος και η πρόταση που τοποθετείται στο δεύτερο κενό λέγεται επόµενος όρος. Για τον σύνδεσµο αυτό χρησιµοποιούµε το σύµβολο. Μια υποθετική πρόταση είναι ψευδής µόνο στην περίπτωση όπου ο ηγούµενος όρος είναι αληθής και ο επόµενος ψευδής. Π Ρ Π Ρ 2
3 ΧΛΤΖΙΝ ΠΥΛΟΣ 13. Όταν οι δύο καταστάσεις που περιγράφουν οι συνδεόµενες προτάσεις είναι τέτοιες ώστε δεν είναι δυνατόν η µια να υφίσταται και η άλλη όχι, τότε η πρόταση αυτή λέγεται διπλή συνεπαγωγή ή ισοδυναµία. Το σύνδεσµο αυτό το συµβολίζουµε µε Η ισοδυναµία είναι αληθής µόνο στην περίπτωση όπου οι δύο συνδεόµενες προτάσεις έχουν την ίδια αληθοτιµή. Π Ρ Π Ρ 14. Να συµπληρωθεί ο πίνακας αληθείας: Π Ρ Τ Π Τ Ρ ( Π Τ ) 15. Να συµπληρωθεί ο πίνακας αληθείας: Π Ρ Τ Ρ Π ( Ρ Π) Τ 16. Κάθε τύπος στον οποίο αντιστοιχεί η αληθοτιµή για κάθε δυνατό συνδυασµό των αληθοτιµών των προτάσεων που τον συγκροτούν λέγεται ταυτολογία. (για παράδειγµα ο τύπος Π Π ) 17. Κάθε τύπος στον οποίο αντιστοιχεί η αληθοτιµή για κάθε δυνατό συνδυασµό των αληθοτιµών των προτάσεων που τον συγκροτούν λέγεται αντίφαση. (για παράδειγµα ο τύπος Π Π ) 18. Κάθε τύπος που δεν είναι ταυτολογία ή αντίφαση λέγεται ενδεχόµενος. 3
4 ΧΛΤΖΙΝ ΠΥΛΟΣ 19. Νόµος αντιθετοαντιστροφής ( ) ( Ρ Π ) 20. Νόµος διπλής άρνησης ( Π) Π 21. Νόµος συµπληρώµατος ή αποκλείσεως τρίτου Π ( Π ) 22. ύο τύποι φ και χ λέγονται λογικά ισοδύναµοι όταν και µόνον όταν ο τύπος είναι ταυτολογία. ( για παράδειγµα οι τύποι ϕ : και χ : Ρ Π ) Να συµπληρωθεί ο πίνακας αληθείας: Π Ρ Π Ρ ϕ : χ : Ρ Π 23. Να συµπληρωθεί ο πίνακας αληθείας: Π Ρ Π ϕ : χ : Π Ρ 24. Να συµπληρωθεί ο πίνακας αληθείας: Π Ρ ϕ : ( ) χ : Π Ρ 25. Να συµπληρωθεί ο πίνακας αληθείας: Π Ρ Π Ρ Π Ρ ϕ : ( Π Ρ ) χ : Ρ Π 26. Να γίνουν πίνακες αληθείας για τους τύπους: ( ) ( ) 1) Π ( ) Ρ 2) ( Π Ρ) ( ) 4
5 ΧΛΤΖΙΝ ΠΥΛΟΣ 27. Να συµπληρωθούν τα κενά: 1) ν ένας τύπος φ είναι ταυτολογία τότε ο τύπος ϕ είναι.. 2) ν ο τύπος φ είναι ταυτολογία και χ ένας οποιοδήποτε τύπος τότε ο τύπος ϕ χ είναι.. 3) ν ο τύπος φ είναι ταυτολογία και χ ένας οποιοδήποτε τύπος τότε ο τύπος χ ϕ είναι.. 4) ν φ και χ ταυτολογίες τότε ο τύπος ϕ χ είναι. 5) ν ο τύπος φ είναι αντίφαση και χ ένας οποιοδήποτε τύπος τότε ο τύπος ϕ χ είναι.. 6) ν ο τύπος φ είναι αντίφαση και χ ένας οποιοδήποτε τύπος τότε ο τύπος ϕ χ είναι.. 7) ν φ και χ ταυτολογίες τότε ο τύπος είναι. 8) ν φ και χ αντιφάσεις τότε ο τύπος είναι. 28. Συλλογισµός είναι µια νοητική διαδικασία µε βάση την οποία ξεκινώντας από µια οµάδα γνωσιακών δεδοµένων που εκφράζονται µε τη µορφή προτάσεων (υποθέσεις), καταλήγουµε σε ένα νέο γνωσιακό στοιχείο που επίσης εκφράζεται µε τη µορφή πρότασης (συµπέρασµα). Το σύνολο των προτάσεων που εµφανίζονται σε έναν συλλογισµό καλείται επιχείρηµα. Σχήµα επιχειρήµατος: υ, υ, υ,..., υ, σ ( όπου σ το συµπέρασµα και υ, υ, υ,..., υ οι υποθέσεις) ν 29. Ένα επιχείρηµα είναι έγκυρο όταν είναι τέτοιο ώστε σε κάθε περίπτωση κατά την οποία όλες οι υποθέσεις του είναι αληθείς και το συµπέρασµα είναι αληθές. 30. Όταν όλες οι υποθέσεις σε ένα σχήµα επιχειρήµατος έχουν αληθοτιµή και το συµπέρασµα έχει αληθοτιµή τότε αυτό καλείται αντιπαράδειγµα. Ένα σχήµα επιχειρήµατος είναι έγκυρο όταν δεν έχει κανένα αντιπαράδειγµα. Προφανώς ένα σχήµα επιχειρήµατος είναι µη έγκυρο όταν έχει τουλάχιστον ένα αντιπαράδειγµα. 31. Modus Ponens: πό µια συνεπαγωγή και τον ηγούµενο όρο της συνεπάγεται ο επόµενος όρος της. ν Modus Ponens Π Ρ 5
6 ΧΛΤΖΙΝ ΠΥΛΟΣ 32. Modus Tollens: πό µια συνεπαγωγή και την άρνηση του επόµενου όρου της συνεπάγεται η άρνηση του ηγούµενου όρου της. Modus Tollens Ρ Π 33. Υποθετικός συλλογισµός: από δύο συνεπαγωγές στις οποίες ο επόµενος όρος της πρώτης είναι ηγούµενος όρος στη δεύτερη, προκύπτει µια νέα συνεπαγωγή στην οποία ηγούµενος όρος είναι αυτός της πρώτης και επόµενος όρος είναι αυτός της δεύτερης. Υποθετικός συλλογισµός Ρ Π 34. ιαζευκτικός συλλογισµός: ιαζευκτικός συλλογισµός Ρ Π 35. Να αποδειχθεί ότι τα παρακάτω σχήµατα επιχειρήµατος είναι έγκυρα: 1) 2) 3) 4) 6
p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q
Σημειώσεις του Μαθήματος Μ2422 Λογική Κώστας Σκανδάλης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2010 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων
Διαβάστε περισσότεραΠροτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος
Προτασιακή Λογική (Propositional Logic) Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος - 2015 Λογική Λογική είναι οι κανόνες που διέπουν τη σκέψη. Η λογική αφορά τη μελέτη των διαδικασιών
Διαβάστε περισσότεραΕκπαιδευτικός Οµιλος ΒΙΤΑΛΗ
Λογική και Προτασιακός Λογισµός ρ. Κωνσταντίνος Κυρίτσης Μακράς Στοάς 7 & Εθνικής Αντιστάσεως Πειραιάς 185 31 16 Μαρτίου 2009 Περίληψη Οι παρούσες σηµειώσεις αποτελούν µια σύντοµη εισαγωγή στην Λογική
Διαβάστε περισσότεραΠροτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)
Εισαγωγή στις βασικές έννοιες των Μαθηματικών 5 ο Μάθημα Μαθηματική Λογική (επανάληψη) Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα
Διαβάστε περισσότερα1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-180: Λογική Εαρινό Εξάµηνο 2016 Κ. Βάρσος Πρώτο Φροντιστήριο 1 Συνοπτική ϑεωρία 1.1 Νόµοι του Προτασιακού Λογισµού 1. Νόµος ταυτότητας : 2. Νόµοι αυτοπάθειας
Διαβάστε περισσότεραΕπανάληψη. ΗΥ-180 Spring 2019
Επανάληψη Έχουμε δει μέχρι τώρα 3 μεθόδους αποδείξεων του Προτασιακού Λογισμού: Μέσω πίνακα αληθείας για τις υποθέσεις και το συμπέρασμα, όπου ελέγχουμε αν υπάρχουν ερμηνείες που ικανοποιούν τις υποθέσεις
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel
Διαβάστε περισσότεραΠρόταση. Αληθείς Προτάσεις
Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο
Διαβάστε περισσότεραΣχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2
A. ΠΡΟΤΑΣΕΙΣ Στα Μαθηµατικά χρησιµοποιούµε προτάσεις οι οποίες µπορούν να χαρακτηριστούν ως αληθείς (α) ή ψευδείς (ψ). Τις προτάσεις συµβολίζουµε µε τα τελευταία µικρά γράµµατα του Λατινικού αλφαβήτου:
Διαβάστε περισσότεραΥποθετικές προτάσεις και λογική αλήθεια
Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραAλγεβρα A λυκείου α Τομος
Aλγ ε β ρ α A Λυ κ ε ί ο υ Α Τό μ ο ς Κάθε γνήσιο αντίτυπο φέρει την υπογραφή του συγγραφέα Σειρά: Γενικό Λύκειο, Θετικές Επιστήμες Άλγεβρα Α Λυκείου, Α Τόμος Παναγιώτης Γριμανέλλης Στοιχειοθεσία-σελιδοποίηση,
Διαβάστε περισσότεραΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 9: Προτασιακή λογική Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου
Διαβάστε περισσότεραΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ Κεφάλαιο 2 ο. Επικοινωνία:
1 Επικοινωνία: spzygouris@gmail.com 2 Ποιοι είναι οι τελεστές σύγκρισης; Απάντηση Οι τελεστές σύγκρισης είναι: Ίσον = Διάφορο Μικρότερο < Μικρότεροήίσο Μεγαλύτερο > Μεγαλύτερο ή ίσο Που χρησιμοποιούνται
Διαβάστε περισσότεραΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ
1. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στόχος Να γνωρίζουν οι μαθητές: να αξιοποιούν το σύμβολο της συνεπαγωγής και της ισοδυναμίας να αξιοποιούν τους συνδέσμους «ή», «και» ΕΙΣΑΓΩΓΗ Η συννενόηση μεταξύ των ανθρώπων
Διαβάστε περισσότεραΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ. Βασικά Στοιχεία Λογικής
ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ Βασικά Στοιχεία Λογικής 2 Η Πριγκίπισσα και το Κάστρο Αν ρώταγα ένα μέλος της φυλής που δεν ανήκεις για το ποιον δρόμο πρέπει να πάρω για το κάστρο τι θα μου έλεγε; Μία πριγκίπισσα
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραAsk seic Majhmatik c Logik c 2
Ask seic Majhmatik c Logik c 2 1. Να δειχτεί με πίνακες αλήθειας ότι οι παρακάτω προτάσεις είναι λογικά ισοδύναμες. (αʹ) (A B) και A B. (βʹ) A (B C) και (A B) (A C). (γʹ) A B και B A. (δʹ) A B και B A.
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΑναπαράσταση Γνώσης και Συλλογιστικές
ναπαράσταση Γνώσης και Συλλογιστικές Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος ναπαράσταση γνώσης ναπαράσταση γνώσης
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραΛογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότεραΛογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης
Λογική Προτασιακή Λογική Λογική Πρώτης Τάξης Λογική (Logic) Αναλογίες διαδικασίας επίλυσης προβλημάτων υπολογισμού και προβλημάτων νοημοσύνης: Πρόβλημα υπολογισμού 1. Επινόηση του αλγορίθμου 2. Επιλογή
Διαβάστε περισσότεραΠεριεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΑσκήσεις μελέτης της 8 ης διάλεξης
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2017 18 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 8 ης διάλεξης 8.1. (i) Έστω ότι α και β είναι δύο τύποι της προτασιακής
Διαβάστε περισσότεραΣημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης
Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................
Διαβάστε περισσότεραΛΟΓΙΚΗ - ΣΥΝΟΛΑ ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ
ΛΟΓΙΚΗ - ΣΥΝΟΛ ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Η συνεπαγωγή ν P και Q είναι δύο ισχυρισμοί τέτοιοι ώστε όταν αληθεύει ο P να αληθεύει και ο Q τότε λέμε ότι το P συνεπάγεται το Q και γράφουμε P Q Π.χ, όταν α=β
Διαβάστε περισσότεραΑΣΚΗΣΕΙΣ. 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες.
ΑΣΚΗΣΕΙΣ 1. Εξετάστε αν οι παρακάτω εξαγωγές συμπερασμάτων στον προτασιακό λογισμό είναι έγκυρες. α) A B/A Α Β ΑΛΒ Α α α α α α ψ ψ α ψ α ψ ψ ψ ψ ψ ψ Όπως βλέπουμε, αν η πρόταση A B είναι αληθής, τότε σε
Διαβάστε περισσότεραΔιακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2017 Οργάνωση Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες Συνεπαγωγή Αποδείξεις
Διαβάστε περισσότεραΔιακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2018 Οργάνωση και περιεχόμενα Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΒασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF
Βασικές Ισοδυναμίες με Άρνηση /Πίνακες Αληθείας /Λογική Συνεπαγωγή /Ταυτολογίες /Αντινομίες Πλήρης αλγόριθμος μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 3/3/2016 Κατερίνα Δημητράκη
Διαβάστε περισσότεραΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ
ΤΕΙ Δυτικής Μακεδονίας ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ 2015-2016 Τεχνητή Νοημοσύνη Λογικοί Πράκτορες Διδάσκων: Τσίπουρας Μάρκος Εκπαιδευτικό Υλικό: Τσίπουρας Μάρκος http://ai.uom.gr/aima/ 2 Πράκτορες βασισμένοι
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΛογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση
Λογικοί πράκτορες Πράκτορες βασισµένοι στη γνώση Βάση γνώσης (knowledge base: Σύνολο προτάσεων (sentences Γλώσσα αναπαράστασης της γνώσης Γνωστικό υπόβαθρο: «Αµετάβλητο» µέρος της ΒΓ Βασικές εργασίες:
Διαβάστε περισσότεραA. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ
Μάθηµα 1 Κεφάλαιο: Εισαγωγικό Θεµατικές Ενότητες: A. Το Λεξιλόγιο της Λογικής B. Σύνολα A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Ορισµός Πρόταση λέµε κάθε φράση που µε βάση το νοηµατικό της περιεχόµενο µπορούµε να
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραΥπολογιστική Λογική και Λογικός Προγραμματισμός
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Υπολογιστική Λογική και Λογικός Προγραμματισμός Ενότητα 2: Λογική: Εισαγωγή, Προτασιακή Λογική. Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Άδειες
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία
Διαβάστε περισσότεραΥποδ: Χρησιμοποιήστε τον ορισμό της λογικής συνεπαγωγής (λογικής κάλυψης).
Κανόνας Ανάλυσης 1 Μυθικός Αθάνατος 3 Μυθικός Θηλαστικό ------------------------------ 7 Αθάνατος Θηλαστικό 4 Αθάνατος έχεικέρας -------------------------------- 8 Θηλαστικό έχεικέρας 5 Θηλαστικό έχεικέρας
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις (Μαθηματική)
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 18/02/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 2/18/2016
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός
HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen Προηγούμενη
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen 08-Feb-18
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΒασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF
Βασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF 2 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2018 Κρεατσούλας
Διαβάστε περισσότερατα βιβλία των επιτυχιών
Τα βιβλία των Εκδόσεων Πουκαμισάς συμπυκνώνουν την πολύχρονη διδακτική εμπειρία των συγγραφέων μας και αποτελούν το βασικό εκπαιδευτικό υλικό που χρησιμοποιούν οι μαθητές των φροντιστηρίων μας. Μέσα από
Διαβάστε περισσότεραΜαθηματική Λογική και Απόδειξη
Μαθηματική Λογική και Απόδειξη Σύντομο ιστορικό σημείωμα: Η πρώτη απόδειξη στην ιστορία των μαθηματικών, αποδίδεται στο Θαλή το Μιλήσιο (~600 π.χ.). Ο Θαλής απέδειξε, ότι η διάμετρος διαιρεί τον κύκλο
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 1
Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 Έστω οι προτάσεις / προϋπόθεσεις: Π1. Σε όσους αρέσει η τέχνη αρέσουν και τα λουλούδια. Π2. Σε όσους αρέσει το τρέξιμο αρέσει και η μουσική. Π3. Σε όσους δεν αρέσει η
Διαβάστε περισσότεραΠροτασιακός Λογισμός (HR Κεφάλαιο 1)
Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Να διατυπώσετε τον πιο κάτω συλλογισμό στον Προτασιακό Λογισμό και να τον αποδείξετε χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι πέντε
Διαβάστε περισσότεραΔιακριτά Μαθηματικά Ι
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Μαθηματική λογική και αποδεικτικές τεχνικές Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β.
ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά (Τσικνο)Πέµπτη, 12/02/2015 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen
Διαβάστε περισσότεραΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά
ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Παρασκευή, 10/02/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen Τι
Διαβάστε περισσότερα1. ΕΙΣΑΓΩΓΗ ΣΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ
MYY204 Διακριτά Μαθηματικά Μθ άii Προτασιακή Λογική ιδακτικές Σημειώσεις EPP : Παράγραφοι 1.1 1.2 Rosen: Παράγραφοι 1.1 1.3 1 η +2 η Εβδομάδα Άνοιξη 2015 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Παν. Ιωαννίνων
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 18/02/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Προτασιακός Λογισµός (συνέχεια...) Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα...
HY118- ιακριτά Μαθηµατικά Παρασκευή, 11/03/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/15/2016
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότεραΑποφασισιµότητα. HY118- ιακριτά Μαθηµατικά. Βασικές µέθοδοι απόδειξης. 07 -Αποδείξεις. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο 2017
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΛογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο
Λογική Πρώτης Τάξης Γιώργος Κορφιάτης Εθνικό Μετσόβιο Πολυτεχνείο Νοέµβριος 2008 Σύνταξη Ορισµός (Σύνταξη της λογικής πρώτης τάξης) Λεξιλόγιο Σ = (Φ, Π, r) Συναρτήσεις f Φ Σχέσεις R Π r( ) η πληθικότητα
Διαβάστε περισσότεραΚεφάλαιο 4 : Λογική και Κυκλώματα
Κεφάλαιο 4 : Λογική και Κυκλώματα Σύνοψη Τα κυκλώματα που διαθέτουν διακόπτες ροής ηλεκτρικού φορτίου, χρησιμοποιούνται σε διατάξεις που αναπαράγουν λογικές διαδικασίες για τη λήψη αποφάσεων. Στην ενότητα
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Μαθηματικές Προτάσεις Στοιχεία Προτασιακής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο
Διαβάστε περισσότεραΠροτασιακός Λογισμός (HR Κεφάλαιο 1)
Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική
Διαβάστε περισσότεραιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 5η Προτασιακή Λογική
ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 5η Προτασιακή Λογική Σκοπός της παρούσας εργασίας είναι η εξοικείωση µε τις έννοιες της Προτασιακής Λογικής. Η εργασία πρέπει να γραφεί ηλεκτρονικά
Διαβάστε περισσότεραΣημεία Προσοχής στην Παράγραφο Ε1.
Σημεία Προσοχής στην Παράγραφο Ε1. 1. Πότε μια πρόταση που περιέχει το ή είναι αληθής; Μια πρόταση που περιέχει τον σύνδεσμο "ή", ουσιαστικά αποτελείται από δύο ισχυρισμούς. Μπορεί και οι δύο ισχυρισμοί
Διαβάστε περισσότεραΘεώρηµα: Z ( Απόδειξη: Περ. #1: Περ. #2: *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός
HY118- ιακριτά Μαθηµατικά Την προηγούµενη φορά Τρόποι απόδειξης Τρίτη, 07/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter,
Διαβάστε περισσότεραΕΙΣΑΓΩΓΙΚΕΣ ΕΝΝΟΙΕΣ. Η συνεπαγωγή. Η Ισοδυναμία ή διπλή συνεπαγωγή. Ο σύνδεσμος «ή» Ο σύνδεσμος «και»
Η συνεπαγωγή ΕΙΣΑΓΩΓΙΚΕΣ ΕΝΝΟΙΕΣ Αν P και Q είναι δύο ισχυρισμοί, τέτοιοι ώστε, όταν αληθεύει ο P να αληθεύει και ο Q, τότε λέμε ότι: «ο P συνεπάγεται τον Q» και γράφουμε P Q. Παράδειγμα: x=3 x 2 =9. Ο
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w
Διαβάστε περισσότεραΚανονικές μορφές - Ορισμοί
HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:
Διαβάστε περισσότεραΜαθηματικά. Α' Λυκείου. Μαρίνος Παπαδόπουλος
Μαθηματικά Α' Λυκείου Μαρίνος Παπαδόπουλος ΠΡΟΛΟΓΙΚΟ ΣΗΜΕΙΩΜΑ Σας καλωσορίζω στον όµορφο κόσµο των Μαθηµατικών της Α Λυκείου. Τα µαθηµατικά της συγκεκριµένης τάξης αποτελούν µια εισαγωγή σε βασικές µαθηµατικές
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Τρίτη, 07/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/7/2017
Διαβάστε περισσότερατα βιβλία των επιτυχιών
Τα βιβλία των Εκδόσεων Πουκαμισάς συμπυκνώνουν την πολύχρονη διδακτική εμπειρία των συγγραφέων μας και αποτελούν το βασικό εκπαιδευτικό υλικό που χρησιμοποιούν οι μαθητές των φροντιστηρίων μας. Μέσα από
Διαβάστε περισσότεραΜορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 08/03/2018 Ζωγραφιστού Δήμητρα
Μορφολογική Παραγωγή 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 08/03/2018 Ζωγραφιστού Δήμητρα Συστήματα Αποδείξεων στον ΠΛ(1/2) Συχνά μας ενδιαφέρει να μπορούμε να διαπιστώσουμε αν μία εξαγωγή
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότερα! όπου το σύµβολο έχει την έννοια της παραγωγής, δηλαδή το αριστερό µέρος ισχύει ενώ το δεξιό µέρος συµπεραίνεται και προστίθεται στη βάση γνώσης.
Αποδείξεις (1/2)! Χρησιµοποιούµε τις συνεπαγωγές της βάσης γνώσης για να βγάλουµε νέα συµπεράσµατα. Για παράδειγµα:! Από τις προτάσεις:! Ακαι Α Β! µπορούµε να βγάλουµε το συµπέρασµα (τεχνική modus ponens
Διαβάστε περισσότεραΑξιολόγηση Επιχειρήματος Θεωρία & Ασκήσεις
ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ Γιάννης Ι. Πασσάς, MEd 29 Απριλίου 2018 Αξιολόγηση Επιχειρήματος Θεωρία & Ασκήσεις Διδακτικοί Στόχοι Επιδιώκεται ο μαθητής να ελέγχει την αλήθεια, την εγκυρότητα και την ορθότητα ενός
Διαβάστε περισσότεραΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική)
ΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 1 η Εργασία: Γενική Εικόνα Πολύ καλή εικόνα με εξαιρετική βαθμολογία
Διαβάστε περισσότεραΜορφολογική Παραγωγή. 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα
Μορφολογική Παραγωγή 3 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Τετάρτη 28/02/2019 Ζωγραφιστού Δήμητρα Συστήματα Αποδείξεων στον ΠΛ(1/2) Συχνά μας ενδιαφέρει να μπορούμε να διαπιστώσουμε αν μία εξαγωγή
Διαβάστε περισσότεραΑΡΙΘΜΗΤΙΚΗ ΟΡΙΣΙΜΟΤΗΤΑ
ΑΡΙΘΜΗΤΙΚΗ ΟΡΙΣΙΜΟΤΗΤΑ Έστω L, η γλώσσα της αριθµητικής και Ν η στάνταρτ ερµηνεία της. Για µια πρόταση της L αντί να λέµε 'αληθής' στην στάνταρτ ερµηνεία θα λέµε για συντοµία ότι η πρόταση είναι ορθή.
Διαβάστε περισσότεραΑναπαράσταση Γνώσης και Συλλογιστικές
ναπαράσταση Γνώσης και Συλλογιστικές! Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος ναπαράσταση γνώσης " ναπαράσταση
Διαβάστε περισσότεραΣΗΜΕΙΩΣΕΙΣ ΛΟΓΙΚΗΣ. για το μάθημα ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΚΗ ΚΑΙ ΤΗΝ ΚΡΙΤΙΚΗ ΣΚΕΨΗ. (ακ. έτος ) Κώστας Χατζηκυριάκου
1 ΣΗΜΕΙΩΣΕΙΣ ΛΟΓΙΚΗΣ για το μάθημα ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΚΗ ΚΑΙ ΤΗΝ ΚΡΙΤΙΚΗ ΣΚΕΨΗ (ακ. έτος 2012-13) Κώστας Χατζηκυριάκου Παιδαγωγικό Τμήμα Δημοτικής Εκπαίδευσης Πανεπιστήμιο Θεσσαλίας 2 1. Τι είναι η Λογική;
Διαβάστε περισσότερα2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ
ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΣΚΗΣΕΙΣ 2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΔΟΜΗ ΕΠΙΛΟΓΗΣ ΕΡΩΤΗΣΕΙΣ ΣΩΣΤΟ ΛΑΘΟΣ Σημειώστε αν είναι
Διαβάστε περισσότεραΑς θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «
.1 Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη διατύπωση μαθηματικών εννοιών, προτάσεων
Διαβάστε περισσότεραΟι τυπικές μέθοδοι παρέχουν ένα πλαίσιο μέσα στο οποίο μπορούμε να προδιαγράψουμε και να εγκυροποιήσουμε ένα σύστημα με συστηματικό τρόπο.
ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΥΣ ΑΝΑΛΥΣΗΣ ΣΥΣΤΗΜΑΤΩΝ Οι τυπικές μέθοδοι παρέχουν ένα πλαίσιο μέσα στο οποίο μπορούμε να προδιαγράψουμε και να εγκυροποιήσουμε ένα σύστημα με συστηματικό τρόπο. Όταν γράφουμε
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 1ο μέρος σημειώσεων: Προτασιακός Λογισμός Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ
1 of 5 10/12/2017, 9:32 PM ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΔΟΜΗ ΕΠΑΝΑΛΗΨΗΣ - ΘΕΜΑΤΑ ΠΑΝΕΛΛΗΝΙΩΝ 1. Να σημειώσετε Σωστό Λάθος στις παρακάτω προτάσεις: 1. Η πράξη της σύζευξης δύο λογικών
Διαβάστε περισσότεραΤΡΟΠΟΙ ΠΕΙΘΟΥΣ. Επίκληση στη λογική Επίκληση στο συναίσθημα Επίκληση στο ήθος
ΤΡΟΠΟΙ ΠΕΙΘΟΥΣ Επίκληση στη λογική Επίκληση στο συναίσθημα Επίκληση στο ήθος ΕΠΙΧΕΙΡΗΜΑΤΑ ΚΑΙ ΤΕΚΜΗΡΙΑ (ΜΕΣΑ ΠΕΙΘΟΥΣ ΕΠΙΚΛΗΣΗ ΣΤΗ ΛΟΓΙΚΗ) Όταν θέλουμε να πείσουμε με λογικές αποδείξεις, τότε χρησιμοποιούμε:
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραΑρχές Φιλοσοφίας Β Λυκείου Τράπεζα Θεμάτων: 2 ο κεφάλαιο «Κατανοώντας τα πράγματα»
Αρχές Φιλοσοφίας Β Λυκείου Τράπεζα Θεμάτων: 2 ο κεφάλαιο «Κατανοώντας τα πράγματα» Α] Ασκήσεις κλειστού τύπου (Σωστό Λάθος) Για τον Πλάτωνα οι καθολικές έννοιες, τα «καθόλου», δεν είναι πράγματα ξεχωριστά
Διαβάστε περισσότεραπ x = κπ + με κ. Στην παράγραφο αυτή θα ασχοληθούμε με συναρτήσεις οι οποίες έχουν 2
ΚΕΦΑΛΑΙΟ 2ο: ΣΥΝΑΡΤΗΣΕΙΣ - ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 3: ΣΥΝΑΡΤΗΣΗ - ΑΝΤΙΣΤΡΟΦΗ ΣΥΝΑΡΤΗΣΗ [Υποκεφάλαιο.3 Μονότονες συναρτήσεις Αντίστροφη συνάρτηση του σχολικού βιβλίου]. ΣΗΜΕΙΩΣΕΙΣ Συνάρτηση Όταν
Διαβάστε περισσότεραΣ αυτή την παράγραφο θα γνωρίσουμε τέσσερις βασικές έννοιες της λογικής, οι οποίες θα μας φανούν χρήσιμες στα επόμενα κεφάλαια του βιβλίου.
Σ αυτή την παράγραφο θα γνωρίσουμε τέσσερις βασικές έννοιες της λογικής, οι οποίες θα μας φανούν χρήσιμες στα επόμενα κεφάλαια του βιβλίου. Η προσέγγιση των εννοιών αυτών θα γίνει με τη βοήθεια απλών παραδειγμάτων,
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότερα