Yahoo奇摩 網頁搜尋

  1. ... 5. M∨M    2,3,4 CD 6. M      5 Taut 二. 1. (S‧D)∨(S‧H) 2. S→(I‧R...

  2. ...縮寫):重複增減法 p : : p∨p p : : p∧p P.S.:有的邏輯書是稱為 Taut (套套句規則) 13. IE:輸入輸出法 [(p∧q)→r] : : [p→(q→r)] P...