Difference between revisions of "Sound and Complete"
Jump to navigation
Jump to search
(Created page with "A system of argument is sound and complete if all of its true arguments can be proven, and all of its arguments can be proven true. Category:Logic") |
|||
| Line 1: | Line 1: | ||
A system of argument is [[sound]] and [[complete]] if all of its true arguments can be proven, and all of its arguments can be proven true. | [[Soundness]] and [[completeness]] are properties of a logical system. A logical system of argument is [[sound]] and [[complete]] if all of its true arguments can be proven, and all of its arguments can be proven true. | ||
[[Category:Logic]] | [[Category:Logic]] | ||
Latest revision as of 07:41, 23 May 2022
Soundness and completeness are properties of a logical system. A logical system of argument is sound and complete if all of its true arguments can be proven, and all of its arguments can be proven true.