A course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning.