conditional proof

Noun

(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.

Japanese Meaning

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

What is this buttons?

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.

Google Translation / DeepL Translation

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

Details

Sense（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.

Google Translation / DeepL Translation

Details

conditional proofs

（ plural ）

Details

conditional proof

Dictionary quizzes to help you remember the meaning

Login / Sign up

Download the app!

conditional proof

Dictionary quizzes to help you remember the meaning

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!