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

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

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

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

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

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2

ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ

Μαθηματική Λογική και Απόδειξη

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

Μαθηματικά Α' Γυμ. - Ερωτήσεις Θεωρίας 1 ΕΡΩΤΗΣΕΙΣ. (1) Ποιοι είναι οι φυσικοί αριθμοί; Γράψε τέσσερα παραδείγματα.

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

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

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

Aλγεβρα A λυκείου α Τομος

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

Στοιχεία Προτασιακής Λογικής

Προτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β.

ΑΣΚΗΣΕΙΣ ΣΤΗ ΛΟΓΙΚΗ Α Ψ Α Ψ viii) 9. Α Ψ ix) Α Ψ xi) Α Ψ xii) 0 0. Α Ψ xiii) Α Ψ xiv) Α Ψ xv)

ΛΟΓΙΚΗ - ΣΥΝΟΛΑ ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ Κεφάλαιο 2 ο. Επικοινωνία:

ΔΟΜΗ ΕΠΙΛΟΓΗΣ. Οι διάφορες εκδοχές της

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

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

3, ( 4), ( 3),( 2), 2017

ΑΣΚΗΣΕΙΣ ΕΠΑΝΑΛΗΨΗΣ 2 η ΕΚΑ Α

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

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF

Συνοπτική Θεωρία Μαθηματικών Α Γυμνασίου

p p p q p q p q p q

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ

ΕΠΑΝΑΛΗΨΗ Α ΓΥΜΝΑΣΙΟΥ

Β.1.8. Παραπληρωματικές και Συμπληρωματικές γωνίες Κατά κορυφήν γωνίες

Μάθημα: Άλγεβρα & Στοιχεία Πιθανοτήτων Α Λυκείου Διδακτική Ενότητα: Το λεξιλόγιο της Λογικής (2 διδακτικές ώρες)

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

Μαθηματικά Α Γυμνασίου. Επαναληπτικές ερωτήσεις θεωρίας

Κανονικές μορφές - Ορισμοί

Στοιχεία Προτασιακής Λογικής

τα βιβλία των επιτυχιών

Μαθηματικά A Γυμνασίου

Επικοινωνύα (1) Επικοινωνύα (2) Επικοινωνύα (3) Ανακοινώςεισ μαθήματοσ: κλειδύ: math2009.

ΕΝΔΕΙΚΤΙΚΕΣ ΔΟΚΙΜΑΣΙΕΣ ΜΑΘΗΜΑΤΙΚΩΝ ΓΙΑ ΤΗΝ ΕΙΣΑΓΩΓΗ ΜΑΘΗΤΩΝ ΣΤΑ ΠΡΟΤΥΠΑ-ΠΕΙΡΑΜΑΤΙΚΑ ΓΥΜΝΑΣΙΑ

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

Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον. Εκχώρηση Τιμών

Στοιχεία Προτασιακής Λογικής

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.

ΕΡΩΤΗΣΕΙΣ ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ ΤΗΣ Α ΓΥΜΝΑΣΙΟΥ ΑΛΓΕΒΡΑ

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «

Βασικές Ισοδυναμίες με Άρνηση, Πίνακες Αληθείας, Λογική Συνεπαγωγή, Ταυτολογίες, Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής CNF

Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ ΜΙΑ ΠΡΟΕΤΟΙΜΑΣΙΑ ΓΙΑ ΤΙΣ ΕΞΕΤΑΣΕΙΣ

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ

Σημεία Προσοχής στην Παράγραφο Ε1.

ΕΡΩΤΗΣΕΙΣ ΓΕΩΜΕΤΡΙΑΣ Α ΓΥΜΝΑΣΙΟΥ

ΜΑΘΗΜΑΤΙΚΑ Γ ΓΥΜΝΑΣΙΟΥ

Ενότητα: Τετράπλευρα (Ιδιότητες Ταξινόμηση) Keywords: parallelogram, rectangular, rhombus, square, diagonals, height.

