離散結構:基礎:邏輯和證明(Discrete Structures :The Foundations: Logic and Proofs)(3) · (p∧q) · p · 對應的Tautology: · (p∧q) →p · 例子:. 設p爲 ...
確定! 回上一頁