Λογική και λογικές πράξεις. Περίληψη μαθήματος «λογικές πράξεις και λογικά στοιχεία» Μάθημα με θέμα λογικές πράξεις

Μάθημα #5

Θέμα: Λογική και λογικές πράξεις

Σκοπός του μαθήματος: ΠαρουσιάζωΦοιτητέςΜεκύριοςέννοιεςλογικός επιχειρήσεις . Συμβάλλεισχηματισμόςδεξιότητεςδιακρίνωείδηλογικός επιχειρήσεις , αφομοίωσηαρχήκαταρτίζονταςτραπέζιααλήθειαΓιαλογικόςεπιχειρήσεις.

Οι μαθητές πρέπει να γνωρίζουν Τι είναι λογική, λογικές πράξεις.

Οι μαθητές θα πρέπει να είναι σε θέση: εκτελέστε πράξεις σε δηλώσεις

Κατά τη διάρκεια των μαθημάτων

Εγώ . Οργάνωση χρόνου

II . Έλεγχος εργασιών για το σπίτι

Εργασία με το σταυρόλεξο "Μετάφραση αριθμών από το ένα SS στο άλλο"

Εκμάθηση νέου υλικού

Λογικές

Η λογική (από την ελληνική λογική) είναι η επιστήμη των μεθόδων απόδειξης.

Λογικές είναι η επιστήμη των μορφών και των νόμων της ανθρώπινης σκέψης, ιδίως των μεθόδων απόδειξης και διάψευσης.

Δήλωση- μια δηλωτική πρόταση στην οποία κάτι επιβεβαιώνεται ή απορρίπτεται.

Ένα παράδειγμα απλών δηλώσεων: «Όλα τα πεύκα είναι δέντρα». Εάν η δήλωση είναι αληθινή, είναιαληθής και αν δεν ταιριάζει -ψευδής.

Οι δηλώσεις υποδεικνύονται με κεφαλαία γράμματα του λατινικού αλφαβήτου.Για παράδειγμα η έννοια της έκφρασης A = "Όλα τα τριαντάφυλλα είναι λουλούδια" μπορεί να γραφτεί ως εξής: A = 1. Το νόημα της πρότασης B = «Όλες οι μύγες είναι πουλιά»: B = 0. Δηλώσεις μπορεί να είναιγενικός (όταν μιλάμε για ομάδα αντικειμένων) ήιδιωτικός. Για παράδειγμα: «Σε οποιοδήποτε τρίγωνο, το άθροισμα των γωνιών είναι 180º» είναι μια γενική πρόταση. "Υπάρχουν μαύρες γάτες με λευκά πόδια" - πηλίκο.

Δύσκολος είναι μια δήλωση που αποτελείται από απλά που συνδέονται με κάποιο είδος συνδέσμου.

Λογικές πράξεις

Λογική λειτουργία - μια λειτουργία σε εντολές που σας επιτρέπει να συνθέσετε νέες εντολές συνδυάζοντας πιο απλές.

Υπάρχουν τρεις βασικές λογικές πράξεις - σύνδεσμος, διαχωρισμός και άρνηση (αναστροφή)

Σύνδεση(λογικός πολλαπλασιασμός) είναι μια λογική πράξη δύο θέσεων, που αντιστοιχεί στην ένωση "AND", που αλλιώς ονομάζεται λογικός πολλαπλασιασμός. Ορίζεται A&B ή A˄B.

Για παράδειγμα:

Α- "Οι πάπιες χειμωνιάζουν στο νότο"

Β- "Οι πάπιες περνούν το καλοκαίρι τους στο βορρά"

S- "Οι πάπιες δεν πετούν"

А˄В˄С = "Οι πάπιες δεν μεταναστεύουν, και το χειμώνα στο νότο και περνούν το καλοκαίρι στο βορρά" - το αποτέλεσμα του συνδυασμού έλαβε μια ψευδή δήλωση.

Διαχώριση (λογική προσθήκη) είναι μια λογική πράξη δύο θέσεων, που αντιστοιχεί στην ένωση "OR", που αλλιώς ονομάζεται λογική προσθήκη. Ονομάζεται A˅B.

Για παράδειγμα:

