可推导的

另请参阅

演绎, 演绎定理

使用 探索

引用为

埃里克·韦斯坦因 "可推导的。" 来自 数学世界——Wolfram 网络资源。 https://mathworld.net.cn/Deducible.html

主题分类