→ calqlus :(對所有)(P命題) => k<3/2 11/30 18:51
→ calqlus :等價於 K>=3/2 => (!)((對所有)(P命題)) 11/30 18:52
→ calqlus :(!)((對所有)(P)) = (存在一個)(!)(P) 11/30 18:53
→ calqlus : = (存在一個)(!P) 對所有 和 存在一個都是指X 11/30 18:54
→ calqlus :所以應該是第三個 存在一個x使命題不成立 吧? 11/30 18:55
→ smilerr :感激不盡! ^^ 11/30 18:57