Α- "Σήμερα περιμένω να επισκεφτεί την Πέτυα"

Β- "Σήμερα περιμένω την Anya να επισκεφθεί"

Συνδεόμαστε με την ένωση "OR" και παίρνουμε μια σύνθετη δήλωση - ένα λογικό άθροισμα

«Σήμερα περιμένω να επισκεφθούν την Petya ή την Anya» А˅В.

Αρνηση (αναστροφή) είναι μια λογική πράξη ενός τόπου, που αντιστοιχεί στο σωματίδιο «NOT», αλλιώς ονομάζεται λογική άρνηση. Συμβολίζεται με ¬A, Ā.

Για παράδειγμα:

Η Petya θα είναι σε υπηρεσία - Α.

Η Petya δεν θα είναι σε υπηρεσία - Ā - άρνηση.

A = "Έξι διαιρούμενο με δύο ίσον τρία" είναι μια αληθινή πρόταση

Ā= «Έξι διαιρούμενο με δύο δεν ισούται με τρία» - η λογική άρνηση είναι ψευδής.

IV . Ενίσχυση της ύλης που έμαθε

Από απλές προτάσεις, κατασκευάστε σύνθετες προτάσεις χρησιμοποιώντας τις λογικές συνδέσεις «AND», «OR» και προσδιορίστε την αλήθεια τους.

Για παράδειγμα:

Α- «Όλοι οι φοιτητές σπουδάζουν πληροφορική»

Β- «Όλοι οι μαθητές μαθαίνουν μια ξένη γλώσσα»

А˄В = "Όλοι οι μαθητές σπουδάζουν επιστήμη των υπολογιστών και μια ξένη γλώσσα"

Ο Erbol είναι μεγαλύτερος από τη Madina. Η Σαλίμα είναι μεγαλύτερη από τη Μαντίνα

Η κόκκινη μπάλα είναι μεγαλύτερη από την πράσινη Η κόκκινη μπάλα είναι μεγαλύτερη από την κίτρινη.

Αύριο θα χιονίσει, αύριο θα κάνει κρύο.

Ο Kairat κάνει τα μαθήματά του. Ο Kairat παρακολουθεί ποδόσφαιρο.

Ο Aigul γευματίζει. Ο Aigul μαθαίνει ένα ποίημα.

Να αναφέρετε ποιες προτάσεις είναι απλές και ποιες σύνθετες.

Μάθημα πληροφορικής σε εξέλιξη

Ο αριθμός 3 είναι μεγαλύτερος από τον αριθμό 2.

Είδα την παράσταση "Αληθινοί φίλοι"

Η Αστάνα, το Παρίσι και η Μόσχα είναι οι πρωτεύουσες των κρατών.

Αύριο αναμένονται βροχές ή χιονόνερο.

V. Περίληψη μαθήματος.

Βαθμολόγηση εργασίας για το σπίτι

Εργασία για το σπίτι

Γράψτε στο τετράδιό σας χωρίς αρνητικό πρόσημο: - (α).

Επαναλάβετε την περίληψη και την επανάληψη και μάθετε τους ορισμούς των λογικών πράξεων.

«Είναι δύσκολο να μάθεις, αλλά είναι εύκολο να παλέψεις» Α. Σουβόροφ

"Μην απελπίζεστε! Αυτές οι τρομερές καταιγίδες θα στραφούν προς τη δόξα της Ρωσίας». Φ. Ουσάκοφ

«Η πειθαρχία είναι η μητέρα της νίκης» Α. Σουβόροφ

«Μόνο εκείνοι οι άνθρωποι που τιμούν τους ήρωές τους μπορούν να θεωρηθούν σπουδαίοι»

Κ. Ροκοσόφσκι

"Πέθανε μόνος σου -

βοήθησε τον σύντροφό σου" Α. Σουβόροφ

Δήλωση-

Δήλωση υποδηλώνει

γράμματα Α, Β, Γ κ.λπ.

που ονομάζεται λογικές μεταβλητές

Θέμα: Δήλωση. Λογικές πράξεις

δάσκαλος: Asetskaya N.B.

Δήλωση-

