演绎定理

演绎定理是数理逻辑的一个核心规则，它清晰地描述元语言的纯符号组合所做的演绎与逻辑语言里的实质条件的联系。