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