Soundness, which means that the system's rules of proof will never allow a false inference from a true premise.

健全，这意味着系统的规则的举证责任，决不允许有虚假推理从一个真正的前提。

youdao

Soundness, which means that the system's rules of proof will never allow a false inference from a true premise.

健全，这意味着系统的规则的举证责任，决不允许有虚假推理从一个真正的前提。

youdao