妥当性

ある論証が、前提が全て真であれば結論も必ず真となるような形になっている時、その論証を妥当(だとう、英: Validity）であるという。より厳密に表現すると、『全ての前提が真である』ことと『結論が偽である』ことが決して両立しない論証を妥当であるという。 論証が妥当であるか否かはその形によってのみ決まり、個々の文の真理値は問わない。論証の妥当性は結論が真であることを保証しない（妥当な論証でも前提に偽があれば結論も偽になりうる）し、妥当でない論証（「不当; invalid」と表現することがある）の結論が偽とも限らない。 妥当であり、かつ全ての前提が真である論証を健全な論証という。妥当性および健全性の定義により、健全な論証の結論は常に真である。