Μια δήλωση είναι μια φράση που δηλώνει κάτι και ότι μπορεί να ελεγχθεί είτε ως αληθής ή ψευδής . Ποινή θραύσματα , ερωτήσεις και οι εντολές δεν είναι δηλώσεις λογική , διότι δεν είναι δηλωτική , πλήρεις προτάσεις .
Για παράδειγμα , " Τα κλειδιά του αυτοκινήτου είναι στο συρτάρι " είναι μια δήλωση η λογική γιατί είναι μια πλήρης πρόταση και δηλώνει κάτι που μπορεί να επαληθευθεί ως αληθείς ή ψευδείς . Μπορείτε να ελέγξετε για να δείτε αν κάτι είναι μια δήλωση η λογική με την προσθήκη « Είναι αλήθεια ότι ... " στην αρχή της πρότασης . Αν εξακολουθεί να κάνει αίσθηση με το « Είναι αλήθεια ότι ... " μπροστά από αυτό , είναι μια δήλωση λογική
εικόνων υπό όρους δήλωση
Η
Μια υπό όρους δήλωση της λογικής είναι ένα δήλωση που έκανε πάνω από δύο προϋποθέσεις , όπου μία κατάσταση εξαρτάται από την άλλη . Για το σύνολο της υπό όρους δήλωση είναι αληθινή , η εξαρτημένη κατάσταση πρέπει να ισχύει και όταν η άλλη είναι αλήθεια Για παράδειγμα , σκεφτείτε το εξής όρους δήλωση: " Αν έχω μελετήσει , τότε θα πάρει ένα καλό βαθμό . " Αν έχετε μελετήσει και να πάρει ένα καλό βαθμό , τότε η υπό όρους δήλωση είναι αληθινή ? Ωστόσο , εάν θέλετε να σπουδάσετε και να μην πάρει καλό βαθμό , τότε η υπό όρους δήλωση είναι ψευδής . εικόνων
Χρήση των καταστάσεων Logic
Δηλώσεις στην λογική χρησιμοποιούνται για να εξαχθούν έγκυρα συμπεράσματα . Ένα συμπέρασμα ισχύει αν όλα τα κτίρια που οδηγούν σε αυτό το συμπέρασμα είναι αλήθεια . Για παράδειγμα , εξετάστε τις ακόλουθες δηλώσεις :
" . Αν έχω μελετήσει , θα λάβετε ένα καλό βαθμό "
" . Σπούδασα "
Αν υποθέσουμε ότι η μελέτη των εγγυήσεων ένα καλό βαθμό , κάνοντας την πρώτη προϋπόθεση αλήθεια , και ότι κάνατε τη μελέτη , κάνοντας τη δεύτερη παραδοχή είναι αλήθεια, τότε μπορούμε να συμπεράνουμε ότι έχετε λάβει ένα καλό βαθμό .
εικόνων Άλλα θέματα
Η
οι μεταβλητές που χρησιμοποιούνται συχνά για να δείτε εύκολα τη σχέση μεταξύ των δύο καταστάσεων λογική , χωρίς να χρειάζεται να ξαναγράψουμε το σύνολο της δήλωσης κάθε φορά που θέλετε να μιλήσουμε για τη σχέση μεταξύ των δύο . Για να το κάνετε αυτό , θα πρέπει να ορίσετε μεταβλητές για κάθε μία από τις καταστάσεις. Από το παράδειγμα στο τμήμα 3 , οι δύο δηλώσεις που γίνονται είναι : «Σπουδάζω » και « θα λάβουν ένα καλό βαθμό . " Ας P ίση " Έχω μελετήσει " και Q ίσο " Θα λάβετε ένα καλό βαθμό " :
Αν P , τότε Q
P , ως εκ τούτου , Q.
Η
Η