可靠性定理的日文

健全性

例句與用法

1. 四、格值邏輯系統的研究建立了基于格蘊涵代數的格值命題邏輯系統l試x ) ，并討論了它的語法和語義問題，證明了可靠性定理。

其他语言

可靠性定理的英语：soundness theorem
可靠性定理的法语：Correction (logique)
可靠性定理的韩语：건전성
可靠性定理的阿拉伯语：صحة (منطق);