健全性（けんぜんせい、英: Soundness）は、論証が次の属性を持つことと同値である。 1. * その論証は妥当である。 2. * その前提の全てが真である。 論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、 が を含意することをいう。
