※ 引述《angerlia ( :))》之銘言：
: ※ 引述《Leviatan (我跟我自己疏遠了)》之銘言：
: : ..我不是故意的..可是用Ex時..好像不會用->吧?
: : 改成這樣會不會更好..? Ex(Gx & Px & Bx)
: : 而且"很多"好像是..Model Theory的範圍了??
: : For allx((Gx&Px)->Bx)
: ^^^^^^^^^^^^^^^^^^^^^
: 我想 這個陳述正確地指出了君穎不服的地方
: 她要argue的應該就是(不是的話 請說一聲)
: 不能因為聽說哲學系有很多漂亮妹妹就說哲學系的女生全都是美女吧
: 式子是沒錯啦(但是會有這種從聽說有很多是美女就推到所有都是美女的人嗎?)
是沒有這種人啦.. 可是大部份人都會無意識地"感覺"或推論到這樣子吧?maybe..
: 但是我有個疑問 因為我邏輯下學期都沒去上課所以不清楚量化部分的相關問題
: 我沒記錯的話
: 在命題邏輯(Propositional Logic)裡
: 陳述句：「"聽說"哲學系有很多漂亮妹妹」是否有明確真假值應該還有討論空間吧
"聽說"..如果有一個人這樣子跟我講過..算不算真?
那麼「"聽說"哲學系有很多漂亮妹妹」就可能會真...?
問題在於commen sense裏的"聽說" 是不是等於 "我曾經聽到至少一個人這樣說"
: 那麼從述詞邏輯來看 我們去量化這個陳述的話會有明確真假值嗎
: 我不知道所以提出問題 看大家有沒興趣討論一下吧
我有興趣..可是問題好像超出我的能力...哈哈~
--
※ 發信站: 批踢踢實業坊(ptt.twbbs.org)
◆ From: toppest.m8.ntu.edu.tw