... ( 六) 簡化法( 簡寫為Simp) : 證明Simp 是有效論證: Simp 規則的例子: ... 2 一、蘊含規則( 五) 建設性的兩難式( 簡寫為CD) : p→q r→s p r ∴ q s ...
確定! 回上一頁