「logical proof」の複数形
| 複数形 | logical proofs |
|---|
「logical proof」のレベル別の例文
「 logical proof」のコアイメージ コアイメージ
形式化された規則に従って構成された証明で、自動定理証明との相性が良い証明
「logical proof」のよく使う型
a logical proof that S + VSがVすることの論理的な証明
construct a logical proof論理的な証明を組み立てる
The researchers constructed a logical proof step by step.
「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は形式証明とほぼ同義で扱われることが多く、人間の直感的な説明と区別される。