健全性
健全性（けんぜんせい、）は、論証が次の属性を持つことと同値である。
# その論証は妥当である。
# その前提の全てが真である。

論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、formula_1 が formula_2 を含意することをいう。
Q186619
論証
Concept
Q949972
同値
Concept
Q1047000
妥当
Concept
Q1572108
自然演繹
UNK
Q1047000
妥当
Concept
Q209555
恒真式
Concept
Q30921747
含意
UNK
Q693083
健全性
Concept
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
has quality
has quality