Soundness
Logical term meaning that an argument is valid and its premises are true
In logic, soundness can refer to either a property of arguments or a property of formal deductive systems. An argument is sound if (and only if) it is both valid in form and has no false premises.
Nº Q693083 ★
Common · Knowledge
Soundness
Logical term meaning that an argument is valid and its premises are true
In logic, soundness can refer to either a property of arguments or a property of formal deductive systems. An argument is sound if (and only if) it is both valid in form and has no false premises.
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
From Wikipedia
In logic, soundness can refer to either a property of arguments or a property of formal deductive systems. An argument is sound if (and only if) it is both valid in form and has no false premises. A formal system is sound if (and only if) every well-formed formula that can be proven in the system is logically valid with respect to the logical semantics of the system. These two properties are different but closely related. The former is more relevant for introductory deductive reasoning contexts and the latter arises in metalogic and mathematical logic.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
V
Validity (logic)
Logical correctness of an argument's steps, regardless of the truth of the premises
Nº Q1047000 ★★
Not listed
-
c
cogency
Nº Q6315855 ★
Not listed
-
c
conclusion
The proposition arrived at by logical reasoning
Nº Q20665666 ★★★
Not listed
-
H
Hypothetical syllogism
Term
Nº Q1641477 ★
Not listed
-
D
Deductive reasoning
Method of reasoning by which premises understood to be true produce logically certain conclusions
Nº Q484284 ★★★
Not listed
-
Logic
Study of correct reasoning
Nº Q8078 ★★★★
Not listed