demostraatio

Demostraatio is a term used in discussions of logic and the philosophy of mathematics to designate a formal mode of demonstration that foregrounds explicit justification for each step. In this sense, a demostraatio differs from more informal proof by requiring a clearly articulated rationale for every inference and a traceable chain from premises to conclusion.

Typically, a demostraatio takes the form of a finite sequence of statements. Each line is either an axiom, a previously established result, or a justified inference from earlier lines, and the final line asserts the proposition to be demonstrated. In formal contexts, the procedure aligns with standard deduction, natural deduction, or other deductive calculi, with rules of inference made explicit.

Within mathematical education, demostraatio is used as a pedagogy to cultivate rigorous reasoning by requiring students to spell out justifications. In computer science and formal verification, the idea parallels the practice of constructing machine-checkable proofs and certifying each step of a theorem's validity.

Etymologically, the term derives from Latin demonstratio, with the -atio suffix forming a generic 'process' or 'method.' The concept has appeared in scholarly discussions as a way to distinguish crisp, verifiable demonstrations from more heuristic explanations, while remaining compatible with conventional notions of proof.

See also: proof, demonstration, formal proof, formal verification, logical deduction.