關鍵字: 自然演繹法、存在個例化規則、全稱通則化規則、妥當性、邏輯教學;natural deduction, existential instantiation, universal generalization, soundness, ...
確定! 回上一頁