logical proof

「logical proof」の発音・読み方

カタカナ読み(目安)ロジカル プルーフ

「logical proof」の意味

「logical proof」の例文

The computer program generated a logical proof for the automated theorem.

そのコンピュータプログラムは自動定理のための証明を生成した。

「logical proof」の複数形

複数形logical proofs

「logical proof」のレベル別の例文

「 logical proof」のコアイメージ コアイメージ

形式化された規則に従って構成された証明で、自動定理証明との相性が良い証明

「logical proof」のよく使う型

「logical proof」とよく一緒に使う語

「logical proof」のよくある間違い

  • ✕ logical prove

    ○ logical proof

    proofは名詞で、proveは動詞です。

「 logical proof」の英英 英英

A formal demonstration that establishes the truth of a statement by applying explicit rules of logic or a formal system, often used in automated theorem proving.

「 logical proof」の語源 語源

logical proofは、logical(論理の)とproof(証明)という語の結合で、特に形式化された手続きで成立する証明を指す語として用いられる経緯がある。

「 logical proof」のコラム コラム

  • プログラムが出力するような場合、logical proofは形式証明とほぼ同義で扱われることが多く、人間の直感的な説明と区別される。

「logical proof」のよくある質問

Q. logical proofの複数形は?
複数形はlogical proofsです。proofに複数形のsを付けます。
Q. logical proofはどんな分野で使う?
数学、論理学、コンピューター科学などで、ある主張が正しいことを論理的に示す証明を指します。
Q. logical proofとlogical proveはどう違う?
logical proofは「論理的な証明」という名詞句です。proveは「証明する」という動詞なので、logical proveという名詞句にはしません。