作者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