Re: [請益] 矛盾
※ 引述《Searle (♂擁抱後的寂寞♀)》之銘言：
: ( A and not not A ) v ( B and not B )
整句複合句沒有矛盾，選言者，只要其中有一成份句為真，整句複合句就可為真，
不過"A and not not A "並非恆真句，而且是還不知道真假的語句。
不過既然不知道真假，即使"B and not B"這個成份句矛盾，也無法斷言整句矛盾。
: 這樣算矛盾嗎?
: 在推論過程中似乎不能直接拿來當矛盾
: 那要怎麼推出來呢
: 題目:
: 1. [D and (G v not G)] -> (K v L)
: 2. L -> (R and not R)
: implies D -> K
: 卡很大...
1.[D&（Gv～G）]->(K v L) /∵D -> K
2.L -> (R&～R)
3.[D&（Gv～G）]->(～K->L)
4.{[D&（Gv～G）]＆～K}->L
5.Rv～R
6.～(R&～R)
7.～L
8.～{[D&（Gv～G）]＆～K}
9.～[D&（Gv～G）] v ～～K
10.～D v ～（Gv～G） v ～～K
11.（Gv～G）
12.～～（Gv～G）
13.～Dv～～K
14.～D v K
15.D->K
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.229.43.104
推
01/10 18:02, , 1F
01/10 18:02, 1F
→
01/10 18:55, , 2F
01/10 18:55, 2F
→
01/10 18:55, , 3F
01/10 18:55, 3F
→
01/10 18:56, , 4F
01/10 18:56, 4F
推
01/10 19:30, , 5F
01/10 19:30, 5F
→
01/10 21:02, , 6F
01/10 21:02, 6F
→
01/10 21:02, , 7F
01/10 21:02, 7F
→
01/10 21:36, , 8F
01/10 21:36, 8F
→
01/10 21:36, , 9F
01/10 21:36, 9F
推
01/10 21:38, , 10F
01/10 21:38, 10F
→
01/10 21:38, , 11F
01/10 21:38, 11F
→
01/10 21:40, , 12F
01/10 21:40, 12F
→
01/10 21:40, , 13F
01/10 21:40, 13F
→
01/10 21:41, , 14F
01/10 21:41, 14F
推
01/10 21:43, , 15F
01/10 21:43, 15F
→
01/10 22:09, , 16F
01/10 22:09, 16F
→
01/10 22:09, , 17F
01/10 22:09, 17F
→
01/10 22:10, , 18F
01/10 22:10, 18F
→
01/10 22:11, , 19F
01/10 22:11, 19F
→
01/10 22:11, , 20F
01/10 22:11, 20F
→
01/10 22:12, , 21F
01/10 22:12, 21F
→
01/10 22:12, , 22F
01/10 22:12, 22F
→
01/10 22:13, , 23F
01/10 22:13, 23F
→
01/10 22:14, , 24F
01/10 22:14, 24F
→
01/10 22:15, , 25F
01/10 22:15, 25F
討論串 (同標題文章)