妥当

前提から結論が導かれる

前提が真なら、結論は真になる

前提が偽なら、結論は真になることも、偽になることもある

結論の真偽はさておき、推論の仕方が正しいことを「妥当」と言う

形式だけを見て、中身は吟味しない

帰納的な妥当

演繹的な妥当