← Từ điển

soundness

C2 noun

soundness nghĩa là sự lành mạnh, sự vững chắc

Các nghĩa

  1. sự lành mạnh, sự vững chắc

    The state or quality of being sound.

    uncountable

    He who guards the soundness of his mind keeps his life.

    Edge cases are extremely important to testing the soundness of an argument.

  2. kết quả của sự lành mạnh

    The result or product of being sound.

    countable

  3. tính hợp lý (của lập luận) khi vừa hợp logic vừa có tiền đề đúng

    The property (of an argument) of not only being valid, but also of having true premises.

    countable · uncountable

  4. tính đúng đắn (của lý thuyết logic) khi mọi định lý đều có giá trị

    The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊢φ is true, then T⊨φ must also be true, for any wff φ of logic L.

    countable · uncountable

Dạng khác