MAΘΗΜΑΤΙΚΑ. κριτήρια αξιολόγησης. Κωνσταντίνος Ηλιόπουλος A ΓΥΜΝΑΣΙΟΥ

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

τα βιβλία των επιτυχιών

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ

με μ,ν ακέραιους και ν 0 και δημιουργήθηκε το σύνολο Q ( ρητοί). Το σύνολο Ζ επεκτάθηκε με την προσθήκη αριθμών της τύπου

x < y ή x = y ή y < x.

Δ. Ε. ΚΟΝΤΟΚΩΣΤΑΣ ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΓΕΩΜΕΤΡΙΑΣ Α ΛΥΚΕΙΟΥ

Γεωμετρία. 63. Σε περίπτωση που η αρχή, το σημείο Ο, βρίσκεται πάνω σε μια ευθεία χχ τότε η

ΜΑΘΗΜΑΤΙΚΑ Α' ΓΥΜΝΑΣΙΟΥ ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ σε word! ΕΠΙΜΕΛΕΙΑ: ΚΩΝΣΤΑΝΤΙΝΟΣ ΤΣΟΛΚΑΣ

3 o ΓΕ.Λ. ΚΕΡΑΤΣΙΝΙΟΥ. ΖΟΥΖΙΑΣ ΠΑΝΑΓΙΩΤΗΣ Μαθηματικός EΠΑΝΑΛΗΨΗ ΣΤΗ ΓΕΩΜΕΤΡΙΑ ΤΗΣ Α ΛΥΚΕΙΟΥ ΠΕΡΙΕΧΟΜΕΝΑ

Α. 27 Β. 29 Γ. 45 Δ. 105 Ε. 127

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Ιωάννης Σ. Μιχέλης Μαθηματικός

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ Κεφάλαιο 2 ο Να περιγραφεί η δομή επανάληψης Αρχή_επανάληψης Μέχρις_ότου

ΕΝΟΤΗΤΑ Β.3.1. Στοιχεία τριγώνου - Είδη τριγώνων

1.2 Εξισώσεις 1 ου Βαθμού

ΓΡΑΠΤΕΣ ΠΡΟΑΓΩΓΙΚΕΣ ΕΞΕΤΑΣΕΙΣ Α ΤΑΞΗΣ ΓΥΜΝΑΣΙΟΥ ΣΧΟΛΙΚΟ ΕΤΟΣ: ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΜΑΘΗΜΑΤΙΚΑ ΗΜΕΡΟΜΗΝΙΑ: ΧΧ ΙΟΥΝΙΟΥ 2017 ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ

ΜΕΡΟΣ Α. 1 ο ΚΕΦΑΛΑΙΟ

Μ Α Θ Η Μ Α Τ Ι Κ Α Α Γ Υ Μ Ν Α Σ Ι Ο Υ

A. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 33 η Ελληνική Μαθηματική Ολυμπιάδα "Ο Αρχιμήδης" 27 Φεβρουαρίου 2016

Μαθηματικά Γ Γυμνασίου

1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών

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

α Α και α Β, β Α και β Β, γ Α και γ Β, δ Α και δ Β, ε Α και ε Β, ζ Β και ζ Β, η Α και η Β, θ Α και θ Β.

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

6.1 Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ

δίου ορισμού, μέσου του τύπου εξαρτημένης μεταβλητής του πεδίου τιμών που λέγεται εικόνα της f για x α f α.

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ;

Ιωάννης Σ. Μιχέλης Μαθηματικός

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ Κεφάλαιο 2 ο

Χρωματίζουμε τα σημεία του επιπέδου με τρία χρώματα. Αποδείξτε ότι υπάρχουν δύο

Πρόβλημα 29 / σελίδα 28

ΓΕΩΜΕΤΡΙΚΕΣ ΚΑΤΑΣΚΕΥΕΣ ΣΤΟΧΟΙ: Με τη συμπλήρωση του στόχου αυτού θα μπορείτε να: Σχεδιάζετε τρίγωνα, τετράπλευρα και πολύγωνα.

