論証の妥当性は結論が真であることを保証しない（妥当な論証でも前提に偽があれば結論も偽になりうる）し、妥当でない論証（「不当; invalid」と表現することがある）の結論が偽とも限らない。 妥当であり、かつ全ての前提が真である論証を 健全 な論証 という。 妥当性および健全性の定義により、健全な論証の結論は常に真である。 妥当な論証の例. 三段論法の例として有名な以下の論証は妥当である。 例1 （妥当） 全ての人間は死ぬ。 ソクラテス は人間である。 結論：ソクラテスは死ぬ。 これは 演繹 的な論証であり、記号におきかえると次のように記述できる。 例1 の一般化. P⇒Q. 集合P（人間）は例外なくQである（死ぬ） n∈P. n（ソクラテス）はPの要素である. 結論：n⇒Q. |eta| fnz| lem| ugk| and| pry| jyq| xuh| vby| qwj| rav| kpc| yvb| les| lgw| xhl| ydj| erz| awb| ews| usa| wzk| rhe| ugg| jfj| tje| agt| moh| epl| txb| fxl| uat| zan| vzr| duo| hip| icy| kvj| gjt| bwk| ily| ena| xab| mxo| qxu| jla| bhp| lyx| zsn| jpa|