Related Overviews


'soundness' can also refer to...


More Like This

Show all results sharing this subject:

  • Computing


Show Summary Details

Quick Reference

Of an argument, the property of being valid and having all true premises. Logical systems are sound if every theorem is valid, that is, true in all interpretations.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.