如果 
可由 
逻辑推导得出，则记作 
。
可推导的
另请参阅
演绎, 演绎定理使用 Wolfram|Alpha 探索
引用为
埃里克·韦斯坦因 "可推导的。" 来自 数学世界——Wolfram 网络资源。 https://mathworld.net.cn/Deducible.html
主题
主题
主题
如果 可由 逻辑推导得出，则记作 。
埃里克·韦斯坦因 "可推导的。" 来自 数学世界——Wolfram 网络资源。 https://mathworld.net.cn/Deducible.html