deduction theorem

Show Summary Details

Quick Reference

The theorem provable about some logical systems, that if a conclusion C can be proved from a set of premises A1…An, then there is a proof of An → C from A1…An–1.

Subjects: Philosophy.

Reference entries

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