看板 [ logic ]
討論串[請益] 矛盾
共 12 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
3
下一頁
尾頁
#2
Re: [請益] 矛盾
推噓4(4推 0噓 21→)留言25則，0人參與, 最新作者maylaw (討厭傲嬌)時間16年前 (2010/01/10 17:11), 編輯資訊
0
0
0
內容預覽:
整句複合句沒有矛盾，選言者，只要其中有一成份句為真，整句複合句就可為真，. 不過"A and not not A "並非恆真句，而且是還不知道真假的語句。. 不過既然不知道真假，即使"B and not B"這個成份句矛盾，也無法斷言整句矛盾。1.[D&（Gv～G）]->(K v L) /∵D ->
(還有99個字)
#1
[請益] 矛盾
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者Searle (♂擁抱後的寂寞♀)時間16年前 (2010/01/10 15:45), 編輯資訊
0
0
2
內容預覽:
( A and not not A ) v ( B and not B ). 這樣算矛盾嗎?. 在推論過程中似乎不能直接拿來當矛盾. 那要怎麼推出來呢. 題目:. 1. [D and (G v not G)] -> (K v L). 2. L -> (R and not R). implies D
首頁
上一頁
1
2
3
下一頁
尾頁