logical proof
「 logical proof」の意味 意味
- 名 証明、検証
「 logical proof」の例文 例文
The computer program generated a logical proof for the automated theorem.
そのコンピュータプログラムは自動定理のための証明を生成した。
「 logical proof」のコアイメージ コアイメージ
形式化された規則に従って構成された証明で、自動定理証明との相性が良い証明
「 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は形式証明とほぼ同義で扱われることが多く、人間の直感的な説明と区別される。
おすすめの単語帳
1 / 1
