Βασική προϋπόθεση: Όλοι οι άνθρωποι είναι θνητοί.
Μικρή προϋπόθεση: όλοι οι Έλληνες είναι άνδρες.
Συμπέρασμα: Όλοι οι Έλληνες είναι θνητοί.
Κάθε ένας από τους τρεις διαφορετικούς όρους αντιπροσωπεύει μια κατηγορία. Στο παραπάνω παράδειγμα, "άνθρωποι", "θνητοί" και "Έλληνες". Ο "θνητός" είναι ο κύριος όρος- οι "Έλληνες", ο δευτερεύων όρος. Οι προϋποθέσεις έχουν επίσης έναν κοινό όρο μεταξύ τους, ο οποίος είναι γνωστός ως ο μεσαίος όρος- σε αυτό το παράδειγμα, "άνθρωπος". Και οι δύο προκείμενες είναι καθολικές, όπως και το συμπέρασμα.
Βασική προϋπόθεση: Όλοι οι θνητοί πεθαίνουν.
Δευτερεύουσα προϋπόθεση: Μερικοί άνδρες είναι θνητοί.
Συμπέρασμα: Μερικοί άνθρωποι πεθαίνουν.
Εδώ, ο κύριος όρος είναι "πεθαίνουν", ο δευτερεύων όρος είναι "άνθρωποι" και ο μεσαίος όρος είναι "θνητοί". Ο μείζων όρος είναι καθολικός- ο δευτερεύων όρος και το συμπέρασμα είναι συγκεκριμένα. Ο Αριστοτέλης μελέτησε διάφορους συλλογισμούς και προσδιόρισε τους έγκυρους συλλογισμούς ως συλλογισμούς με συμπέρασμα αληθές αν και οι δύο προκείμενες είναι αληθείς. Τα παραπάνω παραδείγματα είναι έγκυροι συλλογισμοί.
Ο σορίτης είναι μια μορφή επιχειρηματολογίας στην οποία μια σειρά ατελών συλλογισμών είναι έτσι διατεταγμένη ώστε το κατηγόρημα κάθε προκείμενου να αποτελεί το υποκείμενο του επόμενου, μέχρις ότου το υποκείμενο του πρώτου ενωθεί με το κατηγόρημα του τελευταίου στο συμπέρασμα. Για παράδειγμα, αν κάποιος ισχυριστεί ότι ένας δεδομένος αριθμός κόκκων άμμου δεν κάνει σωρό και ότι ούτε ένας επιπλέον κόκκος κάνει σωρό, τότε το συμπέρασμα ότι καμία επιπλέον ποσότητα άμμου δεν θα κάνει σωρό είναι η κατασκευή ενός επιχειρήματος sorites.
