Στη λογική και τη φιλοσοφία, οι κανόνες εξαγωγής συμπερασμάτων αναφέρονται σε μια σειρά κανόνων που χρησιμοποιούνται για τον καθορισμό των παραμέτρων για την αλήθεια στο πλαίσιο μιας δεδομένης κατάστασης. Χρησιμοποιούνται συνήθως σε πολλά πεδία λογικής και μαθηματικών και ορίζουν λογικές μορφές ή μορφές επιχειρημάτων. Κάθε κανόνας συμπερασμάτων είναι ουσιαστικά ένας διαφορετικός τύπος για τον προσδιορισμό της αλήθειας ενός επιχειρήματος στο δεδομένο πλαίσιο. Ένας κανόνας συμπερασμάτων μπορεί επίσης να ονομαστεί κανόνας συμπερασμάτων.
Οι κανόνες εξαγωγής συμπερασμάτων εμφανίζονται σε πάρα πολλά πεδία σκέψης, συμπεριλαμβανομένων των πεδίων λογικής και μαθηματικών όπως η συμβολική λογική, η κλασική λογική και ο λογισμός. Συνήθως αποτελούν κατευθυντήριες γραμμές για την επεξεργασία πληροφοριών σε αυτό το πεδίο. Για τους περισσότερους ανθρώπους, το πιο γνωστό σύνολο κανόνων εξαγωγής συμπερασμάτων προέρχεται από την προτασιακή λογική.
Αυτοί οι κανόνες χρησιμοποιούνται σε μια μέθοδο αξιολόγησης που ονομάζεται φυσική έκπτωση. Εννέα βασικοί κανόνες καθοδηγούν την απόδειξη των δηλώσεων υπό φυσική έκπτωση. Αυτοί οι κανόνες συμπερασμάτων εκφράζονται συχνά χρησιμοποιώντας σύμβολα και μεταβλητές που αντιπροσωπεύουν τις δηλωμένες συνθήκες. Οι πρώτοι κανόνες της ομάδας είναι οι πιο ευρέως χρησιμοποιούμενοι. Το Modus ponens είναι ένα επιχείρημα αν-τότε που δηλώνει ότι εφόσον η ύπαρξη ενός πράγματος, γνωστό ως πράγμα Ο, σημαίνει ότι υπάρχει και ένα άλλο πράγμα, γνωστό ως πράγμα Α, η ύπαρξη του αρχικού πράγματος σημαίνει ότι το τελευταίο πράγμα λογικά υπάρχει.
Ο δεύτερος κανόνας συμπερασμάτων είναι το Modus tollens, γνωστό και ως άρνηση της συνέπειας. Η εισαγωγή του συνδέσμου είναι ένα συμπέρασμα που δηλώνει ότι εάν το R είναι αληθές και το I είναι επίσης αληθές, τότε τα R και A είναι αληθή. Το συμπέρασμα της απλοποίησης είναι ουσιαστικά το αντίθετο. δηλώνει ότι εάν τα Α και R είναι αληθή, τότε το Α είναι αληθές και το R είναι αληθές. Άλλοι κανόνες εξαγωγής συμπερασμάτων στη λογική περιλαμβάνουν την εισαγωγή και την εξάλειψη του διαχωρισμού, και τον διαχωριστικό και υποθετικό συλλογισμό, καθώς και την εισαγωγή και την εξάλειψη με δύο προϋποθέσεις, και το εποικοδομητικό και καταστροφικό δίλημμα.
Κατά την αξιολόγηση ενός επιχειρήματος χρησιμοποιώντας έναν κανόνα εξαγωγής συμπερασμάτων, το άτομο που αξιολογεί το επιχείρημα λειτουργεί βάσει της αρχής ότι οι υποθέσεις που υποστηρίζονται είναι αληθείς. Ο κανόνας της εξαγωγής συμπερασμάτων είναι μια μέθοδος από πολλές που χρησιμοποιούνται για την επεξεργασία των πληροφοριών σε μια σειρά δηλώσεων για να καταλάβουμε εάν οι πληροφορίες μπορεί να είναι αληθείς. Η εκμάθηση αυτής της μεθόδου επαλήθευσης ενός επιχειρήματος είναι χρήσιμη σε τεστ που εστιάζουν στη διόρθωση επιχειρημάτων, όπως τα τεστ που απαιτούνται για την είσοδο σε πολλά προγράμματα προχωρημένων πτυχίων, ειδικά στις νομικές σχολές. Μια εναλλακτική μέθοδος για την αξιολόγηση της εγκυρότητας των επιχειρημάτων είναι ο πίνακας αλήθειας.