述詞邏輯跟命題邏輯的基本差異在於:命題邏輯探討的是命題和命題之間的. 邏輯關係;述詞邏輯則是著眼於命題內部 ... 全稱化:¬Px⊇¬(Qx Rx). 存在化:¬Px⊇¬(Qx Rx).
確定! 回上一頁