είναι μια πρόταση σε οποιαδήποτε γλώσσα της οποίας το περιεχόμενο μπορεί να προσδιοριστεί με σαφήνεια ως αληθές ή ψευδές.

Δήλωση υποδηλώνει

γράμματα (Α, Β, Γ κ.λπ.)

Αν η δήλωση

αλήθεια – A = 1

false – A = 0

Δήλωση ή όχι;

Βρέχει το χειμώνα.

Οι σαρκοφάγοι ζουν στην Κριμαία.

Ποιος ήρθε σε εμάς;

Ένα τρίγωνο έχει 5 πλευρές.

Πώς θα πάω στη βιβλιοθήκη;

Μετατρέψτε τον αριθμό σε δεκαδικό σύστημα.

Καταγράψτε την εργασία σας

• Βρέχει το χειμώνα. Οι σαρκοφάγοι ζουν στην Κριμαία. Ποιος ήρθε σε εμάς; Ένα τρίγωνο έχει 5 πλευρές. Πώς θα πάω στη βιβλιοθήκη; Μετατρέψτε τον αριθμό σε δεκαδικό σύστημα. Καταγράψτε την εργασία σας

Τρεις χώρες συμμετείχαν στο δίαθλο δεξαμενών - Ρωσία, Κίνα και Καζακστάν. Τα τανκς ήταν βαμμένα λευκά, μπλε και πράσινα.

Η Ρωσία δεν συμμετείχε σε λευκό τανκ και η Κίνα δεν συμμετείχε σε μπλε.

Το λευκό τανκ δεν κατέλαβε τη 2η θέση.

Το μπλε τανκ ήταν 1ο.

Η Κίνα δεν τερμάτισε 3η.

Δεξαμενή

Μια χώρα

Ρωσία

άσπρο

Μπλε

Κίνα

Καζακστάν

Πράσινος

Καζακστάν

Δεξαμενή

Μια χώρα

Ρωσία

άσπρο

Μπλε

Κίνα

1

Πράσινος

Καζακστάν

0

0

Καζακστάν

Λογικές πράξεις

1. Σύνδεσμος

Μια λογική πράξη είναι αληθής αν και μόνο αν και οι δύο αρχικές προτάσεις είναι αληθείς.

Αλλο όνομα: λογικός πολλαπλασιασμός .

Ονομασίες:  , & , ΚΑΙ.

ΓΡΑΦΙΚΗ ΑΝΑΠΑΡΑΣΤΑΣΗ

Πίνακας αλήθειας:

ΕΝΑ & ΣΕ

Λογικές πράξεις

Διαχώριση -

μια λογική πράξη που είναι ψευδής εάν και μόνο εάν και οι δύο αρχικές προτάσεις είναι ψευδείς.

Αλλο όνομα: λογική προσθήκη .

Ονομασίες: V, |, OR, +.

ΓΡΑΦΙΚΗ ΑΝΑΠΑΡΑΣΤΑΣΗ

Πίνακας αλήθειας:

ΕΝΑ V ΣΕ

Λογικές πράξεις

Αναστροφή -

μια λογική πράξη της οποίας το νόημα αλλάζει στο αντίθετο της αρχικής πρότασης.

Αλλο όνομα: λογική άρνηση.

Ονομασίες: ΟΧΙ, ¬, ¯ .

ΓΡΑΦΙΚΗ ΑΝΑΠΑΡΑΣΤΑΣΗ

Πίνακας αλήθειας:

Οι λογικές πράξεις έχουν την εξής προτεραιότητα:

αντιστροφή, σύνδεσμος, διαχωρισμός .

Δώστε ένα παράδειγμα σωστών και ψευδών δηλώσεων από:

μαθηματικά,

βιβλιογραφία.

Εξηγήστε γιατί οι παρακάτω προτάσεις δεν είναι προτάσεις.

1) Τι χρώμα είναι αυτό το σπίτι;

2) 4 Χ +3.

3) Πιες χυμό ντομάτας!

Κατασκευάστε την άρνηση των παρακάτω προτάσεων.

• Σήμερα στο θέατρο παίζεται η όπερα «Ευγένιος Ονέγκιν».

2) Κάθε κυνηγός θέλει να μάθει πού κάθεται ο φασιανός.

