作者clifflu (缺钱啦 @@)
看板logic
标题Re: 一个问题
时间Mon Mar 27 18:32:38 2006
※ 引述《lgirl (さびしい)》之铭言：
: 前提一 不及格者均需补考或重修
: 前提二 有人不及格
: 前提三 有人不重修
: 结论有人补考
: 这样正确吗
F : 不及格者之集合
R : 重修之集合
T : 补考之集合
前提一:
for all x 属於 F, 则 x 属於 R 或 x 属於 T
前提二:
F 非空集合
前提三:
Exists y, y 不属於 R
结论:
若 F 非宇集合: 及格者不需要补考，故 "有人补考" 之结论不正确。
若 F 为宇集合:
y 属於 F, 故 y 属於 R 或 y 属於 T (前题一)
但 y 不属於 R (命题三)
故 y 属於 T
--
鬼压床怎麽办
骑上去啊
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.61.70
1F：→ melodyjail:对喔..不及格者可能为宇集 03/27 20:31