作者ssall ()
看板logic
标题Re: [请益] 何谓充要条件
时间Mon Sep 5 16:26:41 2005
补问一个问题，我们都知道：
"p=>q"(p则q) <=> "~q=>~p"(非q则非p)
但是在一本集合论的书中写到有一派学说(intuitionism?)，
不同意这两者是等价的句子，也就是说如果要证明"若p则q"，
如果你证明了"非q则非p"，但不表示你证明了"若p则q"。
我想问的是，有哪位大大看过逻辑的书，有记载这一派学者
他们为什麽会这样认为吗？
ps:我看的那本书有举一个例子："正十九边型的存在性"，
但我觉得不够好。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.168.187.246
1F：推 aletheia:详细写出来看看吧 是哪一本书看到这样的问题? 61.216.44.169 09/09