Λογική συνέπεια
From Wikipedia, the free encyclopedia
Ως λογική συνέπεια ορίζεται η σχέση που ισχύει μεταξύ ενός συνόλου προτάσεων ή αιτημάτων και μίας πρότασης, ώστε η τελευταία να προκύπτει από το πρώτο. Η λογική συνέπεια είναι ίσως η πλέον θεμελιώδης έννοια στην Λογική. Για παράδειγμα, η πρόταση «Ο Κέρμιτ είναι πράσινος» αποτελεί λογική συνέπεια του συνδυασμού «όλοι οι βάτραχοι είναι πράσινοι» και «ο Κέρμιτ είναι βάτραχος».
Αυτό το λήμμα χρειάζεται μορφοποίηση ώστε να ανταποκρίνεται στις προδιαγραφές μορφοποίησης της Βικιπαίδειας. |
Το λήμμα παραθέτει τις πηγές του αόριστα, χωρίς παραπομπές. |
Αυτό το λήμμα χρειάζεται μετάφραση.
Αν θέλετε να συμμετάσχετε, μπορείτε να επεξεργαστείτε το λήμμα μεταφράζοντάς το ή προσθέτοντας δικό σας υλικό και να αφαιρέσετε το {{μετάφραση}} μόλις το ολοκληρώσετε. Είναι πιθανό (και επιθυμητό) το ξενόγλωσσο κείμενο να έχει κρυφτεί σαν σχόλιο με τα <!-- και -->. Πατήστε "επεξεργασία" για να δείτε ολόκληρο το κείμενο. |
Η βεβαιότητα της ως άνω συνέπειας εξαρτάται άμεσα από το εάν τα αιτήματα που προηγούνται είναι πλήρη και αληθή. Η συνέπεια θα ήταν ΜΗ αληθής, εάν όλοι η βάτραχοι ήταν ΜΗ πράσινοι. Οι συμπερασμοί του παραγωγικού λογισμού αποτελούν καίρια διάσταση της επιστημολογίας, ειδικότερα σε ό,τι αφορά την κοινοποίηση υποθέσεων σχετικά με την αιτιότητα των παραγόντων κινδύνου.
Λογικές συνέπειες οι οποίες είναι τυπικά προδιαγεγραμμένες ονομάζονται θεωρητικά μοντέλα ή αποδεικτικά μοντέλα.
Οι λογικές συνέπειες μπορούν επίσης να εκφραστούν ως συναρτήσεις συνόλων προτάσεων προς σύνολα προτάσεων ή ως σχέσεις μεταξύ δύο συνόλων προτάσεων.