1. N→(P→R) p
2. ~(R→S)→~T p
3. (Mˇ~T)ˇ~(P→S) p
4.T→(R→S) 2.Contra
5.~(P→S)V(~TVM) 3.Comm
6.(P→S)→(T→M) 5.Impl
7.(N‧T) AP
8.N 7.Simp
9.T 7.Simp
10.P→R 1,8.MP
11.R→S 4,9.MP
12.P→S 10,11 HS
13.T→M 6,12.MP
14.M 9,13 MP
15.(N‧T)→M 7~14 CP
16~M→~(N‧T) 15 Contra
/∴~M→~(N‧T)
應該是這樣:)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.166.212.117
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.245.219