演绎定理
数理逻辑定理
演绎定理的定义为在数理逻辑中，演绎定理声称如果公式 F 演绎自 E，则蕴涵 E → F 是可证明的(就是或它可以自空集推导出来)。用符号表示。
定理定义
演绎定理可以推广到假定公式的可数序列，使得从
，推出，等等直到
。
演绎定理是元定理: 在给定的理论中使用它来演绎证明，但它不是这个理论自身的一个定理。
定理推广
这个定理的逆命题也成立。
参考资料
最新修订时间：2024-05-21 14:58
条目作者
小编
目录
概述
定理定义
定理推广
参考资料

Copyright©2024 闽ICP备2024072939号-1