作者clitoris (哈)
看板logic
标题Re: [请益]题目说三个步骤可证明我弄了一小时...
时间Thu Jun 1 18:42:08 2006
{1} 1. ~(A<->B) P
{1} 2. ~((A^B)v(~A^~B)) 1. B.D
{1} 3. ~(A^B) ^ ~(~A^~B) 2.DeM
{1} 4. ~(A^B) 3.Simp
不知这样对不对…
※ 引述《SanderLee (philosopher)》之铭言：
: ~(A≡B) /∴~(A‧B)
: 嗯
: 想请问一下
: 是不是题目错了呢？
: 不管是三步还是十几步
: 已经搞的我焦头烂额头脑打结
: 麻烦你们了
: 期待豁然开朗的感觉
: 谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.7.59
1F：→ A1Yoshi:应该对吧。 06/02 00:16
2F：推 SanderLee:谢谢你，大发现，我的公式背错了。囧~ 06/02 20:02