作者aletheia (cOnJeCTuRe)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Sun Oct 12 04:34:11 2008
※ 引述《ERT312 (马上渐渐中毒~)》之铭言：
: ※ 引述《aletheia (cOnJeCTuRe)》之铭言：
: : 这边这样写不好 x是变数(项)
: : 你要写成 S={x:x属於S, x is 学生}
: 还是不对!
: 想想看，S是你想要定义的东西对不对?
: 在你还没把它定义出来之前，它代表什麽没人知道对不对?
: 那你怎麽会拿一个还没有人知道的东西去定义东西。
这不对没错 这会犯罗素悖论
至於你讲的甚麽就不论了
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.134.201.196
1F：推 luciferii:标准格式 S={x|x is 学生} ，这样写有争议? 10/12 11:19
2F：→ aletheia:恩阿 我原本的写错了 10/12 12:31