[請益] 邏輯證明

[a53530 (Susu)]

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