Επιµέλεια Θοδωρής Πιερράτος

ΠΡΟΑΓΩΓΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΣΧΟΛΙΚΟΥ ΕΤΟΥΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ ΤΗΣ Α ΓΥΜΝΑΣΙΟΥ ΠΡΟΣΟΜΟΙΩΣΗ Α. ΘΕΩΡΙΑ

ΘΕΩΡΙΑ Α ΓΥΜΝΑΣΙΟΥ. 1. Να γράψετε τον τύπο της Ευκλείδειας διαίρεσης. Πώς ονομάζεται κάθε σύμβολο του τύπου;

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

Παρασκευή-17/5/2019. Επανάληψη με ασκήσεις σε όλη την ύλη. Πέμπτη-16/5/2019. Επανάληψη στις παράλληλες ευθείες. που τέμνονται από τρίτη ευθεία,

ΠΕΡΙΕΧΟΜΕΝΑ ΚΕΦΑΛΑΙΟ ΠΡΩΤΟ ΑΠO ΤΟ ΑΙΣΘΗΤO ΣΤΟ ΝΟΗΤO

Εισαγωγή στις Βάσεις Δεδομζνων II

ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ. Κεφάλαιο 3

Transcript:

Εισαγωγή στις βασικές έννοιες των Μαθηματικών 5 ο Μάθημα Μαθηματική Λογική (επανάληψη) Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα τρίγωνο. Σχεδίασε η Μαρία το τρίγωνο; Μαρία, σχεδίασε το τρίγωνο σε παρακαλώ! Κοιτάξτε, η Μαρία σχεδίασε ένα τρίγωνο! Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα τρίγωνο. Σχεδίασε η Μαρία το τρίγωνο; Μαρία, σχεδίασε το τρίγωνο σε παρακαλώ! Κοιτάξτε, η Μαρία σχεδίασε ένα τρίγωνο! Ποιες είναι προτάσεις; 1. Το 33 είναι μεγαλύτερο του 32. 2. Η Πράγα είναι πρωτεύουσα της Αυστρίας. 3. Ο ήλιος θα λάμπει για τα επόμενα 2000000000 χρόνια. 4. Η πρόταση αυτή αποτελείται από επτά λέξεις. 5. Η πρώτη έκφραση αυτής της άσκησης είναι πρόταση. 6. Η δεύτερη έκφραση αυτής της άσκησης είναι αληθής πρόταση. 7. Σας αρέσει η Λογική; 8. Αν στο δύο προσθέσουμε τρία θα πάρουμε τέσσερα. 9. Η θάλασσά μας περιλαμβάνει 10 19 + 69 ψάρια. 10. Γιατί το διάβασες αυτό; 11. Υπάρχει ένα πράσινο τετράδιο στο κομοδίνο. 12. Φύγε από εδώ αμέσως. 13. Ο αριθμός 3 διαιρεί τον αριθμό 10. 14. Ο αριθμός 3 είναι περιττός. 1

Λογικοί Σύνδεσμοι Πίνακας αληθοτιμών Η γωνία Α είναι οξεία. Η γωνία Β είναι αμβλεία. Η γωνία Α είναι οξεία Η γωνία Β είναι αμβλεία Η γωνία Α είναι οξεία και η γωνία Β είναι αμβλεία Ούτε η γωνία Α είναι οξεία ούτε η γωνία Β είναι αμβλεία Η γωνία Α είναι οξεία και η γωνία Β είναι αμβλεία Ούτε η γωνία Α είναι οξεία ούτε η γωνία Β είναι αμβλεία Α Α Α Α Πίνακας αληθοτιμών Πίνακας αληθοτιμών Η γωνία Α είναι οξεία Η γωνία Β είναι αμβλεία Η γωνία Α είναι οξεία και η γωνία Β είναι αμβλεία Α Α Ούτε η γωνία Α είναι οξεία ούτε η γωνία Β είναι αμβλεία Η γωνία Α είναι οξεία Η γωνία Β είναι αμβλεία Η γωνία Α είναι οξεία και η γωνία Β είναι αμβλεία Ούτε η γωνία Α είναι οξεία ούτε η γωνία Β είναι αμβλεία Α Α Α 2

