Όπως υποδηλώνει την αλήθεια και έγκειται στην επιστήμη των υπολογιστών. Τις απλούστερες λογικές λειτουργίες στην επιστήμη των υπολογιστών. Fizkultminthork για μάτι
Η γνώση είναι η δημιουργική πνευματική δραστηριότητα της οποίας ο στόχος είναι να κατανοήσουμε την αλήθεια. Παραδοσιακά αληθήςΕίναι κατανοητό ως Συμμόρφωση των σκέψεων και των δηλώσεων πραγματικότητας. Αυτή η έννοια της αλήθειας ονομάζεται Κλασσικός Και επιστρέφει στις ιδέες των ελληνικών φιλοσοφών Πλάτωνας και του Αριστοτέλη.
Αυτός που μιλάει για τα πράγματα σύμφωνα με αυτά που είναι, λέει η αλήθεια, το ίδιο που μιλάει γι 'αυτούς είναι διαφορετικός, "ψέματα.
Πλάτων
Μιλάω για το μόνο πράγμα που δεν είναι, ή για τον μη δικαστή, τι είναι, - σημαίνει να πούμε ψευδής. Και δεν είναι να πούμε ότι δεν υπάρχει τίποτα, δεν υπάρχει, σημαίνει να πούμε αλήθεια.
Αριστοτέλης
Η πολωνική-αμερικανική λογική και ο μαθηματικός Alfred Tarsky (1902-1984) εξέφρασε την κλασική φόρμουλα της αλήθειας με αυτόν τον τρόπο: Η δήλωση του "R είναι με" TRUE αν το p είναι S. Για παράδειγμα, η δήλωση "χρυσό - μέταλλο" είναι αλήθεια εάν ο χρυσός είναι πραγματικά μέταλλο. Επομένως, η αίσθηση και η ψευδαίσθηση ανήκουν στις σκέψεις και τις δηλώσεις μας, και όχι στα γεγονότα του πραγματικού κόσμου.
Προκειμένου να αποδείξει την αλήθεια μιας ή άλλης έγκρισης, είναι απαραίτητο να το ελέγξει με κάποιο τρόπο. Ένα μέσο τέτοιας επιθεώρησης που ονομάζεται Κριτήριο της αλήθειας(από τα ελληνικά. Kritionion - Merylo για αξιολόγηση). Στην ιστορία της φιλοσοφίας, προτάθηκαν διάφορα κριτήρια για την εξαίρεση του αληθινού από την FALSE (Πίνακας 6.1).
- 1. Οι αισθησιακές (P. Golbach, L. Fairebach) βασίζονται στις αισθήσεις και το κριτήριο της αλήθειας που θεωρούν Αισθησιακή εμπειρία.Κατά τη γνώμη τους, η πραγματικότητα της ύπαρξης κάτι ελέγχεται μόνο από συναισθήματα και όχι αφηρημένες θεωρίες.
- 2. Ορθολογιστοποιητοί (R. Descart, B. Spinosa) πίστευε ότι τα συναισθήματα ήταν σε θέση να μας παραπλανήσουν και αναζητούσαν τα θεμέλια για την επαλήθευση των δηλώσεων. Το κύριο κριτήριο της αλήθειας έγινε Σαφήνεια και σαφήνεια. Το ιδανικό μοντέλο της αληθινής γνώσης ήταν τα μαθηματικά, όπου κάθε συμπέρασμα απαιτεί σαφή αποδεικτικά στοιχεία.
- 3. Ο περαιτέρω ο ορθολογισμός ανάπτυξης βρίσκει σε μια συνεκτική έννοια (O. Nerat, Κ. Gempel), σύμφωνα με την οποία είναι το κριτήριο της αλήθειας συνοχή συλλογιστική με ένα κοινό σύστημα γνώσης. Για παράδειγμα, το "2x2 \u003d 4" είναι αληθές όχι επειδή συμπίπτει με το πραγματικό γεγονός, αλλά επειδή είναι σε αρμονία με το σύστημα της μαθηματικής γνώσης.
- 4. Οι υποστηρικτές του ρεαλισμού (W. James, R. Rory) θεωρούν το κριτήριο της αλήθειας αποδοτικότητα Η γνώση. Η αληθινή γνώση είναι η γνώση των αποδεδειγμένων, η οποία επιτρέπει επιτυχώς και σας επιτρέπει να πετύχετε και πρακτικά οφέλη σε καθημερινά θέματα.
Ο ρεαλισμός της αλήθειας αναγνωρίζει ότι - και αυτό είναι το μόνο κριτήριο της αλήθειας - το οποίο είναι καλύτερο "εργάζεστε" σε εμάς, μας οδηγεί, η οποία ταιριάζει καλύτερα σε κάθε μέρος της ζωής και να συνδεθεί με το σύνολο της εμπειρίας μας. Εάν οι θρησκευτικές ιδέες κάνουν αυτές τις συνθήκες, αν, ειδικότερα, αποδεικνύεται ότι η έννοια του Θεού τους ικανοποιεί, τότε σε ποιο πρακτικό θα αρνηθεί η γένεση του Θεού;
W. James.
- 5. Στον μαρξισμό (Κ. Μαρξ, Φ. Engels) το κριτήριο της αλήθειας είναι πρακτική (Από τα Ελληνικά. Ο Πράκτικος είναι ενεργός, ενεργός), που λαμβάνεται με την ευρύτερη έννοια, καθώς κάθε αναπτυσσόμενη προσωπικότητα ενός ατόμου να μεταμορφωθεί και ο κόσμος (από την καθημερινή εμπειρία στη γλώσσα, την επιστήμη κ.λπ.). Μόνο μια αποδεδειγμένη πρακτική και εμπειρία πολλών γενεών αναγνωρίζεται ως αλήθεια.
- 6. Για τους υποστηρικτές της συμβατικότητας (Α. Poankar, Μ. Balani) το κριτήριο της αλήθειας είναι Καθολική συγκατάθεση Σχετικά με τις δηλώσεις. Έτσι, η επιστημονική αλήθεια θεωρείται ότι σύμφωνα με τη συντριπτική πλειοψηφία των επιστημόνων.
Πίνακας 6.1. Κριτήρια για την αλήθεια σε διαφορετικές φιλοσοφικές έννοιες
Ορισμένα προτεινόμενα κριτήρια (συνέπεια, αποδοτικότητα, συγκατάθεση) υπερβαίνουν την κλασική κατανόηση της αλήθειας. Σε αυτή την περίπτωση, μπορούμε να μιλήσουμε για μη κλασική (αντίστοιχα συνεκτική, ρεαλιστική και συμβατική) ερμηνεία της αλήθειας. Η πρακτική της μαρξιστικής πρακτικής προσπαθεί να συνδυάσει τον πραγματισμό και την κλασική κατανόηση της αλήθειας.
Δεδομένου ότι κάθε κριτήριο της αλήθειας έχει τα μειονεκτήματά του, όλα τα κριτήρια μπορούν να προβληθούν και ως συμπληρωματικά: στην περίπτωση αυτή, η αλήθεια μπορεί σίγουρα να ονομάζεται μόνο αυτό που πληροί όλα τα κριτήρια.
Εναλλακτικές ερμηνείες της αλήθειας είναι επίσης γνωστές. Έτσι, στη θρησκευτική φιλοσοφία, αναφέρεται η εξαιρετικά περήφανη αλήθεια, το ίδρυμα του οποίου είναι η Αγία Γραφή. Πολλές σύγχρονες ροές (για παράδειγμα, μεταμοντέρνο) αρνούνται γενικά την ύπαρξη οποιασδήποτε αντικειμενικής αλήθειας.
Η σύγχρονη επιστήμη ακολουθεί την κλασική ερμηνεία της αλήθειας και πιστεύει ότι η αλήθεια είναι πάντα Σκοπός (δεν εξαρτάται από τις επιθυμίες και το συναίσθημα ενός ατόμου), Ειδικός (Δεν υπάρχει αλήθεια "καθόλου", εκτός σαφών συνθηκών), διαδικαστικός (που βρίσκεται στη διαδικασία συνεχούς ανάπτυξης). Το τελευταίο ακίνητο αποκαλύπτεται στις έννοιες της σχετικής και απόλυτης αλήθειας.
Σχετική αλήθεια - Αυτή είναι η γνώση που είναι περίπου και περιορισμένη αναπαραγωγή της πραγματικότητας. Απόλυτη αλήθεια - Πλήρεις, συνολικές γνώσεις της πραγματικότητας, οι οποίες δεν μπορούν να αντεκυθιστούν. Η ανάπτυξη της επιστήμης χαρακτηρίζεται από την επιθυμία για απόλυτη αλήθεια ως προς το ιδανικό, αλλά το τελευταίο επίτευγμα αυτού του ιδανικού είναι αδύνατο: η πραγματικότητα δεν μπορεί να εξαντληθεί στο τέλος, και προκύπτουν νέα ερωτήματα με κάθε νέα ανακάλυψη. Ταυτόχρονα, κάθε ανακάλυψη είναι ένα βήμα προς την απόλυτη αλήθεια: σε οποιαδήποτε σχετική αλήθεια υπάρχει κάποιο μέρος της αλήθειας απόλυτη.
Έτσι, στη δήλωση ενός Δημοκρατία "ο κόσμος αποτελείται από άτομα" περιέχει τη στιγμή της απόλυτης αλήθειας, αλλά γενικά η αλήθεια του Δημοκρίτεου δεν είναι απόλυτη, επειδή δεν εξαντλήσει την πραγματικότητα. Οι σύγχρονες ιδέες για το μικρόμετρο και τα στοιχειώδη σωματίδια είναι ακριβέστερα, ωστόσο, δεν εξαντλούν την πραγματικότητα στο σύνολό της. Κάθε τέτοια αλήθεια περιέχει τόσο μέρος της σχετικής αλήθειας όσο και μέρος του απόλυτου.
Προσεγγίσεις ανάλογα με τις οποίες η αλήθεια είναι μόνο συγγενής, οδηγούν σχετικότητα Αν πιστεύεται ότι είναι απόλυτο μόνο - να δογματισμός.
Η απόλυτη αλήθεια στην ευρεία κατανόησή της δεν μπορεί να συγχέεται με αιώνιος ή banal, αλήθειες, Όπως το "Σωκράτης - ο άνθρωπος" ή "η ταχύτητα του φωτός σε κενό είναι 300 χιλ. ΚΜ / s." Οι αιώνιες αλήθειες είναι απόλυτα μόνο σε σχέση με συγκεκριμένα γεγονότα και για πιο σημαντικές διατάξεις, για παράδειγμα, για επιστημονικούς νόμους, και ακόμη περισσότερο για πολύπλοκα συστήματα και πραγματικότητα γενικά, δεν υπάρχουν πλήρεις και εξαντλητικές αλήθειες.
Εκτός από την έννοια της "αλήθειας" στα ρωσικά, η έννοια χρησιμοποιείται επίσης "αλήθεια", Που είναι πολύ ευρύτερο στο νόημά της: η αλήθεια είναι η σύνδεση της αντικειμενικής αλήθειας και της ηθικής δικαιοσύνης. Αυτό είναι το υψηλότερο ιδανικό όχι μόνο για επιστημονικές γνώσεις, αλλά και για την ανθρώπινη συμπεριφορά. Σύμφωνα με τον V.I. Gal, η αλήθεια είναι "αλήθεια στην πραγματικότητα, αλήθεια για καλό".
Ψέματα και αυταπάτηΕπηρεάζουν το αντίθετο της αλήθειας και υποδηλώνουν την ασυνέπεια μεταξύ κρίσης και πραγματικότητας. Η διαφορά μεταξύ τους είναι έξυπνη. Ετσι, αυταπάτη Υπάρχει μια ακούσια ασυνέπεια των κρίσεων της πραγματικότητας, και Ψευδής - τη σκόπιμη ανέγερση εσφαλμένων ιδεών στην αλήθεια.
Η εύρεση της αλήθειας με αυτόν τον τρόπο μπορεί να γίνει κατανοητή ως διαδικασία Συνεχής πάθος με ψευδής και ψευδαίσθηση.
Τι πρέπει να ξέρετε
- 1. Στην κλασική έννοια αληθής Θεωρείται ως η συμμόρφωση των σκέψεων και των δηλώσεων πραγματικότητας.
- 2. Στην ποιότητα Κριτήρια αλήθεια Σε διαφορετικές χρονικές στιγμές, προτάθηκε αισθησιακή εμπειρία. σαφήνεια και σαφήνεια. συνέπεια με το σύστημα γνώσης. αποδοτικότητα; εμπειρία; Γενική συγκατάθεση.
- 3. Απόλυτη αλήθεια - αυτό είναι πλήρης, και Σχετική αλήθεια - Ελλιπές γνώσεις σχετικά με την πραγματικότητα. Η επίτευξη της απόλυτης αλήθειας είναι αδύνατη, αλλά κάθε νέα σχετική αλήθεια μπορεί να είναι ένα βήμα προς την απόλυτη.
ΚΑΘΗΚΟΝΤΑ
- 1. Δώστε κατηγορίες ορισμών Αλήθεια, ψέμα, αυταπάτη.
- 2. Καταγράψτε τα κριτήρια αλήθειας. Προσπαθήστε να καθορίσετε τα πλεονεκτήματα και τα μειονεκτήματά τους.
- 3. Ονομάστε τους τύπους της αλήθειας, δώστε τους ένα χαρακτηριστικό.
Συνολικός πίνακας - πίνακας που περιέχει όλους τους πιθανούς συνδυασμούς μεταβλητών εισόδου και αντίστοιχων τιμών στην έξοδο.
Ο πίνακας αλήθειας περιέχει 2 n χορδές, όπου n είναι ο αριθμός των μεταβλητών εισόδου και οι στήλες N + M, όπου m είναι οι μεταβλητές εξόδου.
Εντολή. Όταν εισάγετε το πληκτρολόγιο, χρησιμοποιήστε την ακόλουθη σημείωση: Για παράδειγμα, μια λογική έκφραση ABC + AB + A-BC πρέπει να χορηγείται ως εξής: a * b * c + a * b \u003d c + a \u003d b * c
Για να εισαγάγετε δεδομένα με τη μορφή λογικού κυκλώματος, χρησιμοποιήστε αυτήν την υπηρεσία.
Λογικοί κανόνες εισόδου
- Αντί του συμβόλου V (αποσύνδεση, ή), χρησιμοποιήστε το σύμβολο +.
- Πριν από τη λογική λειτουργία, δεν χρειάζεται να καθορίσετε τη λειτουργία ονομασίας. Για παράδειγμα, αντί για f (x, y) \u003d (x | y) \u003d (x ^ y), είναι απαραίτητο να εισέλθετε απλά (x | y) \u003d (x ^ y).
- Ο μέγιστος αριθμός μεταβλητών είναι 10.
Το σχεδιασμό και η ανάλυση των λογικών συστημάτων του υπολογιστή πραγματοποιείται χρησιμοποιώντας ένα ειδικό τμήμα των μαθηματικών - λογική άλγεβρα. Στη λογική άλγεβρα, είναι δυνατόν να επισημανθούν τρεις κύριες λογικές λειτουργίες: "όχι" (άρνηση), "και" (συνδυασμό), "ή" (αποστολή).
Για να δημιουργήσετε οποιαδήποτε λογική συσκευή, είναι απαραίτητο να προσδιοριστεί η εξάρτηση από κάθε μία από τις μεταβλητές εξόδου από τις ενεργές μεταβλητές εισόδου, μια τέτοια εξάρτηση ονομάζεται λειτουργία διακόπτη ή η λειτουργία της λογικής άλγεβρας.
Η λειτουργία της λογικής άλγεβρας ονομάζεται πλήρως καθορισμένη εάν οριστεί και τα 2 n, όπου n είναι ο αριθμός των μεταβλητών εξόδου.
Εάν δεν ορίζονται όλες οι τιμές, η λειτουργία ονομάζεται μερικώς καθορισμένη.
Η συσκευή ονομάζεται λογική εάν η κατάσταση του περιγράφεται χρησιμοποιώντας τη λειτουργία Logic Algebra.
Για να αντιπροσωπεύει τη λογική της λειτουργίας άλγεβρας, χρησιμοποιούνται οι ακόλουθες μέθοδοι:
- Μια λεκτική περιγραφή είναι μια μορφή που χρησιμοποιείται στο αρχικό στάδιο σχεδιασμού έχει μια υπό όρους αναπαράσταση.
- Περιγραφή της λειτουργίας της λογικής άλγεβρας με τη μορφή ενός πίνακα αλήθειας.
- Περιγραφή της λειτουργίας της άλγεβρας της λογικής υπό τη μορφή αλγεβρικής έκφρασης: Χρησιμοποιούνται δύο αλγεβρικά σχήματα:
αλλά) DNF - Διακοσμητική κανονική μορφή - Αυτή είναι η λογική ποσότητα στοιχειωδών λογικών έργων. Το DNF λαμβάνεται από τον πίνακα αλήθειας σύμφωνα με τον ακόλουθο αλγόριθμο ή κανόνα:
1) Ο πίνακας επιλέγεται αυτές τις γραμμές μεταβλητών για τις οποίες η λειτουργία στην έξοδο \u003d 1.
2) Για κάθε σειρά μεταβλητών, καταγράφεται ένα λογικό προϊόν. Επιπλέον, οι μεταβλητές \u003d 0 καταγράφονται με αναστροφή.
3) Το προκύπτον προϊόν συνοψίζεται λογικά.
Fdff \u003d x 1 * x 2 * x 3 ∨ x 1 x 2 x 3 ∨ x 1 x 2 x 3 ∨ x 1 x 2 x 3
Το DNF ονομάζεται τέλειο εάν όλες οι μεταβλητές έχουν την ίδια τάξη ή τάξη, δηλ. Κάθε προϊόν πρέπει να περιλαμβάνει όλες τις μεταβλητές σε άμεση ή αντίστροφη μορφή.
σι) KNF - Συζευκτική κανονική μορφή - Αυτό είναι ένα λογικό προϊόν στοιχειωδών λογικών ποσών.
Το CNF μπορεί να ληφθεί από τον πίνακα αλήθειας σύμφωνα με τον ακόλουθο αλγόριθμο:
1) Επιλέξτε τα σύνολα μεταβλητών για τις οποίες η λειτουργία στην έξοδο \u003d 0
2) Για κάθε σύνολο μεταβλητών, γράψτε τη στοιχειώδη λογική ποσότητα και οι μεταβλητές \u003d 1 γράφονται με τους APERS.
3) Τα ποσά που ελήφθησαν λογικά.
Fsknf \u003d (x 1 v x 2 v x 3) ∧ (x 1 V x 2 V x 3) ∧ (x 1 V x 2 V x 3) ∧ (x 1 v x 2 v x 3)
Το CNF καλείται τέλειοΕάν όλες οι μεταβλητές έχουν την ίδια θέση.
Σχήμα1- Λογικό διάγραμμα συσκευής
Όλες οι λειτουργίες της λογικής άλγεβρας προσδιορίζονται Τίτλοι της αλήθειας αξίες. Το Tatac της αλήθειας καθορίζει το αποτέλεσμα της εκτέλεσης της επιχείρησης Όλα τα δυνατάx λογικές τιμές των αρχικών δηλώσεων. Ο αριθμός των επιλογών που αντικατοπτρίζει το αποτέλεσμα της χρήσης των εργασιών θα εξαρτηθεί από τον αριθμό των δηλώσεων σε λογικούς όρους. Εάν ο αριθμός των δηλώσεων στη λογική έκφραση Ν, ο πίνακας αλήθειας θα περιέχει 2 n χορδές, καθώς υπάρχουν 2 n διαφορετικοί συνδυασμοί πιθανών τιμών των επιχειρημάτων.
Λειτουργία όχι - Λογική άρνηση (αναστροφή)
Η λογική λειτουργία δεν ισχύει για ένα επιχείρημα, το οποίο μπορεί να είναι απλό και μια πολύπλοκη λογική έκφραση. Το αποτέλεσμα της λειτουργίας δεν είναι το ακόλουθο κείμενο:- Εάν η αρχική έκφραση είναι πραγματικά αληθινή, τότε το αποτέλεσμα της άρνησης του θα είναι ψευδές.
- Εάν η αρχική έκφραση είναι ψευδής, τότε το αποτέλεσμα της άρνησης του θα είναι αληθές.
Όχι Α, Α, όχι Α, ¬,
Το αποτέλεσμα της άρνησης δεν καθορίζεται από τον ακόλουθο πίνακα αλήθειας:
| ΕΝΑ. | δεν είναι. |
| 0 | 1 |
| 1 | 0 |
Το αποτέλεσμα της άρνησης λειτουργίας είναι αληθές όταν η αρχική δήλωση είναι ψευδής και αντίστροφα.
Λειτουργία ή - Λογική προσθήκη (Διασφάλιση, Σύνδεσμος)
Μια λογική λειτουργία ή εκτελεί τη λειτουργία του συνδυασμού δύο δηλώσεων, οι οποίες μπορεί να είναι απλές και μια πολύπλοκη λογική έκφραση. Οι δηλώσεις που αρχικά για μια λογική λειτουργία καλούνται επιχειρήματα. Το αποτέλεσμα της λειτουργίας ή είναι μια έκφραση που θα είναι αλήθεια τότε και μόνο αν γίνει πραγματικά μία από τις αρχικές εκφράσεις.Εφαρμογές που χρησιμοποιήθηκαν: Α ή Β, και V Β, Α ή Β, Α || Β.
Το αποτέλεσμα της λειτουργίας ή καθορίζεται από τον ακόλουθο πίνακα αλήθειας:
Το αποτέλεσμα της επιχείρησης ή είναι αληθινό όταν αληθινά, ή αληθινά, ή αληθινά και ταυτόχρονα και είναι ψευδής όταν τα επιχειρήματα Α και Β είναι ψευδείς.
Λειτουργία και - Λογικός πολλαπλασιασμός (Συγχρονισμός)
Λογική λειτουργία και εκτελεί τη διασταύρωση δύο δηλώσεων (επιχειρήματα), τα οποία μπορεί να είναι απλά και μια πολύπλοκη λογική έκφραση. Το αποτέλεσμα της λειτουργίας είναι η έκφραση που θα ισχύει τότε και μόνο εάν είναι αληθινές και οι δύο αρχικές εκφράσεις.Εφαρμογές εφαρμογών: Α και Β, ΑΛ Β, Α & Β, Α και Β.
Το αποτέλεσμα της λειτουργίας καθορίζεται από τον ακόλουθο πίνακα αλήθειας:
| ΕΝΑ. | ΣΙ. | Α και Β. |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Το αποτέλεσμα της λειτουργίας και είναι αληθές και μόνο εάν οι δηλώσεις του Α και Β είναι αληθινές ταυτόχρονα και είναι ψευδές σε όλες τις άλλες περιπτώσεις.
Λειτουργία "αν κάτι" - Λογική μετά (επιπτώσεις)
Αυτή η λειτουργία δεσμεύει δύο απλές λογικές εκφράσεις, εκ των οποίων η πρώτη είναι μια κατάσταση και η δεύτερη είναι η συνέπεια αυτής της κατάστασης.Εφαρμοσμένες εφαρμογές:
Αν α, στη συνέχεια μέσα. Και συνεπάγεται. Αν στη συνέχεια μέσα. A → V.
Πίνακας δεξαμενών:
| ΕΝΑ. | ΣΙ. | A → B. |
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Το αποτέλεσμα της λειτουργίας παρακολούθησης (επιπτώσεις) είναι ψευδές μόνο όταν η προϋπόθεση είναι αληθής και το συμπέρασμα στο (συνέπεια) είναι ψευδές.
Λειτουργία "και στη συνέχεια και μόνο εάν στο" (ισοδυναμία, ισοδυναμία)
Εφαρμοστέο ονομασία: A ↔ B, A ~ V.Πίνακας δεξαμενών:
| ΕΝΑ. | ΣΙ. | A↔B. |
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Λειτουργία "Προσθήκη της μονάδας 2" (XOR, εξαιρουμένου ή αυστηρής αποσύνδεσης)
Εφαρμοστέο ονομασία: XOR B, A ⊕ V.Πίνακας δεξαμενών:
| ΕΝΑ. | ΣΙ. | A⊕B. |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Το αποτέλεσμα της λειτουργίας της ισοδυναμίας είναι αληθές μόνο όταν το A και ταυτόχρονα είναι αληθινό ή ταυτόχρονα ψευδές.
Προτεραιότητα των λογικών λειτουργιών
- Ενέργειες σε παρένθεση
- Αναστροφή
- Συγχρονισμός (&)
- Διασφάλιση (V), εξαιρουμένου ή (XOR), άθροισμα της μονάδας 2
- ΕΠΙΠΤΩΣΕΙΣ (→)
- Ισοδυναμία (↔)
Τέλεια διαζευκτική κανονική μορφή
Τέλεια διαζευκτική κανονική φόρμουλα (SDNF) είναι ένας ισοδύναμος τύπος σε αυτό, το οποίο αποτελεί αντικείμενο στοιχειωδών συζυγών, η οποία έχει ιδιότητες:- Κάθε λογικό συστατικό του τύπου περιέχει όλες τις μεταβλητές που περιλαμβάνονται στη λειτουργία F (x 1, x 2, ... x n).
- Όλοι οι λογικοί όροι των τύπων είναι διαφορετικοί.
- Κανένας λογικός όρος δεν περιέχει μια μεταβλητή και την αρνήθηκε.
- Κανένας λογικός όρος τύπου δεν περιέχει δύο φορές την ίδια μεταβλητή.
Για κάθε λειτουργία, το SDNF και το SCFF προσδιορίζονται μεμονωμένα μέχρι τη μετάθεση.
Τέλεια συμπληρωματική κανονική μορφή
Τέλειο συζευγμένο κανονικό τύπο φόρμουλα (SCPF)Είναι ισοδύναμο με τη φόρμουλα της, η οποία είναι ένας συνδυασμός στοιχειωδών διαταραχών που ικανοποιούν τις ιδιότητες:- Όλες οι στοιχειώδεις διαφημίσεις περιέχουν όλες τις μεταβλητές που περιλαμβάνονται στη λειτουργία F (x 1, x 2, ... x n).
- Όλες οι στοιχειώδεις διαφορές είναι διαφορετικές.
- Κάθε στοιχειώδης αποσύνδεση περιέχει μια μεταβλητή μία φορά.
- Καμία στοιχειώδη διακόπτη δεν περιέχει μια μεταβλητή και την αρνήθηκε.
Χρησιμοποιείται για τον υπολογισμό των λογικών λειτουργιών. Εξετάστε παρακάτω όλες τις πιο στοιχειώδεις λογικές λειτουργίες στην επιστήμη των υπολογιστών. Μετά από όλα, αν νομίζετε ότι χρησιμοποιούνται κατά τη δημιουργία της λογικής των υπολογιστικών μηχανών και των οργάνων.
Αρνηση
Πριν αρχίσετε να εξετάζετε λεπτομερώς συγκεκριμένα παραδείγματα, αναφέρουμε τις κύριες λογικές λειτουργίες στην επιστήμη των υπολογιστών:
- άρνηση;
- πρόσθεση;
- πολλαπλασιασμός;
- ΕΠΟΜΕΝΟ;
- ισότητα.
Επίσης, πριν από την έναρξη της μελέτης λογικών λειτουργιών αξίζει να σημειωθεί ότι τα έγαναπαν στην επιστήμη των υπολογιστών υποδηλώνουν "0", και η αλήθεια είναι "1".
Για κάθε δράση, όπως και στα συμβατικά μαθηματικά, χρησιμοποιούνται τα ακόλουθα σημάδια λογικών λειτουργιών στην επιστήμη των υπολογιστών: ¬, V, &, -\u003e.
Κάθε ενέργεια είναι δυνατή η περιγραφή ή η 1/0 ή απλά λογικές εκφράσεις. Ας αρχίσουμε να εξετάζουμε τη μαθηματική λογική με την απλούστερη λειτουργία χρησιμοποιώντας μόνο μία μεταβλητή.
Λογιστική λειτουργία άρνησης - αναστροφής. Η κατώτατη γραμμή είναι ότι αν η αρχική έκφραση είναι αληθής, τότε το αποτέλεσμα της αναστροφής είναι ένα ψέμα. Και αντίθετα, αν η αρχική έκφραση είναι ένα ψέμα, τότε το αποτέλεσμα της αναστροφής θα είναι αληθές.
Κατά την εγγραφή αυτής της έκφρασης, χρησιμοποιείται η ακόλουθη ονομασία "¬A".
Δίνουμε ένα τραπέζι αλήθειας - ένα διάγραμμα που παρουσιάζει όλα τα πιθανά αποτελέσματα της λειτουργίας για οποιαδήποτε πηγή δεδομένων.
Δηλαδή, αν έχουμε μια έκφραση προέλευσης - αλήθεια (1), τότε η άρνησή της θα είναι ψευδής (0). Και αν η αρχική έκφραση είναι ένα ψέμα (0), τότε η άρνησή της είναι αλήθεια (1).
Πρόσθεση
Οι υπόλοιπες λειτουργίες απαιτούν την παρουσία δύο μεταβλητών. Υποδηλώνουν με μία έκφραση -
Α, δεύτερη - V. Λογικές λειτουργίες στην επιστήμη των υπολογιστών, δηλώνει την επίδραση της προσθήκης (ή της αποσύνδεσης), κατά τη γραφή, χαρακτηρίζεται είτε μια λέξη "ή" ή "V". Κόψτε τις πιθανές επιλογές δεδομένων και τα αποτελέσματα υπολογισμού.
- E \u003d 1, N \u003d 1, στη συνέχεια e V N \u003d 1. Εάν και οι δύο είναι και οι δύο είναι αληθές.
- E \u003d 0, Η \u003d 1, ως αποτέλεσμα, ΕΙ νν \u003d 1. E \u003d 1, H \u003d 0, τότε e V n \u003d 1. Εάν τουλάχιστον μία από τις εκφράσεις είναι αληθινά, τότε το αποτέλεσμα της προσθήκης τους θα είναι αληθές.
- E \u003d 0, H \u003d 0, το αποτέλεσμα e V n \u003d 0. Εάν και οι δύο εκφράσεις είναι ψευδείς, τότε η ποσότητα τους είναι επίσης ένα ψέμα.
Για συντομία, δημιουργήστε έναν πίνακα αλήθειας.
| ΜΙ. | Η. | Η. | σχετικά με | σχετικά με |
| Ν. | Η. | σχετικά με | Η. | σχετικά με |
| E V N. | Η. | Η. | Η. | σχετικά με |
Πολλαπλασιασμός
Έχοντας κατανοηθεί με τη λειτουργία προσθήκης, μεταβείτε στον πολλαπλασιασμό (συνδυασμό). Χρησιμοποιούμε τα ίδια σύμβολα που δόθηκαν παραπάνω για προσθήκη. Με μια επιστολή, ο λογικός πολλαπλασιασμός υποδεικνύεται από το εικονίδιο "&", ή το γράμμα "και".
- E \u003d 1, H \u003d 1, έπειτα e & h \u003d 1. Εάν και οι δύο τότε ο συνδυασμός τους είναι αλήθεια.
- Εάν τουλάχιστον μία από τις εκφράσεις είναι ένα ψέμα, τότε το αποτέλεσμα του λογικού πολλαπλασιασμού θα είναι επίσης ένα ψέμα.
- E \u003d 1, N \u003d 0, επομένως e & h \u003d 0.
- E \u003d 0, n \u003d 1, τότε E & H \u003d 0.
- E \u003d 0, n \u003d 0, αποτέλεσμα E & H \u003d 0.
| ΜΙ. | Η. | Η. | 0 | 0 |
| Ν. | Η. | 0 | Η. | 0 |
| Ε & Ν. | Η. | 0 | 0 | 0 |
Συνέπεια
Η λογική λειτουργία των ακόλουθων (επιπτώσεων) είναι μία από τις απλούστερες μαθηματικές λογικές. Βασίζεται σε ένα μοναδικό αξίωμα - από την αλήθεια δεν μπορεί να ακολουθήσει ψευδές.
- E \u003d 1, n \u003d, έτσι e -\u003e n \u003d 1. Εάν το ζευγάρι είναι ερωτευμένο, τότε μπορούν να φιλήσουν - την αλήθεια.
- E \u003d 0, n \u003d 1, τότε e -\u003e n \u003d 1. Εάν το ζεύγος δεν είναι στην αγάπη, μπορούν να φιλήσουν - μπορούν επίσης να είναι αλήθεια.
- E \u003d 0, n \u003d 0, από αυτό e -\u003e n \u003d 1. Εάν το ζεύγος δεν είναι στην αγάπη, τότε δεν φιλί - πάρα πολύ, η αλήθεια.
- E \u003d 1, H \u003d 0, το αποτέλεσμα θα είναι e -\u003e n \u003d 0. Εάν το ζευγάρι είναι ερωτευμένο, τότε δεν φιλί - ψέμα.
Για να διευκολυνθεί η εκπλήρωση των μαθηματικών δράσεων, δίνουμε επίσης ένα τραπέζι αλήθειας.
Ισότητα
Η τελευταία χειρουργική επέμβαση θεωρείται μια λογική ισότητα ή ισοδυναμία. Στο κείμενο μπορεί να χαρακτηριστεί ως "... τότε και μόνο όταν ...". Με βάση αυτό το σκεύασμα, γράψτε παραδείγματα για όλες τις επιλογές προέλευσης.
- A \u003d 1, B \u003d 1, τότε A≡V \u003d 1. Το άτομο πίνει το χάπι τότε και μόνο όταν είναι άρρωστος. (αληθής)
- A \u003d 0, B \u003d 0, ως αποτέλεσμα, A≡V \u003d 1. Ένα άτομο δεν πίνει ένα δισκίο τότε και μόνο αν δεν αρρωστήσει. (αληθής)
- A \u003d 1, B \u003d 0, έτσι A≡V \u003d 0. Το άτομο πίνει τα χάπια τότε και μόνο αν δεν υποφέρει. (Ψευδής)
- A \u003d 0, B \u003d 1, τότε A≡V \u003d 0. Το άτομο δεν πίνει ένα χάπι τότε και μόνο όταν είναι άρρωστος. (Ψευδής)
Ιδιότητες
Έτσι, λαμβάνοντας υπόψη την απλούστερη στην επιστήμη των υπολογιστών, μπορούμε να προχωρήσουμε στη μελέτη ορισμένων ιδιοκτησιών τους. Όπως και στα μαθηματικά, οι λογικές λειτουργίες έχουν τη δική του διαδικασία επεξεργασίας. Σε μεγάλες λογικές εκφράσεις, εκτελούνται πρώτα οι λειτουργίες σε παρένθεση. Μετά από αυτούς, το πρώτο πράγμα μετράμε όλες τις τιμές άρνησης στο παράδειγμα. Το επόμενο βήμα θα είναι ο υπολογισμός του συνδυασμού και κατόπιν αποσύνδεσης. Μόνο τότε εκτελέστε τη λειτουργία της έρευνας και, τέλος, την ισοδυναμία. Εξετάστε ένα μικρό παράδειγμα για τη σαφήνεια.
Και v in & ¬v -\u003e σε ≡ a
Τη διαδικασία εκτέλεσης των ακόλουθων.
- Στο & (¬v)
- Και V (στην & (¬v))
- (Και V (στην & (¬v))) -\u003e
- ((Και V (στην & (¬v))) -\u003e c) ≡
Για να λύσουμε αυτό το παράδειγμα, θα χρειαστεί να οικοδομήσουμε ένα εκτεταμένο τραπέζι αλήθειας. Όταν το δημιουργείτε, θυμηθείτε ότι οι στήλες είναι καλύτερες να έχουν με την ίδια σειρά, στην οποία θα εκτελεστούν.
| ΑΛΛΑ | ΣΕ | (Και V (στην & (¬v))) -\u003e | ((Και V (στην & (¬v))) -\u003e c) ≡ |
|||
| Η. | σχετικά με | Η. | σχετικά με | Η. | Η. | Η. |
| Η. | Η. | σχετικά με | σχετικά με | Η. | Η. | Η. |
| σχετικά με | σχετικά με | Η. | σχετικά με | σχετικά με | Η. | σχετικά με |
| σχετικά με | Η. | σχετικά με | σχετικά με | σχετικά με | Η. | σχετικά με |
Όπως βλέπουμε, το αποτέλεσμα της λύσης του παραδείγματος θα είναι η τελευταία στήλη. Ο πίνακας αλήθειας βοήθησε να λύσει την εργασία με τυχόν δεδομένα πηγής.
συμπέρασμα
Σε αυτό το άρθρο, εξετάστηκαν ορισμένες έννοιες της μαθηματικής λογικής, όπως η πληροφορική, οι ιδιότητες των λογικών λειτουργιών, καθώς και οι ίδιες οι ίδιες οι λογικές επιχειρήσεις. Μερικά απλά παραδείγματα δόθηκαν για την επίλυση προβλημάτων για τη μαθηματική λογική και τον πίνακα αλήθειας που απαιτείται για την απλούστευση αυτής της διαδικασίας.
Η διάρκεια του μαθήματος: 45 λεπτά.
Τύπος μαθήματος:σε συνδυασμό:
- Επαλήθευση της γνώσης - προφορική εργασία.
- Νέο υλικό - Διάλεξη.
- Ενοποίηση - Πρακτικές ασκήσεις.
- Ελέγξτε τη γνώση - εργασίες για ανεξάρτητη εργασία.
Μάθημα στόχων:
- να δώσει την έννοια ενός πίνακα αλήθειας.
- Στερεώστε το υλικό του προηγούμενου μαθήματος της "άλγεβρας των δηλώσεων".
- χρήση τεχνολογιών πληροφόρησης ·
- Καθαρίζοντας την ικανότητα της αυτο-αναζητώντας νέο υλικό.
- Ανάπτυξη περιέργειας, πρωτοβουλίας.
- Εκπαίδευση πληροφοριών Πολιτισμός.
Πλάνο μαθήματος:
- Οργανωτική στιγμή (2 λεπτά).
- Επανάληψη του υλικού του προηγούμενου μαθήματος (προφορική έρευνα) (4 λεπτά).
- Επεξήγηση ενός νέου υλικού (12 λεπτά).
- Διόρθωση
- Ανάλυση του παραδείγματος (5 λεπτά).
- πρακτικές ασκήσεις (10 λεπτά) ·
- Εργασίες για ανεξάρτητη εργασία (10 λεπτά).
Εξοπλισμός και λογισμικό:
- Λευκή σανίδα;
- προβολέας πολυμέσων.
- Υπολογιστές;
- mS PowerPoint 2003 Επεξεργαστής παρουσίασης.
- Υλικό αναφοράς διανομής "Συνολικοί πίνακες".
- Επίδειξη της παρουσίασης "πίνακες εργαλείων".
Κατά τη διάρκεια των τάξεων
I. Οργανωτική στιγμή
Συνεχίζουμε να μελετάμε τα "βασικά στοιχεία της λογικής". Σε προηγούμενα μαθήματα, είδαμε ότι η λογική συνδέθηκε στενά με την καθημερινή μας ζωή και είδε επίσης ότι σχεδόν οποιαδήποτε δήλωση θα μπορούσε να γραφτεί ως τύπος.
Ii. Επανάληψη του υλικού του προηγούμενου μαθήματος
Ας θυμηθούμε τους βασικούς ορισμούς και τις έννοιες:
| Ερώτηση | Απάντηση |
| 1. Ποια πρόταση είναι μια δήλωση; | Μια αφηγηματική προσφορά στην οποία κάτι έχει εγκριθεί ή αρνείται |
| 2. Τι είδους δηλώσεις χωρίζονται με τη δομή τους; | Απλό και περίπλοκο |
| 3. Η αλήθεια της οποίας οι δηλώσεις είναι διαπραγματεύσιμες; | Απλός |
| 4. Η αλήθεια της οποίας υπολογίζεται οι δηλώσεις; | Εκλεπτυσμένο |
| 5. Πώς είναι οι απλές δηλώσεις στο σχεδιασμό της Algebra της δήλωσης; | Λογικές μεταβλητές |
| 6. Πώς σημαίνει η αλήθεια τέτοιων δηλώσεων; | 1 και 0. |
| 7. Τι συνδέει τις μεταβλητές στις φόρμουλες αλγεβρας δήλωσης; | Λογικές λειτουργίες |
| 8. Καταγράψτε τους. | Αναστροφή (άρνηση) Συγχρονισμός (πολλαπλασιασμός) Δυσλειτουργία (προσθήκη) ΕΠΙΠΤΩΣΕΙΣ (ΑΠΟΤΕΛΕΣΜΑΤΑ) Ισοδυναμία (ισοδύναμη) |
| 9. Προσδιορίστε αν ο τύπος αντιστοιχεί σε μια περίπλοκη δήλωση. Ονομάστε απλές δηλώσεις. Καθορίστε την αιτία των ασυνέπειων. (Εργασία στην οθόνη) | Όχι, κατάχρησης |
| 10. Προσδιορίστε αν ο τύπος αντιστοιχεί σε μια περίπλοκη δήλωση. Ονομάστε απλές δηλώσεις. Καθορίστε την αιτία των ασυνέπειων. (Εργασία στην οθόνη) | Ναί |
III. Επεξήγηση του νέου υλικού
Τα τελευταία δύο παραδείγματα ανήκουν σε πολύπλοκες δηλώσεις. Πώς να προσδιορίσετε την αλήθεια σύνθετων δηλώσεων;
Είπαμε ότι υπολογίζεται. Για αυτό, υπάρχουν πίνακες στη λογική για να υπολογίσετε την αλήθεια των δηλώσεων της σύνθεσης (σύνθετων). Ονομάζονται πίνακες αλήθειας.
Έτσι, το θέμα του μαθήματος του πίνακα αλήθειας.
3.1) Ορισμός. Ο πίνακας αλήθειας είναι ένας πίνακας που δείχνει την αλήθεια μιας περίπλοκης δήλωσης για όλες τις πιθανές τιμές των εισερχόμενων μεταβλητών (Σχήμα 1).
3.2) Θα αναλύσουμε λεπτομερέστερα κάθε λογική λειτουργία σύμφωνα με τον ορισμό του:
1. Η αναστροφή (άρνηση) είναι μια λογική λειτουργία που κάνει μια σύνθετη δήλωση σε κάθε απλή δήλωση, η οποία συνίσταται στο γεγονός ότι η αρχική δήλωση απορρίπτεται.
Αυτή η λειτουργία ισχύει μόνο για μια μεταβλητή, οπότε το έχει αντιστοιχιστεί μόνο δύο γραμμές, επειδή Μια μεταβλητή μπορεί να έχει ένα δύο Τιμές: 0 ή 1.
2. Ο συνδυασμός (πολλαπλασιασμός) είναι μια λογική λειτουργία που συμμορφώνεται με κάθε δύο απλές δηλώσεις μια σύνθετη δήλωση, η οποία είναι αλήθεια τότε και μόνο εάν είναι αληθινές και οι δύο αρχικές δηλώσεις.
Είναι εύκολο να δείτε ότι αυτός ο πίνακας είναι πραγματικά παρόμοιος με τον πίνακα πολλαπλασιασμού.
3. Η δυσφήμηση (προσθήκη) είναι μια λογική λειτουργία που καθένας δύο απλές δηλώσεις τοποθετείται σε μια σύνθετη δήλωση, η οποία είναι ψευδής και μόνο εάν και οι δύο αρχικές δηλώσεις είναι ψευδείς.
Μπορείτε να βεβαιωθείτε ότι ο πίνακας είναι παρόμοιος με τον πτυσσόμενο τραπέζι εκτός από την τελευταία ενέργεια. Στο δυαδικό σύστημα αρίθμησης 1 + 1 \u003d 10, στο δεκαδικό - 1 + 1 \u003d 2. Στη λογική, η τιμή της μεταβλητής 2 δεν είναι δυνατή, σκεφτείτε 10 από την άποψη της λογικής: 1 - TRUE, 0 - FALSE , σύντομα. 10 - Πραγματικά και ψευδής ταυτόχρονα, η οποία δεν μπορεί να είναι, οπότε η τελευταία ενέργεια βασίζεται αυστηρά στον ορισμό.
4. Η συνέπεια (ακολουθήστε) είναι μια λογική λειτουργία που θέτει σε συμμόρφωση με κάθε δύο απλές δηλώσεις μια σύνθετη δήλωση, η οποία είναι ψευδής και μόνο αν η κατάσταση είναι αληθής και η συνέπεια είναι ψευδής.
5. Ισοδυναμία (Equivofinity) είναι μια λογική λειτουργία που συμμορφώνεται με κάθε δύο απλές δηλώσεις μια σύνθετη δήλωση, η οποία είναι αλήθεια τότε και μόνο αν και οι δύο αρχικές δηλώσεις είναι ταυτόχρονα αληθείς ή ψευδείς.
Οι δύο τελευταίες πράξεις αποσυναρμολογήθηκαν από εμάς στο προηγούμενο μάθημα.
3.3) Θα καταλάβουμε tRID συνολικός αλγόριθμος Για μια δύσκολη δήλωση:
3.4) Εξετάστε ένα παράδειγμα της προετοιμασίας του πίνακα αλήθειας για μια σύνθετη δήλωση:
Παράδειγμα. Δημιουργήστε ένα τραπέζι αλήθειας για τον τύπο: a u b -\u003e ¬, u S.
Λύση (Σχήμα 2)
Από το παράδειγμα φαίνεται ότι ο πίνακας αλήθειας δεν είναι όλη η λύση, αλλά μόνο η τελευταία ενέργεια (στήλη που διατίθεται με κόκκινο χρώμα).
Iv. Στερέωση.
Για να εξασφαλίσετε το υλικό, προτείνετε να λύσετε τα παραδείγματα στον εαυτό σας σύμφωνα με τα γράμματα Α, Β, Β, επιπλέον κ. (Σχήμα 3).
V. Ηλεκτρονική εργασία, γενίκευση του υλικού.
Η εργασία στο σπίτι σας δίνεται επίσης στην οθόνη της οθόνης (Εικόνα 4)
Γενίκευση του υλικού:Σήμερα, στο μάθημα, μάθαμε πώς να προσδιορίσουμε την αλήθεια των σύνθετων δηλώσεων, αλλά περισσότερο από μια μαθηματική άποψη, αφού δεν σας δόθηκε τα ίδια τα λόγια, αλλά οι τύποι που τους εμφανίζουν. Στα επόμενα μαθήματα, θα διορθώσουμε αυτές τις δεξιότητες και θα προσπαθήσουμε να τα εφαρμόσουμε για να λύσουν λογικά καθήκοντα.
Τάξη: 4
Τύπος μαθήματος- Μελετώντας ένα νέο υλικό.
Μορφή του μαθήματος -Συνδυασμένο μάθημα χρησιμοποιώντας ΤΠΕ.
Σκοπός του μαθήματος:εισάγετε τις έννοιες της "αλήθειας" και "ψέματα".
Μάθημα εργασιών:
- Εκπαιδευτικός: Να διδάξετε να αξιολογήσετε τις απλούστερες δηλώσεις από την άποψη της αλήθειας και της ψευδαισθήσεων, με το διορισμό του εργαλείου πιπέτας στον επεξεργαστή γραφικών βαφής.
- Ανάπτυξη: Αναπτύξτε την ικανότητα ανάλυσης και σύνταξης.
- Εκπαιδευτικός: Να φέρει τις θετικές ιδιότητες του ατόμου στην εκπαιδευτική διαδικασία.
Προκαταρκτική προετοιμασία:Ποιήματα-αινίγματα, κάρτες σήματος.
TSO: Υπολογιστής, προβολέας πολυμέσων, διαδραστικό συμβούλιο, παρουσίαση (σημείο ισχύος)
Κατοχή δομής
1. orgmoment(1 λεπτό.)
Γεια γεια,
Οι επισκέπτες αγαπητοί!
Ακίνητα, απλά ...
Καλως ΗΡΘΑΤΕ,
Νιώσε σα στο σπίτι σου,
Συναντώνται τα πάντα
Τι άλλο δεν είναι εξοικειωμένο.
Γεια σας φίλοι μου!
Και πάλι μαζί σας και εγώ.
Θα θέσετε να εργαστείτε
Και να με ακούσετε.
Θα σας δώσω μια εργασία τώρα,
Για να καθορίσετε το στόχο
Και κατά τη διάρκεια του μαθήματος
Όλες οι εργασίες για να αποκαλύψουν.
(Στα χέρια των ποιημάτων των δασκάλων-αινίγματα).
2. Προετοιμασία για την αντίληψη του νέου υλικού(3 λεπτά.)
Ακούσατε την ποίηση
Τι είναι ειδικά;
Πού είναι η αλήθεια εδώ,
Και πού είναι το ψέμα -
Θα διακρίψετε αμέσως;
(Ο δάσκαλος διαβάζει τους πλέξεις-αινίγματα)
Διασκέδαση πεδίων
Στο ποτάμι κατά μήκος της διαδρομής,
Και γι 'αυτό χρειάζεστε
Το πεδίο μας ... τα κέρατα (πόδια)
Τα πεδία του Berry παίρνουν
Δύο, τρία πράγματα,
Και γι 'αυτό χρειάζεστε
Το πεδίο μας ... Shuchki (λαβές)
Το πεδίο ακούει στο δάσος,
Πόσο ουρλιάζοντας κούκος
Και γι 'αυτό χρειάζεστε
Το πεδίο μας ... Ξήρανση (αυτιά)
Τα πεδία του πυρήνα του πυρήνα,
Τα κοχύλια πέφτουν,
Και γι 'αυτό χρειάζεστε
Το πεδίο μας ... Shuffles (δόντια)
3. Ρύθμιση του στόχου(2 λεπτά.)
4. Νέο υλικό(5 λεπτά.)
Σήμερα υπάρχουν δύο έννοιες
Θα αναλύσουμε λεπτομερώς
Αλήθεια και όχι αλήθεια
Είμαστε στη ζωή της κλήσης τους.
Αλλά στα μαθηματικά,
Ότι "αλήθεια" και "ψέμα"
- "Αλήθεια" και "Lie" αναφέρονται στις έννοιες. Ας θυμηθούμε τι Εννοια? (Απάντηση των παιδιών.)
- Η έννοια είναι ένα αντικείμενο του εσωτερικού και του εικονικού κόσμου, δηλ. Ο κόσμος των ιδεών και των σκέψεων του ανθρώπου.
- Μπράβο!
- παιδιά, ποιες ομάδες είναι οι έννοιες;
Απαντήσεις των παιδιών:Συμβατές και ασυμβίβαστες έννοιες.
Καθορισμένες αληθινές δηλώσεις.
2 + 2 = 4
2 + 2 = 5
2 + 3 = 5
Κάνοντας μια εργασία στο σημειωματάριο №3.
Σκοπός: Επαναλάβετε και εδραιώσετε τη γνώση των ψευδών δηλώσεων, τη δυνατότητα διάκρισης των αληθινών και ψευδών δηλώσεων.
Προσάρτηση 1 . Διαφάνεια 10.
- Αναφέρετε ψευδείς κρίσεις:
- Όλοι οι κροκόδειλοι πετούν.
- Ο υπολογιστής είναι βοηθός άνθρωπος με λογαριασμό.
- Το τηλέφωνο χρησιμεύει ως μέσο επικοινωνίας.
- 10 διαιρείται με 3 χωρίς υπολείμματα.
Κάνοντας μια εργασία στο σημειωματάριο №4.
Σκοπός: Για να σχηματίσουν μια ιδέα ότι η δήλωση μπορεί να εκπροσωπείται σε διάφορες μορφές. Γραφή. Επιλέξτε το επιθυμητό.
Το αποτέλεσμα της επεξεργασίας πληροφοριών μπορεί να είναι μια προφορική δήλωση, μια δήλωση με τη μορφή κειμένου, σχεδίασης, διαγραμμάτων, τύπων φόρμουλας.
ΝΑΙ ΔΕΝ
Προσάρτηση 1 . Διαφάνειες11-14
Κάνοντας μια εργασία στο σημειωματάριο №5. (3 λεπτά.)
Σκοπός: Μάθετε πώς να καθορίσετε την αλήθεια και την ψευδαίσθηση των δηλώσεων που βασίζονται στην ανάλυση που παρέχεται γραφικά ή με κείμενο.
Επεξεργασία γραφικών και πληροφοριών κειμένου και υποδεικνύουν πραγματικές κρίσεις του γράμματος "και", και ψευδείς κρίσεις - το γράμμα "L" σύμφωνα με το δείγμα. Ή στην πληροφορική της αλήθειας καταγράφεται 1, και FALSE - 0. Εγγραφή με αριθμούς.
5. Fizminutka(1 λεπτό.)
Παιχνίδι "Αλήθεια - False"
- Κουρασμένος? Ισιώστε, κάθονται ομαλά.
Διανέμουν όλες τις παλάμες,
Προετοιμαστείτε για βαμβάκι,
Αν, αν και γράφετε,
Αν ένα ψέμα είναι chlo.
- Στρογγυλή γη.
- Βοτανική - Επιστήμη των ζώων.
- Σήμερα είναι το καλοκαίρι στην αυλή.
- 8 x 5 \u003d 40.
- Η προσφορά αποτελείται από λέξεις.
- Clane, λεύκα, σημύδα - κωνοφόρα δέντρα.
- Alexander Ivanovich Pushkin.
Χαστούκι όλοι σας master
Και να υποβάλετε μια πρόταση
Είναι δύσκολο για σένα, φίλους;
Η αλήθεια είναι πάντα σημαντική
Και να βρείτε μια προσφοράΔεν θα σας κάνει να δουλέψετε;
Ψέματα είναι επιβλαβείς, αλλά θα γίνουμε
Για μια στιγμή, όλοι οι ψεύτες
Και να υποβάλετε μια πρόταση
Σε αυτό, βρίσκεστε σε αυτό.
6. Κάνοντας μια εργασία Στο σημειωματάριο εργασίας χρησιμοποιώντας το σχέδιο. (2 λεπτά.)
Σκοπός: Μάθετε πώς να διατυπώσετε τη δήλωση στο σχήμα που ικανοποιεί τις καθορισμένες απαιτήσεις της αλήθειας ή της ψευδαισθήσεων. Ελάτε με 1 πρόταση αληθινή, άλλα ψεύτικα.
- Καλά αγόρια!
Έχετε ήδη μάθει πολλά
Έχουμε παίξει και λύσει,
Βρήκε πού βρίσκεται εδώ,
Και όπου, ωστόσο,
Θα καταλάβετε?
- Εκτελέστε μια εργασία στον επεξεργαστή γραφικών βαφής.
7. Εργαστήριο υπολογιστών(10-12 λεπτά.)
Πρέπει να θυμόμαστε το TB στο μάθημα.
Μην αγγίζετε την οθόνη της οθόνης.
Ανοίξτε το σχέδιο χρησιμοποιώντας το χρώμα. Προσδιορίστε την αλήθεια και ψέμα και διορθώστε αν υπάρχει ψέμα στην αλήθεια. Χρησιμοποιώντας τα εργαλεία επεξεργασίας γραφικών βαφής.
Χρησιμοποιώντας το εργαλείο πιπέτας.
Ρίξτε τον εαυτό του σιωπηλό.
Εκτελέστε την εργασία ήσυχα
Και ο γείτονας δεν παρεμβαίνει.
8. Fizkultminthka για τα μάτια(1 λεπτό.)
9. Ηλεκτρονική εργασία(2 λεπτά.)
- Γράψτε ένα παραμύθι.
10. Μαθήματα έκβασης(2 λεπτά.)
- Τι συναντήσατε; (Απαντήσεις των παιδιών)
- Τι είναι η αλήθεια, ψέμα; (Απαντήσεις των παιδιών)
- Τι μάθατε σήμερα; (Εργασία με το εργαλείο Pipette)
11. Εκτιμήσεις για το μάθημα(2 λεπτά.)
Μας λέτε την αλήθεια,
Και εξοικονομείτε ψεύτικο στον εαυτό σας.
Πλησίασε το τέλος του μαθήματος,
Χύθηκε μια κλήση.
Μαζί βγαίνουν εξαιτίας του κόμματος
Deep Sigh, όπως αυτό ...