[請益] 邏輯證明
1.(x)(Px≡Qx)
2.(x)[Px→(Qx→Rx)]
3.(Ex)Qx v (Ex)Px
/(Ex)Rx v (Ex)Sx
用→替代horseshoe
用v 替代或
用^ 替代且
用(Ex)替代有些x
我算了好久算不出來
請強者幫忙解答
將以1000P幣作為酬謝
--
搶救期末啊~~~~~~~~~~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.222.59
討論串 (同標題文章)