---
tag: 6SZSCG5BY9
kind: concept
name: Deductively equivalent
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section D
    note: adopted
    mention: wikipedia://en/76765067#J4RN
    sections: [Summary]
inventory: [BJT7DK6011]
---

## Summary

Two theories are deductively equivalent if they prove the same theorems.