※ 引述《weywawa (我是乖乖娃娃^^)》之銘言：
: ※ 引述《stevenK (領導形象)》之銘言：
: : 真的ㄇ?????
: : ---------------
: : (懷疑貌~~~)
: 這是歸納強論證又不是演譯有效論證-___________-
: 會有反例存在-->Ex:weywawa
: 前提：聽說哲學系很多漂亮妹妹
: ＝> Ex(Gx & Px)->Bx
..我不是故意的..可是用Ex時..好像不會用->吧?
改成這樣會不會更好..? Ex(Gx & Px & Bx)
而且"很多"好像是..Model Theory的範圍了??
: 但是並不是For all(Gx & Px)->Bx
For allx((Gx&Px)->Bx)
: Gx:x is a girl.
: Px:x is in the Department of Philosophy.
: Bx:x is beautiful.
: 因此，按照這個邏輯式子，
: 可推論「哲學系至少有一漂亮妹妹」，
: 況且，
: 沒有被知覺到的未必不存在。
^^^^^^^^^^^^^^^^^^^^^^^^ 對呀
--
※ 發信站: 批踢踢實業坊(ptt.twbbs.org)
◆ From: toppest.m8.ntu.edu.tw