健全性（けんぜんせい、）は、論証が次の属性を持つことと同値である。論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、formula_1 が formula_2 を含意することをいう。次のような健全な論証があるとする（三段論法）。この論証は妥当であり（前提から結論が導かれ、前提を真とすれば結論が真であるため）、前提が真なので、論証全体としては健全である。以下の論証は妥当だが、健全ではない。大前提は実際には偽であるため、この論証は妥当だが健全ではない。

出典:wikipedia