Sound and Complete
Jump to navigation
Jump to search
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.