Λογικοί Σύνδεσμοι Λογικός Διαβάζεται Λογική πράξη σύνδεσμος ή όχι Άρνηση..ή.. Εγκλειστική Διάζευξη ή μόνο...ή μόνο Αποκλειστική Διάζευξη και Σύζευξη εάν,...,τότε Συνεπαγωγή εάν, και μόνο εάν Ισοδυναμία Άρνηση Ονομάζουμε άρνηση μιας αρχικής πρότασης p μια νέα πρόταση, η οποία συμβολίζεται με p διαβάζεται : «όχι p» και είναι αληθής αν η p είναι ψευδής και Βρείτε τις αρνήσεις ψευδής αν των η προτάσεων: p είναι αληθής. 1. Το κουτί είναι μαύρο. 2. Ο αριθμός είναι ρητός. 3. Το τρίγωνο είναι ορθογώνιο. 4. 2x >3 5. Όλα τα στοιχεία του Α είναι μικρότερα του 7. 6. Υπάρχουν τουλάχιστον δύο τεμπέληδες στην τάξη. «Μεταφράσεις» 3x > 17. Ποια είναι η άρνησή της; 1. Το 3x δεν είναι μεγαλύτερο του 17 ή Το 3x είναι μικρότερο ή ίσο του 17 «Μεταφράσεις» 3x > 17. Ποια είναι η άρνησή της; 1. Το 3x δεν είναι μεγαλύτερο του 17 ή Το 3x είναι μικρότερο ή ίσο του 17 2. 3x 17 3

«Μεταφράσεις» «Μεταφράσεις» 3x > 17. Ποια είναι η άρνησή της; 1. Το 3x δεν είναι μεγαλύτερο του 17 ή Το 3x είναι μικρότερο ή ίσο του 17 2. 3x 17 3x > 17. Ποια είναι η άρνησή της; 1. Το 3x δεν είναι μεγαλύτερο του 17 ή Το 3x είναι μικρότερο ή ίσο του 17 2. 3x 17 3x 17 «Μεταφράσεις» Σκεφτείτε το νόημα των εκφράσεων: τουλάχιστον το πολύ περισσότερο από λιγότερο από Άρνηση Βρείτε τις αρνήσεις των προτάσεων: 1. Σήμερα είναι Παρασκευή. 2. Το 3 είναι πρώτος αριθμός. 3. Το τρίγωνο δεν είναι ισοσκελές. 4. 5x < 1 5. Όλα τα στοιχεία του Α διαιρούνται με το 3. 6. Υπάρχουν το πολύ δύο φοιτητές στην τάξη. 4

Σύζευξη Ονομάζουμε σύζευξη δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με pq, διαβάζεται «p και q» και είναι αληθής μόνο αν και οι δύο προτάσεις p, q είναι αληθείς. p q pq Α Α (Εγκλειστική) διάζευξη Ονομάζουμε εγκλειστική διάζευξη ή απλά διάζευξη δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με pq, διαβάζεται «p ή q» και είναι ψευδής μόνο αν και οι δύο προτάσεις p, q είναι ψευδείς. p q pq Α Α Αποκλειστική Διάζευξη Ονομάζουμε αποκλειστική διάζευξη δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με pq, διαβάζεται «ή μόνο p ή μόνο q» η οποία είναι ψευδής μόνο αν οι p,q έχουν την ίδια τιμή αληθείας. p q p q Α Α Α Α Συνεπαγωγή Ονομάζουμε συνεπαγωγή δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με pq, διαβάζεται «αν p τότε q» και είναι ψευδής μόνο αν η p είναι αληθής και η q είναι ψευδής. p q pq Α Α 5

