邏輯 學中強大的運算子就是inference,其中一種最基本形式叫做modus ponens,寫成以下形式,中間那條線就是implication: 意思是if p is true, ...
確定! 回上一頁