Συνοψίζοντας:

Δήλωση είναι μια πρόταση σε οποιαδήποτε γλώσσα, το περιεχόμενο της οποίας είναι

μπορεί να οριστεί ξεκάθαρα ως αληθές ή ψευδές.

Βασική λογική

επιχειρήσεις

Διαχώριση

Σύνδεση

Αναστροφή

ΕΝΑ

ΕΝΑ

ΕΝΑ

Ā

σι

σι

ΕΝΑ & σι

ΕΝΑ V σι

Προτεραιότητα εκτέλεσης λογικών πράξεων: ¬, &, V .

Αντανάκλαση

Ήταν χρήσιμο το μάθημα;

ΑΥΤΟΠΡΟΕΤΟΙΜΑΣΙΑ:

Ενότητα 1.3, σελ. 22-29

Σύμφωνα με το σχολικό βιβλίο

№ 2,3,4 (προφορικά)

Δημοτικό εκπαιδευτικό ίδρυμα δευτεροβάθμια εκπαίδευση Νο. 63, Ουλιάνοφσκ

Μάθημα πληροφορικής στην 9η τάξη

"Λογικές πράξεις"

Εκπονήθηκε από την καθηγήτρια πληροφορικής της ανώτερης κατηγορίας προσόντων E.A. Suvorova

2010

Θέμα μαθήματος: Λογικές πράξεις.

Στόχοι μαθήματος:

εκπαίδευση: σχηματίστε μια ιδέα για τις απλούστερες λογικές πράξεις.

ανάπτυξη: ανάπτυξη λογικής σκέψης, γνωστικού ενδιαφέροντος.

εκπαίδευση: καλλιεργήστε την ακρίβεια, τις δεξιότητες ακρόασης και την κουλτούρα της επικοινωνίας.

Τύπος μαθήματος: σε συνδυασμό.

ΜΕΘΟΔΟΙ ΔΙΔΑΣΚΑΛΙΑΣ: επεξηγηματικό και παραστατικό (επίδειξη παρουσίασης, συνομιλία).

Μορφή σπουδών: συλλογικό.

Κατά τη διάρκεια των μαθημάτων.

Έλεγχος εργασιών για το σπίτι.

Ερωτήσεις.

Ποια είναι τα αντικείμενα της άλγεβρας Boole; (Ρήσεις)

Τι είναι μια δήλωση;

Δώστε παραδείγματα δηλώσεων.

Είναι όλες οι προτάσεις δηλώσεις;

Δώστε παραδείγματα μη δηλώσεων.

Από ποια οπτική γωνία εξετάζονται οι δηλώσεις; (από άποψη αλήθειας ή ψεύδους)

Τι είναι το «αληθές» και το «ψευδή» για την άλγεβρα της λογικής;

Μπορεί μια δήλωση να είναι αληθινή και ψευδής ταυτόχρονα;

Επεξήγηση νέου θέματος.

Οι λογικές εκφράσεις μπορεί να είναι απλές ή σύνθετες.

Απλή λογική έκφρασηαποτελείται από μία πρόταση και δεν περιέχει λογική πράξη. Μια απλή Boolean έκφραση μπορεί να έχει μόνο δύο αποτελέσματα - είτε true είτε false.

Πολύπλοκη λογική έκφρασηπεριέχει δηλώσεις που ενώνονται με λογικές πράξεις.

Σε σύνθετες λογικές εκφράσεις χρήση λογικές πράξεις.

Υπάρχουν τρεις βασικές πράξεις σε προτάσεις: λογική πρόσθεση, λογικός πολλαπλασιασμός και άρνηση.

ΔΕΝ – Λογική άρνηση (αναστροφή)

Λειτουργία ΔΕΝ ΙΣΧΥΕΙ για ένα όρισμα, το οποίο μπορεί να είναι είτε απλή είτε σύνθετη πρόταση. Το αποτέλεσμα της πράξης ΔΕΝ θα είναι "false" εάν η αρχική έκφραση είναι true και "true" εάν η αρχική έκφραση είναι false.

Για την πράξη άρνησης, γίνονται δεκτοί οι ακόλουθοι συμβολισμοί: ΟΧΙ Α, ┐Α, όχι Α.

