conditional introduction — An Etymological Dictionary of Astronomy and Astrophysics

conditional introduction

اندرهازش ِ بوتاری

andarhâzeš-e butâri

Fr.: introduction conditionnelle

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.

An Etymological Dictionary of Astronomy and Astrophysics

English-French-Persian

فرهنگ ریشه‌شناختی اخترشناسی-اخترفیزیک