AI3
Home
About
Help
Contact
by Javantea
—
Oct 2, 2012
Page "Soundness" Paragraph 14
from
Wikipedia
«
»
Soundness is among the most fundamental properties of mathematical logic.
A soundness property provides the initial reason for counting a logical system as desirable.
The completeness property means that every validity ( truth ) is provable.
Together they imply that all and only validities are provable.
Page 1 of 1.
2.264 seconds.
Home
Help
About
Contact
Random Words
Popular Words
Popular Sentences
All Sentences
Most text is available under the
Creative Commons Attribution-ShareAlike License
; additional terms may apply.