Καλείται ο πίνακας με όλες τις πιθανές τιμές των αρχικών εκφράσεων και τα αντίστοιχα αποτελέσματα της πράξης δηλαδή πίνακας αλήθειας.

Ασκηση 1.Δημιουργία άρνησης για εκφράσεις Boole. Προσδιορίστε το αποτέλεσμα της πράξης άρνησης.

Η γη περιστρέφεται γύρω από τον ήλιο.

Ο Πούσκιν είναι ένας λαμπρός Ρώσος ποιητής.

5Χ = 10.

Το 4 είναι πρώτος αριθμός.

Ή – Λογική προσθήκη (διάσπαση, ένωση)

Η λογική πράξη OR εκτελεί τη λειτουργία του συνδυασμού δύο δηλώσεων, οι οποίες μπορεί να είναι απλές και σύνθετες λογικές εκφράσεις.

Χρησιμοποιούνται ονομασίες: A ή B, A \/ B, A + B, Aή V.

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

Εργασία 2.Να συνθέσετε έναν διαχωρισμό από λογικές εκφράσεις.

Η Μαρίνα είναι μεγαλύτερη από τη Σβέτα. Η Olya είναι μεγαλύτερη από τη Sveta.

Υπάρχουν σχολικά βιβλία στο γραφείο. Υπάρχουν βιβλία αναφοράς στο γραφείο.

Μερικοί τουρίστες αγαπούν το τσάι. Άλλοι τουρίστες λατρεύουν το γάλα.

Ο μπλε κύβος είναι μικρότερος από τον κόκκινο. Ο μπλε κύβος είναι μικρότερος από τον πράσινο.

ΚΑΙ – Λογικός πολλαπλασιασμός (σύνδεση)

Η λογική πράξη AND εκτελεί τη συνάρτηση τομής δύο δηλώσεων, οι οποίες μπορεί να είναι είτε απλή είτε σύνθετη λογική έκφραση.

Χρησιμοποιούνται ονομασίες: A και B, A /\ B, A ∙ B, A&B, Aκαι V.

Το αποτέλεσμα της λειτουργίας AND είναι μια έκφραση που θα είναι αληθής εάν και οι δύο προτάσεις είναι αληθείς.

Εργασία 3.Κάντε ένα συνδυασμό από λογικές εκφράσεις.

Το μισό της τάξης σπουδάζει αγγλικά. Το δεύτερο μισό της τάξης σπουδάζει γερμανικά.

Ένα επίθημα είναι μέρος μιας λέξης. Το επίθημα έρχεται μετά τη ρίζα.

Δύο ευθείες σε ένα επίπεδο είναι παράλληλες. Δεν τέμνονται.

Η Πέτυα θα πάει στο χωριό. Η Πέτυα θα πάει για ψάρεμα.

Ενοποίηση.

Εργασία 4.Έστω A = «Αυτή η έναστρη νύχτα» και Β = «Αυτή η νύχτα είναι κρύα». Εκφράστε τους ακόλουθους τύπους στη συνηθισμένη γλώσσα:

ΕΝΑ ΚΑΙΣΕ;

ΕΝΑ ΚΑΙ ΔΕΝΣΕ;

ΔΕΝΕΝΑ ΚΑΙ ΔΕΝΣΕ;

ΔΕΝΕΝΑ ΉΣΕ;

ΕΝΑ ΚΑΙ ΔΕΝΣΕ;

ΔΕΝΕΝΑ ΚΑΙ ΔΕΝΣΕ;

Εργασία 5.Να συνθέσετε και να γράψετε αληθείς σύνθετες προτάσεις χρησιμοποιώντας λογικές πράξεις.

Δεν είναι αλήθεια ότι y > 5 και z

Οποιοσδήποτε από τους αριθμούς X, Y, Z είναι αρνητικός.

Όλοι οι αριθμοί X, Y, Z είναι ίσοι με 12.

Δεν είναι αλήθεια ότι όλοι οι αριθμοίΤα Χ, Υ, Ζ είναι θετικά.

Περίληψη μαθήματος.

Ερωτήσεις.

Τι είναι μια απλή Boolean έκφραση;