Συνεπαγωγή p: Το ποτήρι περιέχει βότκα q: Υπάρχει αλκοόλ στο ποτήρι pq : Εάν το ποτήρι περιέχει βότκα τότε υπάρχει αλκοόλ στο ποτήρι p q pq Α Α Α Α Συνεπαγωγή p: Το ποτήρι περιέχει βότκα q: Υπάρχει αλκοόλ στο ποτήρι pq : Εάν το ποτήρι περιέχει βότκα τότε υπάρχει αλκοόλ στο ποτήρι p q pq Α Α Συνεπαγωγή p: Το ποτήρι περιέχει βότκα q: Υπάρχει αλκοόλ στο ποτήρι pq : Εάν το ποτήρι περιέχει βότκα τότε υπάρχει αλκοόλ στο ποτήρι p q pq Α Συνεπαγωγή p: Το ποτήρι περιέχει βότκα q: Υπάρχει αλκοόλ στο ποτήρι pq : Εάν το ποτήρι περιέχει βότκα τότε υπάρχει αλκοόλ στο ποτήρι p q pq Α Α 6

Συνεπαγωγή p: Το ποτήρι περιέχει βότκα q: Υπάρχει αλκοόλ στο ποτήρι pq : Εάν το ποτήρι περιέχει βότκα τότε υπάρχει αλκοόλ στο ποτήρι p q pq Α Α Συνεπαγωγή p: Με απατάς q: Σε χωρίζω p q: Αν με απατήσεις θα σε χωρίσω p q pq Α Α Κρυμμένες συνεπαγωγές Ο βήχας και ο έρωτας δεν κρύβονται Η είσοδος δεν επιτρέπεται σε ανήλικους Το παραλληλόγραμμο που έχει μία γωνία ορθή ονομάζεται ορθογώνιο. Ισοδυναμία Ονομάζουμε ισοδυναμία δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με p q, διαβάζεται «p ισοδυναμεί q» και είναι αληθής αν και μόνο αν οι p, q έχουν την ίδια τιμή αληθείας. p q p q Ένα Α παραλληλόγραμμο είναι ρόμβος αν και μόνο αν δύο Α διαδοχικές πλευρές του είναι ίσες Α 7

Άσκηση Ποιες από τις παρακάτω προτάσεις είναι αληθείς και ποιες ψευδείς; α. Το 5 είναι μικρότερο του 6. β. Το 5 είναι μικρότερο ή ίσο του 6. γ. Το 5 είναι μικρότερο ή ίσο του 5. δ. Το 5 είναι μεγαλύτερο ή ίσο του 5. Θα πάω στην Αθήνα και θα συναντήσω τους φίλους μου ή θα μελετήσω. p: Θα πάω στην Αθήνα q: θα συναντήσω τους φίλους μου r: θα μελετήσω p qr p qr Σχεδιάστε τον πίνακα αληθοτιμών! Θα πάω στην Αθήνα και θα συναντήσω τους φίλους μου ή θα μελετήσω. p: Θα πάω στην Αθήνα q: θα συναντήσω τους φίλους μου r: θα μελετήσω p qr p qr p q r Α Α 8

p q r Α Α Α Α Α Α Α p q r Α Α Α Α Α Α Α qr p qr p q r Α Α Α Α Α Α Α qr p qr p q r r Α Α Α Α Α Α Α q p qr 9

p q r r Α Α Α Α Α Α Α q p qr p q r q r r p q Α Α Α Α Α Α q p q r r p q Α Α Α Α Α Α r p qr p q r q Διαφορετικές αληθοτιμές, άρα οι σύνθετες προτάσεις δεν είναι ισοδύναμες. r p qr p q Α Α Α Α Α Α Α Α Α r 10

