Difference between revisions of "Soundness"
| Line 1: | Line 1: | ||
{{WikiEntry|key=Soundness|qCode=693083}} is a formal property in computing science and it means that certain statement is logically valid and its relevant premises are [[true]]. | {{WikiEntry|key=Soundness|qCode=693083}} s a logical term meaning that an argument is valid and its premises are true. It is a formal property in computing science and it means that certain statement is logically valid and its relevant premises are [[true]]. | ||
Something is logically sound if it can be formulated into [[tautology]], meaning [[tautological statement]]s are true in all possible interpretations. Tautologies are useful in practical situations, because it can be used as a pattern to organize logical judgements in self-contained process patterns, such as [[Lambda Calculus]]. | Something is logically sound if it can be formulated into [[tautology]], meaning [[tautological statement]]s are true in all possible interpretations. Tautologies are useful in practical situations, because it can be used as a pattern to organize logical judgements in self-contained process patterns, such as [[Lambda Calculus]]. | ||
Revision as of 02:28, 10 September 2022
Soundness(Q693083) s a logical term meaning that an argument is valid and its premises are true. It is a formal property in computing science and it means that certain statement is logically valid and its relevant premises are true.
Something is logically sound if it can be formulated into tautology, meaning tautological statements are true in all possible interpretations. Tautologies are useful in practical situations, because it can be used as a pattern to organize logical judgements in self-contained process patterns, such as Lambda Calculus.
The Soundness, Precision, and Terminability Trio
The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.
Soundness is the formal property in Systems Engineering/Computing Science to measure or represent the quality of a statement being provably true.
The notion of Soundness is explicitly investigated in the works of Abstract Interpretation, where statements in computable source code can be estimated in terms of their Soundness. Abstract Interpretation often study a system specification in a setting of the following trio: Soundness, Precision, and Terminability.
{{#ev:youtube|https://www.youtube.com/watch?v=9Utsppn-M_I%7C%7C%7C%7C%7C}}
In the video shown above, Soundness is defined as a proof, which attain the quality of reaching tautology. The notion of tautology can be explained in a simpler term. If one can keep all the logical statements in the proof process to be true, then, it is a tautology.