演绎定理 演绎定理是数理逻辑的一個核心規則它清晰地描述元語言的純符號組合所做的演繹與逻辑语言裡的实质条件的聯繫