A chain of logical deductions that leads to a proposition form an original (base) set of axioms.

Formal Proofs (of propositions)

an inferential argument for a mathematical statement that uses assumptions to logically show the conclusion is valid

University of Michigan - Ann Arbor

Basic concepts in Discrete math

Wikipedia

A declarative statement that is either true or false

Propositions (mathematics)

Proofs (mathematics)

A declarative statement with some terms left unspecified. A predicate can become a proposition when the terms are specified. These terms are referred to as objects.

Learn Before

Related

Learn After