logical_proof

複数:

logical_prooves

意味・定義

2つの辞書から2件の定義

日本語WordNet

1件

名詞

1論証

proof of a logical theorem

ライセンス: BSD-style License

AIによる解説

1件

1論証。前提から結論を論理的規則に従って導出する過程。数学では公理と定理から新しい命題を証明する。形式的証明と非形式的証明があり、前者は記号論理学で厳密に構成される。

A rigorous demonstration that a conclusion follows from premises according to rules of logic. In mathematics, proofs derive new propositions from axioms and theorems. Formal proofs use symbolic logic; informal proofs use natural language with logical structure.

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

A logical proof must be valid and have true premises to be sound.

論証が健全であるためには、妥当でかつ前提が真でなければならない。

The mathematician presented a logical proof of the theorem.

数学者はその定理の論証を提示した。