Sound and Complete
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
For fact-and-rule knowledge bases of this unit's form, both procedures are sound — everything derived is a true consequence — and complete: every true consequence can be derived.
Show
No false positives, no missed conclusions: within its fenced garden, deduction is finished business.
Watch for
The guarantee is about consequence, not truth — sound reasoning from wrong rules stays wrong.