English Dictionary

conditional proof

名詞

(logic) A proof showing that if an assumption A is true then a consequent statement or conclusion B must also be true, i.e. B is true on the condition that A is true.

日本語の意味

条件付き証明（仮定が成り立つという前提の下で、ある結論も必ず成立することを示す論証方法） / 仮定を前提とした証明（もしある仮定が真であれば、その条件に依拠して結論も真であることを論理的に示す手法）

During the proof, the mathematician used a conditional proof, assuming A and then deriving B to show that if A is true then B must also be true.

証明の過程で、その数学者はAが真であると仮定してBが導かれることを示す条件付き証明を用いた。

意味（1）

(logic) A proof showing that if an assumption A is true then a consequent statement or conclusion B must also be true, i.e. B is true on the condition that A is true.

A conditional proof corresponds to the application of what Douglas Hofstadter calls the Fantasy Rule in his masterwork GEB:EGB. Surprisingly, the theory of propositional calculus which he develops in GEB:EGB employs several inference rules but no axioms: the need for any axioms is done away with through application of the Fantasy Rule.

conditional proofs （ plural ）