Τι είναι μια σύνθετη λογική έκφραση;

Ποιες βασικές λογικές πράξεις γνωρίζετε;

Τι είναι η άρνηση;

Τι είναι η λογική προσθήκη;

Τι είναι ο λογικός πολλαπλασιασμός;

Δώστε παραδείγματα σύνθετων λογικών εκφράσεων.

Εργασία για το σπίτι. Θέμα 23.2, σελ. 346 – 352,

Εργο. Δίνονται οι ακόλουθες προτάσεις: A = "p διαιρείται με το 5" και B = "p είναι περιττός αριθμός." Βρείτε το σύνολο τιμών του p για το οποίο το αποτέλεσμα α) λογικής πρόσθεσης και β) λογικού πολλαπλασιασμού θα είναι:

αληθής;

Διαφάνεια 1

Εκδήλωση: ανοιχτό μάθημα Θέμα: Πληροφορική και ΤΠΕ Δάσκαλος: Astafiev Sergey Valerievich Τάξη: 8a Τύπος μαθήματος: συνδυασμένος Μεθοδολογία: ανάπτυξη κριτικής σκέψης Ημερομηνία: 27 Νοεμβρίου 2014
Θέμα: «Λογικές πράξεις»

Διαφάνεια 2

Κωμικά προβλήματα
Κάθεσαι σε ένα ελικόπτερο, μπροστά σου είναι ένα άλογο, πίσω σου μια καμήλα. Που είσαι? Κάτω από ποιο θάμνο κάθεται ο λαγός κατά τη διάρκεια της βροχής; Μπήκες σε ένα σκοτεινό δωμάτιο. Διαθέτει γκάζι και λάμπα βενζίνης. Τι θα ανάψεις πρώτα; Συνήθως ο μήνας τελειώνει στις 30 ή 31. Ποιος μήνας έχει την 28η; Είστε ο πιλότος ενός αεροπλάνου που πετά από την Αβάνα στη Μόσχα με δύο μεταφορές στην Αλγερία. Πόσο χρονών είναι ο πιλότος;

Διαφάνεια 3

Ο τριπλός στόχος του μαθήματος:
Γνωστική πτυχή. επαναλάβετε τις έννοιες: λογική μεταβλητή, λογικές πράξεις, ανάπτυξη δεξιοτήτων στη χρήση λογικών πράξεων. μάθετε νέες λογικές πράξεις Αναπτυξιακή πτυχή. ανάπτυξη λογικής σκέψης στους μαθητές και γνωστικό ενδιαφέρον για το θέμα. Εκπαιδευτική πτυχή. σχηματισμός σταθερής προσοχής στους μαθητές. ικανότητα εργασίας σε ομάδες· σεβασμός για τις απόψεις των άλλων·

Διαφάνεια 4

Πλάνο μαθήματος:

Όχι. Χρόνος σταδίων
1 Οργανωτική στιγμή (έλεγχος παρουσίας, d/z) 3
2 Δοκιμές σε μορφές σκέψης 6
3 Έλεγχος τεστ (πλήρες όνομα, 2 άτομα), συλλογή εργασιών για το σπίτι (1 άτομο) 4
4 Εξάσκηση σύνθετων δηλώσεων στον πίνακα (1 άτομο), ομαδική εργασία 2 ατόμων 4
5 Φυσική αγωγή 3
6 Φάση κατανόησης του περιεχομένου. Επίπτωση, ισοδυναμία 10
7 Ενισχυτικό υλικό, επίλυση προβλημάτων 10
8 Αναστοχασμός, συγχρονισμός, βαθμολόγηση, εργασία – 5
Σύνολο: 45

Διαφάνεια 5

Εργασία για το σπίτι
Α – «Το γράμμα Α είναι φωνήεν» Β – «Η τίγρη είναι φυτοφάγο ζώο».
Να σχηματίσετε όλες τις πιθανές σύνθετες προτάσεις από αυτές
A&B - false AvB - true A&¬B - true ¬AvB - false ¬Av¬B - true ¬A&¬B - false Av¬B - true ¬A&B - false

Διαφάνεια 6

