作者copular (牛雜)
看板logic
標題Re: [請益] 如何把語句化成量詞邏輯？
時間Sat Nov 26 12:07:48 2005
※ 引述《ichirogo (衝啊一朗)》之銘言：
: 要怎麼論證有效無效總是可以推得出來，
: 但要從文字運作成符號概念總是做不到><
: 想請教一下板上的大大。
: 例如這題：
: 政治家一定是政客。有些政治家不會騙人。有些政客不是政治家。
Ax(政治家(x)->政客(x))
Ex(政治家(x)^~騙人(x))
Ex(政客(x)^~政治家(x))
: 所以，有些政客會騙人。
Ex(政客(x)^騙人(x))
: 這句話我推論的結果是無效論證，可是要化成量詞符號的時候應該怎麼化呢？
: 然後，應該怎麼解釋它是無效的論證呢？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 210.58.34.176