作者copular (睡中乾坤)
看板logic
標題Re: 一個問題
時間Mon Mar 27 21:39:13 2006
※ 引述《lgirl (さびしい)》之銘言：
: 前提一 不及格者均需補考或重修
: 前提二 有人不及格
: 前提三 有人不重修
: 結論有人補考
: 這樣正確嗎
: 謝謝
題目在這呢
Ax {F(x)->[T(x) V R(x)]}
Ex F(x)
Ex ~R(x)
/∴Ex T(x)
無效論證啦
設論域只有兩個人a和b
而這兩個人的情況是
F(a),~F(b)
R(a),~R(b)
~T(a),~T(b)
原論證就破工囉
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 210.58.34.176