※ 引述《Leviatan (我跟我自己疏遠了)》之銘言：
: ※ 引述《weywawa (我是乖乖娃娃^^)》之銘言：
: : 這是歸納強論證又不是演譯有效論證-___________-
: : 會有反例存在-->Ex:weywawa
: : 前提：聽說哲學系很多漂亮妹妹
: : ＝> Ex(Gx & Px)->Bx
: ..我不是故意的..可是用Ex時..好像不會用->吧?
: 改成這樣會不會更好..? Ex(Gx & Px & Bx)
: 而且"很多"好像是..Model Theory的範圍了??
: : 但是並不是For all(Gx & Px)->Bx
: For allx((Gx&Px)->Bx)
^^^^^^^^^^^^^^^^^^^^^
我想 這個陳述正確地指出了君穎不服的地方
她要argue的應該就是(不是的話 請說一聲)
不能因為聽說哲學系有很多漂亮妹妹就說哲學系的女生全都是美女吧
式子是沒錯啦(但是會有這種從聽說有很多是美女就推到所有都是美女的人嗎?)
但是我有個疑問 因為我邏輯下學期都沒去上課所以不清楚量化部分的相關問題
我沒記錯的話
在命題邏輯(Propositional Logic)裡
陳述句：「"聽說"哲學系有很多漂亮妹妹」是否有明確真假值應該還有討論空間吧
那麼從述詞邏輯來看 我們去量化這個陳述的話會有明確真假值嗎
我不知道所以提出問題 看大家有沒興趣討論一下吧
--
※ 發信站: 批踢踢實業坊(ptt.twbbs.org)
◆ From: phx.m6.ntu.edu.tw