A course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning
A series of propositions organized so that the final proposition is a conclusion which is intended to follow logically from the preceding propositions, which function as premises.