Help
AI3
by Javantea — Oct 2, 2012


+ −
A converse to completeness is soundness, the fact that only logically valid formulas are provable in the deductive system.

Edit
Promote Demote Fragment Fix

+ −
A converse to completeness is soundness, the fact that only logically valid formulas are provable in the deductive system.

Edit
Promote Demote Fragment Fix
« More previous Okay Cancel More next »

0.003 seconds.



Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.