論理学の話

型の話については型安全性を参照

論証が以下の属性を持つ

その論証は妥当である

その前提の全てが真である

自然演繹が健全であるとは

妥当な論理式のみを証明すること

妥当だが、健全でない場合がある

「前提から結論が導かれる」が「前提がそもそも偽」

整合的な集合を妥当だと判定すること

もしくは、妥当でない論証を決して妥当だと判定しない

偽陽性, 偽陰性, 陽性, 陰性みたいな話

参考

型以外の具体例あり