邏輯推論在數學上用來證明定理,在計算機科學上用來驗證程式的正. 確性並證明定理,在自然與物理學上用來 ... 若p 和q 為述句,p 和q 的分取式(disjunction)為複合述.
確定! 回上一頁