Αν τούτο έχει έτσι, και είναι η απόδειξη ένα είδος διδασκαλίας και μαθήσεως, τότε και η απόδειξη εκ προϋπαρχούσης λαμβάνεται γνώσεως, δηλαδή από κοινές…
Είναι λοιπόν ο συλλογισμός ένας λόγος (συνειρμός) στον οποίο, αν τεθούν κάποια πράγματα, κάτι το διαφορετικό από τα προτιθέμενα αναγκαστικά προκύπτει από αυτά.