Λεπτό φυσικής αγωγής
Η λογική είναι η επιστήμη των μορφών και των νόμων της ανθρώπινης σκέψης. Μια δηλωτική πρόταση στην οποία κάτι επιβεβαιώνεται ή απορρίπτεται ονομάζεται δήλωση. Η δήλωση «Είναι αδύνατο να δημιουργηθεί μια μηχανή διαρκούς κίνησης» είναι αληθής. "Το ηλεκτρόνιο είναι ένα στοιχειώδες σωματίδιο" - μια δήλωση. Μια πρόταση ονομάζεται σύνθετη αν έχει κατασκευαστεί από απλές προτάσεις.

Διαφάνεια 7

Θέμα: «Λογικές πράξεις»
Ισοδυναμία επίπτωσης

Διαφάνεια 8

Λογική πράξη IMPLICATION (λογική συνέπεια)
στη φυσική γλώσσα αντιστοιχεί στο συνδετικό αν..., τότε...; στην προτασιακή άλγεβρα ο συμβολισμός είναι → (A → B). Η συνεπαγωγή είναι μια λογική πράξη που θα είναι ψευδής εάν και μόνο εάν true υποδηλώνει ψευδές.

Διαφάνεια 9

Πίνακας αλήθειας
Α Β Α→Β
0 0 1
0 1 1
1 0 0
1 1 1

Διαφάνεια 10

Λογική πράξη ΙΣΟΔΥΝΑΜΙΑ (λογική ισότητα).
στη φυσική γλώσσα αντιστοιχεί στο copula αν και μόνο αν...? στην προτασιακή άλγεβρα ο συμβολισμός είναι ↔ (A ↔ B). Η ισοδυναμία είναι μια λογική πράξη της οποίας η τιμή είναι αληθής όταν και οι δύο προτάσεις είναι αληθείς ή και οι δύο είναι ψευδείς.

Διαφάνεια 11

Πίνακας αλήθειας
Α Β Α↔Β
0 0 1
0 1 0
1 0 0
1 1 1

Διαφάνεια 12

Διάγραμμα Euler-Wen
ΕΝΑ
ΣΕ

Διαφάνεια 13

Προτεραιότητα λογικών πράξεων
Αντιστροφή Σύνδεσμος Διάσπαση Συνέπεια και ισοδυναμία

Διαφάνεια 14

Να γράψετε τις παρακάτω προτάσεις ως λογικές εκφράσεις.
Ο αριθμός 17 είναι μονός και διψήφιος. Δεν είναι αλήθεια ότι η αγελάδα είναι σαρκοφάγο ζώο. Σε ένα μάθημα φυσικής, οι μαθητές διεξάγουν πειράματα ή λύνουν προβλήματα. Αν ο καιρός είναι ηλιόλουστος, η Κάτια θα πάει μια βόλτα. Όταν η Κάτια έχει μάθει τα μαθήματά της, θα πάει μια βόλτα.
A&B ¬A AVB A→B A↔B

Διαφάνεια 15

Λύστε το πρόβλημα: Η Νατάσα φορούσε ένα κόκκινο φόρεμα για τον χορό, η Τάνια δεν ήταν σε μαύρο, ούτε μπλε, ούτε σε γαλάζιο. Η Oksana έχει δύο φορέματα: μαύρο και μπλε. Η Nadya έχει ένα λευκό φόρεμα και ένα μπλε. Η Όλγα έχει φορέματα όλων των χρωμάτων. Προσδιορίστε τι χρώμα φορέματα φορούσαν τα κορίτσια αν φορούσαν όλα φορέματα διαφορετικών χρωμάτων το βράδυ.
Κόκκινο Μαύρο Μπλε Μπλε Λευκό
Νατάσα
Τάνια
Οξάνα
Η Νάντια
Όλγα
Νατάσα
Τάνια
Όλγα
Η Νάντια
Οξάνα
Η απάντηση είναι εδώ!

Διαφάνεια 16

Πρακτική δουλειά
Συμπληρώστε τον πίνακα αλήθειας στο MS EXCEL Εάν ο Ivanov είναι υγιής και πλούσιος, τότε είναι υγιής. Ο A-Ivanov είναι υγιής B-Ivanov είναι πλούσιος (A&B) →A