An Etymological Dictionary of Astronomy and Astrophysics

A derivation rule that begins with an → assumption in a → subproof and allows for deriving a conditional outside the subproof. The derived conditional consists of the assumed proposition as the → antecedent and the derived conclusion in the subproof as the → consequent.

See also: → conditional; → introduction.