看板 [ W-Philosophy ]
討論串[討論] 關於邏輯的一些想法
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[討論] 關於邏輯的一些想法
推噓5(5推 0噓 7→)留言12則，0人參與, 最新作者darkgam (拓斗)時間17年前 (2006/10/19 01:19), 編輯資訊
1
0
0
內容預覽:
因為回答s兄的問題. 可以跟大家一起討論一下 獻醜了. --. 邏輯是一種關於有效性(validity) 的研究. 經過許多前人的努力 我們找出一些使得論證有效的形式(form). 而藉此可以區分出什麼論證是 有效/無效 ; 好/壞. 就像一個標準一樣!. 但是很遺憾的……我們只能得到. 若符合邏輯
(還有121個字)
#2
Re: [討論] 關於邏輯的一些想法
推噓2(2推 0噓 1→)留言3則，0人參與, 最新作者realove (realove)時間17年前 (2006/10/19 06:02), 編輯資訊
0
0
0
內容預覽:
好奇的是 你講的邏輯形式的定義是什麼 怎麼根有效論證區分?. 在一般理解下. 一個論證有效 若且唯若 它是一個有效論證形式的取代個例. 那你會去問 什麼是一個有效的論證型式. 那就是 其前提均為真時 結論不可能為假. (或是說前提與結論的否言 兩者不是一個一致的集合). 從你以上說滴 似乎看不太出來
(還有228個字)
#3
Re: [討論] 關於邏輯的一些想法
推噓0(0推 0噓 1→)留言1則，0人參與, 最新作者aletheia (cOnJeCTuRe)時間17年前 (2006/10/21 13:57), 編輯資訊
0
0
0
內容預覽:
這證明很簡單吧. 用真值表也可以証. 我換各方式証. The 1st order logic sys. is complete and sound.. In tableau,. |－ (P --> Q) <--> (~Q --> ~P). ~((P --> Q) <--> (~Q --> ~P)).
(還有7個字)
首頁
上一頁
1
下一頁
尾頁