conditional proof âvin-e butâri Fr.: preuve conditionnelle A → proof in which one assumes the → truth of one of the → premises to show that if that premise is true then the → argument is → valid. → conditional; → proof. |
existence proof âvin-e hastumandi, ~ hasti Fr.: preuve d'existence Math.: An → argument that establishes an → existence theorem. |
proof âvin Fr.: preuve 1) A particular piece of evidence that is sufficient to show or helps to establish
a fact. M.E. prove, prooff, prof, proufe, O.Fr. prueve, from L.L. proba "a proof," a back-formation from L. probare "to prove," from probus "worthy, good, upright," from PIE *pro-bhwo- "being in front," from → pro- + *bhu- "to be;" cf. Pers. budan "to be," → condition. Ãvin, on the model of Ger. Beweis "proof," from weisen "to show, point out;" O.E. witan "to see." Ã¢vin "to show, see," from intensive prefix â- + vin "to see" (as in a large number of dialects), variant bin, present stem of didan "to see;" Mid.Pers. wyn-; O.Pers. vain- "to see;" Av. vaēn- "to see;" cf. Skt. veda "I know;" Gk. oida "I know," idein "to see;" L. videre "to see;" Ger. weisen "to show," as above; PIE base *weid- "to know, to see." |
subproof zirâvin Fr.: sous preuve A proof that occurs within the context of a larger proof |