Soundness

スラグ用語集

安定性（セメントの）

読み方：あんていせい
【英】：soundness

セメント中に過剰の遊離石灰(CaO)またはマグネシア(MgO）が存在する場合、水和の過程で異常膨張を起し、このためひびわれ、そり、崩壊などが発生する。このような異常膨張を起すことのない性質をいう。JIS R 5201（セメントの物理試験方法）では、パット法およびルシャトリエ法による煮沸方法を規定している。

安定性（骨材の）

読み方：あんていせい
【英】：soundness

骨材の、主に凍結融解作用に対する抵抗性の指標。耐久的なコンクリートをつくるにはコンクリートの配合条件のほかに、耐久的な骨材を用いる必要がある。この骨材の耐久性をあらわすもので、硫酸ナトリウム飽和溶液への浸漬-乾燥を繰り返し、硫酸ナトリウムの結晶圧によって破壊するものの割合で表示する。JIS A 5308（レディーミクストコンクリート）では、繰り返し数5回における損失重量の限度を細骨材10％、粗骨材12％としている。
→JIS A 1122（硫酸ナトリウムによる骨材の安定性試験方法）

ウィキペディア

健全性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/10/26 05:57 UTC 版)

論証 > 健全性

健全性（けんぜんせい、英: Soundness）は、論証が次の属性を持つことと同値である。

1. その論証は妥当である。
2. その前提の全てが真である。

論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、 $X_{1},\ldots ,X_{n}\vdash Y$ Category:科学哲学