>> ZG·言語学習 >  >> 理論言語学 >> セマンティクス

演ductive的な推論によって証明された声明に与えられた名前は何ですか?

演ductiveな推論によって証明された声明は、定理と呼ばれます 。

その理由は次のとおりです。

* 演ductive推論 一般原則から始まり、それらを特定のケースに適用して結論に達します。

* a 定理 は、演ductiveな推論を使用して証明されているため、真実であると見なされる声明です。

定理とその証拠の例を見たい場合はお知らせください!

著作権 © ZG·言語学習(www.zongjiefanwen.com) 無断複写・転載を禁じます。