最終更新日：2025/11/27

Dictionary quizzes to help you remember vocabulary

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

conditional proof

編集履歴（0）

元となった辞書の項目

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.

Google翻訳 / DeepL翻訳

証明の過程で、その数学者は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.

Google翻訳 / DeepL翻訳

詳細

conditional proofs

（ plural ）

詳細

conditional proof

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

アプリをダウンロード！

conditional proof

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！