健全性
soundness
論理学の話
型の話については型安全性を参照
論証が以下の属性を持つ
その論証は妥当である
その前提の全てが真である
自然演繹が健全であるとは
妥当な論理式のみを証明すること
妥当だが、健全でない場合がある
https://ja.wikipedia.org/wiki/健全性#健全な論証
「前提から結論が導かれる」が「前提がそもそも偽」
整合的な集合を妥当だと判定すること
もしくは、妥当でない論証を決して妥当だと判定しない
偽陽性, 偽陰性, 陽性, 陰性みたいな話
https://www.medience.co.jp/drugabuse/column/column_01.html
参考
健全性と完全性 - 発声練習
型以外の具体例あり
健全性 - Wikipedia
http://web.sfc.keio.ac.jp/~hagino/logic16/05.pdf
https://nymphium.github.io/2020/08/25/tswara.html
TypeScriptの型