作者ERT312 (馬上漸漸中毒~)
看板logic
標題Re: [請益] 邏輯句子的表達
時間Mon Oct 13 20:03:27 2008
※ 引述《aletheia (cOnJeCTuRe)》之銘言:
: ※ 引述《ERT312 (馬上漸漸中毒~)》之銘言:
: : 我有這麼說嗎?
: : 我的本意:"只有P才可以Q"蘊含"不是P就不能Q"
: : (其中 P 是一個集合,Q為動詞)
: : 但是"只有P才可以Q"有沒有蘊含"只要屬於P就可以Q"? 則見仁見智
: : 以老師給巧克力為例,很明顯老師有第二個蘊含的意思
: : 以女人生小孩為例,很明顯第二個蘊含不成立
: : 你已經先入為主,認為你可以精確解讀原題。
: : P是一個集合,Q是動詞,又不是命題
: 抱歉 我沒看過這樣的符號
: 你要不要告訴大家 你是在哪個語言裡面談論你的想法
: 我想數學裡面也是這樣吧
: 不交代你在哪各系統下 那實在是不了解你在說什麼耶
: 基本上 這板上眾人普遍用的是first-order language
: 大家交代的還算清楚
: 你一直反反覆覆 也不說你在想什麼
: 只說別人誤會你
: 方便開導大家一下嘛 謝謝
只有"英文及格的人"才可以"吃巧克力"
只有"女人"才可以"生小孩"
"英文及格的人"與"女人"都是集合! 難道你不同意?
"吃巧克力"與"生小孩"難道不是動作?
只有"研究生"才可以"修所有研究所的課"
"研究生"難道不是集合?
修課難道不是動作?
連基本的釋題都搞不清楚,還奢談邏輯
"這板上眾人普遍用的是first-order language"?
這真是個笑話!可見你根本沒看過一階邏輯的語句!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.171.116.237
1F:推 luciferii:這位同學「連基本的釋題都搞不清楚,還奢談邏輯」 得證# 10/13 20:18
2F:推 aletheia:我想我們兩個沒甚麼好談的了 10/14 11:43