What does it mean for a proof procedure to be sound?
Added by Laura L.
Step 1
Second, for a proof procedure to be sound, it means that the procedure always produces correct results. In other words, if the procedure says that a statement is true, then it is indeed true. Show more…
Show all steps
Your feedback will help us improve your experience
Aishwarya Krishnakumar and 57 other AP CS educators are ready to help you.
Ask a new question
Labs
Want to see this concept in action?
Explore this concept interactively to see how it behaves as you change inputs.
Key Concepts
Recommended Videos
Explain what it is Proof by Cases
Haricharan G.
define sound
Ankur S.
Describe the rules for collecting evidence against a defendant
Sri K.
Recommended Textbooks
Computer Science and Information Technology
Introduction to Programming Using Python
Computer Science - An Overview
Watch the video solution with this free unlock.
EMAIL
PASSWORD