soundness
C1danh từ (noun)
Nghĩa chính
Thêm 1 nghĩa- Sự vững chãi, sự lành lặndanh từkhông đếm được (uncountable)The state or quality of being sound.
- Tình trạng ổn định, sự vững vàngdanh từđếm được (countable)The result or product of being sound.
- Tính đúng đắn, tính xác đángdanh từđếm được và không đếm được (countable, uncountable)The property (of an argument) of not only being valid, but also of having true premises.
Dạng từ (word form)
theo quy tắc (regular)- soundnessDạng gốc (base form)
- soundnessesSố nhiều (plural)
1 nghĩa khác
Danh từ (noun) 1
Tính đúng đắn
- đếm được và không đếm được (countable, uncountable)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.
Ví dụ
- .
- .
- , — . , — .
Họ từ (word family)
cùng gốc soundnessNguồn gốc (etymology)
- từ tiếng Anh trung đạisoundenes
- từ tiếng Anh cổ*sundnes
- từ tiếng German Tây nguyên thủy*sundnassī“soundness, health”