#reasoning #deduction #aristotle #classical logic #premise #conclusion