ορισμός των συμπερασμάτων
Σε γενικούς όρους θα ειπωθεί ότι το συμπέρασμα είναι η αφαίρεση ενός πράγματος από το άλλο.
Η εξαγωγή είναι καθαρά και αποκλειστικά α προϊόν του νου μας, επειδή είναι αξιολόγηση που πραγματοποιείται από αυτό μεταξύ των εκφράσεων μιας δεδομένης γλώσσας, οι οποίες κάποτε αλληλοσυνδέονταν με πνευματικό τρόπο θα επιτρέψουν να φτάσουμε σε μια λογική ιδέα. Με αυτόν τον τρόπο, ξεκινώντας από την αλήθεια ή το ψέμα που προτείνουν ορισμένες εκφράσεις, μπορούμε να συμπεράνουμε την αλήθεια ή το ψέμα μερικών άλλων.
Εν τω μεταξύ, ένα αξίωμα θα προκύψει από την προαναφερθείσα διαδικασία.
Στην παραδοσιακή λογική, γνωστή ως Αριστοτέλης, γιατί διατυπώθηκε για πρώτη φορά από τον γνωστό Έλληνα φιλόσοφο Αριστοτέλης, η μορφή συμπερασμάτων που ακολουθεί είναι αυτή του συλλογισμός. Αυτός είναι ένας τύπος συλλογικής συλλογιστικής που αποτελείται από δύο προτάσεις ως υποθέσεις και μια άλλη ως συμπέρασμα, η τελευταία προχωρεί ήδη ως συμπέρασμα, από τις άλλες δύο.
Μπορούμε να βρούμε τρεις τύπους συμπερασμάτων. ο αφαίρεση, το αφαιρετικό επιχείρημα είναι ένας τύπος που καθορίζει τη συνύπαρξη των χώρων και το συμπέρασμα, διασφαλίζοντας ότι οι τελευταίες θα εκπροσωπούνται στις εγκαταστάσεις, για παράδειγμα: όλα τα μπαλόνια σε αυτήν την τσάντα είναι κόκκινα, αυτά τα μπαλόνια ανήκουν σε αυτήν την τσάντα, επομένως αυτά τα μπαλόνια είναι κόκκινα; ο επαγωγή, το επαγωγικό επιχείρημα αναγνωρίζει την πιθανή συνύπαρξη των χώρων και το συμπέρασμα, που εγγυάται ότι το τελευταίο πιθανώς αντανακλάται στις εγκαταστάσεις, για παράδειγμα: τα μπαλόνια είναι από αυτήν την τσάντα, τα μπαλόνια είναι κόκκινα, έτσι όλα τα μπαλόνια σε αυτήν την τσάντα είναι κόκκινα; και το απαγωγή, το επιχείρημα απαγωγικού τύπου προτείνει την πιθανή συνύπαρξη μεταξύ των εγκαταστάσεων και του συμπεράσματος, διασφαλίζοντας ότι η τελευταία αντιπροσωπεύεται δυνητικά στις προαναφερθείσες εγκαταστάσεις, για παράδειγμα: όλα τα μπαλόνια σε αυτήν την τσάντα είναι κόκκινα, αυτά τα μπαλόνια είναι κόκκινα, έτσι αυτά τα μπαλόνια αντιστοιχούν σε αυτήν την τσάντα.