妥当性

ある論証が、前提が全て真であれば結論も必ず真となるような形になっている時、その論証を妥当（だとう、英: validity）であるという。より厳密に表現すると、『全ての前提が真である』ことと『結論が偽である』ことが決して両立しない論証を妥当であるという。