數理邏輯(Mathematical Logic)的嚴密度, 但已足夠供數學證明使用. 學習時應該建 ... 雙條件式(biconditional,或稱雙如言): “p q”表示“p等價於(iff; if and only if;.
確定! 回上一頁