※ 引述《angerlia ( :))》之銘言：
: ※ 引述《Leviatan (我跟我自己疏遠了)》之銘言：
: : ..我不是故意的..可是用Ex時..好像不會用->吧?
: : 改成這樣會不會更好..? Ex(Gx & Px & Bx)
: : 而且"很多"好像是..Model Theory的範圍了??
: : For allx((Gx&Px)->Bx)
: ^^^^^^^^^^^^^^^^^^^^^
: 我想 這個陳述正確地指出了君穎不服的地方
: 她要argue的應該就是(不是的話 請說一聲)
ㄜㄜ...不是啦，
是因為stevenK在文章的最後表示出「懷疑貌」..
但是想來想去..stevenK應該不會都認識所有哲學系的女生，
所以也有可能他認識的是(Bx v -Bx)中的-Bx...
換句話說，他認識的都是-Bx,Bx都沒被他認識到。
所以不要被stevenK認識比較好囉？？
: 不能因為聽說哲學系有很多漂亮妹妹就說哲學系的女生全都是美女吧
: 式子是沒錯啦(但是會有這種從聽說有很多是美女就推到所有都是美女的人嗎?)
: 但是我有個疑問 因為我邏輯下學期都沒去上課所以不清楚量化部分的相關問題
: 我沒記錯的話
: 在命題邏輯(Propositional Logic)裡
: 陳述句：「"聽說"哲學系有很多漂亮妹妹」是否有明確真假值應該還有討論空間吧
: 那麼從述詞邏輯來看 我們去量化這個陳述的話會有明確真假值嗎
: 我不知道所以提出問題 看大家有沒興趣討論一下吧
有一個人叫做「聽」，他說的話很多人都會相信，
所以常常聽到人說：「聽說...@#$%^&*...」
但是「『聽到』某人在某地方說了什麼話」是事實，
而話題內容又不見得都是真的^^
「漂亮」不是又牽扯到陳述情境與個人認定問題？
這又麻煩多囉^^
邏輯真的很好玩:)
--
生命中有些擔子
雖不輕省
卻必得要扛.....
--
※ 發信站: 批踢踢實業坊(ptt.twbbs.org)
◆ From: h149.s136.ts31.hinet.net