1. Το άθροισμα των γωνιών κάθε τριγώνου είναι 180 μοίρες και το τετράγωνο είναι παραλληλόγραμμο. 2. Αν ο 5 είναι άρτιος, τότε αν ο 7 είναι περιττός, σήμερα είναι Τρίτη. 3. Το 7 διαιρεί το 14 όταν και μόνο όταν το 4 δεν είναι περιττός. 4. Δεν ισχύει ότι: το 7 είναι περιττός και το 4 δεν είναι άρτιος. 1. Το τετράγωνο είναι παραλληλόγραμμο και σήμερα δεν είναι Παρασκευή. 2. Αν το 3 είναι άρτιος, τότε αν το 4 είναι περιττός, το 5 διαιρεί το 25. 3. Το 6 διαιρεί το 24 όταν και μόνο όταν το 3 είναι περιττός. 4. Δεν ισχύει ότι: το 17 είναι πρώτος αριθμός και το 7 δεν είναι άρτιος. 5. Αν το 3 είναι άρτιος, τότε το 7 είναι περιττός και το 5 διαιρεί το 15. Να βρεθεί η τιμή αληθείας των παρακάτω προτάσεων ( 3 2) 2 1 7 3 2 1 7 3 2 2 4 2 4 4 2 5 2 3 5 Να βρεθεί η τιμή αληθείας της πρότασης p q p q r q αν δίνεται ότι: 1. Η p είναι αληθής, η q αληθής, η r ψευδής 2. Η p είναι ψευδής, η q αληθής, η r ψευδής 3. Η p είναι ψευδής, η q ψευδής, η r ψευδής 11

Άσκηση Να βρεθεί η τιμή αληθείας της πρότασης p q p q r q Α ΑΑ Α Α ( Α) A Κατασκευάστε τους πίνακες αληθείας των ακόλουθων σύνθετων προτάσεων: p q p q p q p q p q p q p q p p q p p q Α Α p p p q Α Α 12

p q p p p q p q p p p q Α Α Α Α Α Α Α Α Α Α p q p Α Α Α Α Α p p q p q p p p q Α Α Α Α Α Α Α 13

Άσκηση Κατασκευάστε τους πίνακες αληθείας των ακόλουθων σύνθετων προτάσεων: p q p q p q p q p q p q Ταυτολογίες αυτοαντιφάσεις Κάθε παράσταση η οποία για κάθε συνδυασμό των τιμών αληθείας των μεταβλητών της λαμβάνει: τιμή αληθείας Α, ονομάζεται ταυτολογία. Σήμερα θα βρέξει ή δεν θα βρέξει τιμή αληθείας, ονομάζεται αυτοαντίφαση. Είναι Τρίτη και δεν είναι Τρίτη. Χρήσιμες ταυτολογίες (Νόμοι) Νόμος της αντιθετοαντιστροφής p p p p p p p q q p p q p q p q p q p q q p Διπλής άρνησης Αντίφασης Συμπληρώματος Αντιμεταθετικότητας De Morgan Σύζευξης De Morgan Διάζευξης Αντιθετοαντιστροφής Η είσοδος δεν επιτρέπεται σε ανήλικους Αν είσαι ανήλικος δεν (σου) επιτρέπεται η είσοδος. Αν σου επιτρέπεται η είσοδος, τότε είσαι ενήλικος. p q q p 14

Νόμος της αντιθετοαντιστροφής p q q p Αν ένα αυτοκίνητο είναι Ferrari, τότε είναι γρήγορο αυτοκίνητο. Ποια είναι η ισοδύναμή της πρόταση; Νόμος της αντιθετοαντιστροφής p q q p Αν αβ = 0 τότε α=0 ή β=0. Ποια είναι η ισοδύναμή της πρόταση; Ποιος άλλος νόμος πρέπει να εφαρμοστεί για να τη βρούμε; α 0 β 0 α 0 β 0 α 0 β 0 α 0 β 0 Άσκηση Γράψτε τρεις συνεπαγωγές που να προέρχονται από την καθημερινότητα ή από τα Μαθηματικά. Γράψτε τις ισοδύναμές τους χρησιμοποιώντας τον νόμο της αντιθετοαντιστροφής. Σχολιάστε αν το νόημα παραμένει ίδιο! 15