EnglishBattle

direct proofのWordNet

  • 1名詞

    意味

    a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually axioms, existing lemmas and theorems, without making any further assumptions.

    さらなる仮定を置くことなく、既知の事実（通常は公理、既存の補題、定理）の直接的な組み合わせによって、与えられた言明の真偽を示す方法

    例文

    • A proof by contraposition of the implication p ⇒ q is a direct proof of ¬q ⇒ ¬p (the contrapositive of p ⇒ q).

      含意 p ⇒ q の対偶による証明は、¬q ⇒ ¬p（p ⇒ q の対偶）の直接証明である

    上位語