如果 
可由 
邏輯推導得出，則記作 
。
可推導的
另請參閱
演繹, 演繹定理使用 探索
引用為
埃裡克·韋斯坦因 "可推導的。" 來自 數學世界——Wolfram 網路資源。 https://mathworld.tw/Deducible.html
主題
主題
主題
如果 可由 邏輯推導得出，則記作 。
埃裡克·韋斯坦因 "可推導的。" 來自 數學世界——Wolfram 網路資源。 https://mathworld.tw/Deducible.html