作者a53530 (Susu)
看板logic
标题[请益] 逻辑证明
时间Fri Jun 17 18:14:30 2011
1.(x)(Px≡Qx)
2.(x)[Px→(Qx→Rx)]
3.(Ｅx)Qx v (Ｅx)Px
/(Ｅx)Rx v (Ｅx)Sx
用→替代horseshoe
用v 替代或
用^ 替代且
用(Ｅx)替代有些x
我算了好久算不出来
请强者帮忙解答
将以1000P币作为酬谢
--
抢救期末啊~~~~~~~~~~
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.222.59