翻訳と辞書 Words near each other ・ 健児の制 ・ 健児制 ・ 健全 ・ 健全 安全 好青年 ・ 健全なる精神は健全なる身体に宿る ・ 健全なネットワークビジネスを育てる議員連盟 ・ 健全なマクロ ・ 健全な法治国家のために声をあげる市民の会 ・ 健全ロボ ダイミダラー ・ 健全ロボ ダイミダラー (曲) ・ 健全性 ・ 健全性検査 ・ 健全歯 ・ 健全醗酵 ・ 健全食品 ・ 健勝 ・ 健友館 ・ 健友館整体師養成所 ・ 健司ステファン鈴木 ・ 健否 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 健全性 ： ウィキペディア日本語版 健全性[けんぜんせい] 健全性（けんぜんせい、）は、論証が次の属性を持つことと同値である。 # その論証は妥当である。 # その前提の全てが真である。 論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、$X\_1,\backslash ldots,X\_n\; \backslash vdash\; Y$ が $X\_1,\backslash ldots,X\_n\; \backslash models\; Y$ を含意することをいう。 == 健全な論証 == 次のような健全な論証があるとする（三段論法）。 : 全ての人間は死ぬ。 : ソクラテスは人間である。 : 従って、ソクラテスは死ぬ。 この論証は妥当であり（前提から結論が導かれ、前提を真とすれば結論が真であるため）、前提が真なので、論証全体としては健全である。 以下の論証は妥当だが、健全ではない。 : 全ての動物は飛ぶことができる。 : 豚は動物である。 : 従って、豚は飛ぶことができる。 大前提は実際には偽であるため、この論証は妥当だが健全ではない。 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.