作者: sunny1991225 (麵包超羊) 看板: C_Chat
標題: Re: [閒聊] 妹妹的朋友都一定是正妹
時間: Mon Jan 17 22:02:23 2011

1.正妹是正派和正妹是反派

語句符號化後：A‧~A


語句連接詞是連言，符號是‧(和)，所以只有兩句同時為真的情況下為真，其餘皆假


真值表如下：


A     A‧~A

T     T FFT

F     F FTF
       ↑


無論如何結論都是假，所以正妹是正派和反派這句話在邏輯上是矛盾句，且不一致


2.要嘛正妹是正派，要嘛正妹不是正派

語句符號化後：Av~A

語句連接詞是選言，符號是V，除非兩句都假，否則其他組合都是真


真值表如下：


A     Av~A
T     TTFT
F     FTTF




必然為真，所以這個句子是套套句，無論如何都成立。



3.要嘛正妹是正派，要嘛正妹是反派

語句符號化後：AvB

語句連接詞是選言，符號是V，除非兩句都假，否則其他組合都是真

真值表如下：


AB     AvB

TT     TTT
TF     TTF
FT     FTT
FF     FFF


如果是這樣講，就是適然句。正妹有可能是正派，也可能是反派。

看實際條件為何。

--

艾德華：我知道很多人都會覺得一個上百歲的吸血鬼愛上16歲的女孩有多荒唐。他們肯
        定會想：一個有一世紀歷練的文藝青年會和愛看醜女貝蒂的女孩聊些什麼呢？
刀鋒：上帝阿！打從預告片上映時我就覺得你們這對狗男女噁心死了！
每晚我都做同一個惡夢，追著同一個小白臉，手中緊握著要捅進他胸口的木樁。
但每一個晚上......我總在釘死那個混蛋前就醒了！                   By 刀鋒戰士

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 111.240.176.27
推 tonyxfg:而是歐派
→ ctx1000:是歐派.....
推 freesaviour:歐派
推 peasuka:我比較在意歐派
推 windhsu:歐派…
推 Hevak:邏輯........orz
推 pl726:歐派www
推 PsycoZero:所以結論就是原始命題為偽命題
→ PsycoZero:所以沒有討論的必要
→ TheJustice:除了吃屎桌哲學系該不會還有教K-map吧?
→ frozen1314:哲學要上這東西阿...?
→ PsycoZero:要啊
→ sunny1991225:語句邏輯和理則學都是在教這個阿
→ tonyxfg:理則學玩這個好過癮啊XD
→ frozen1314:我理工的  不過有好像有類似的課  我室友跑去修
推 peasuka:以前去外系修理則學,上3堂後就不敢再去了...腦筋轉不過來
→ sunny1991225:大多數時間是挺好玩的
→ PsycoZero:辯論的時候不好玩
→ sunny1991225:但考試時每一題都要你這樣畫就很累了...
→ sunny1991225:不是說老師要你一定要畫，而是你不畫找不到答案
→ windhsu:桑尼，說好的歐派呢?
推 shadowblade:我有去選過,數學系大一必修的基礎數學
→ shadowblade:不過說實在我感覺比微積分難阿....
→ sunny1991225:這邊這些句子頂多只有兩個單句，所以只要用四行
→ sunny1991225:就可以列完所有的真假組合
※ 編輯: sunny1991225    來自: 111.240.176.27       (01/17 22:10)
→ sunny1991225:如果是三個單句就要列八行...
推 pl726:我們離散有教基本的邏輯
→ sunny1991225:而且有些奇形怪狀的句子特別長，像是這樣：
→ sunny1991225:(((AvB)‧(B‧~C))vB)
→ sunny1991225:有些符號用PTT還打不出來...
→ TheJustice:不是一定要這樣畫的話,建議你去找一下其他方法...
→ sunny1991225:有其他方法阿，但用PTT畫不出來
推 LADKUO56:若且唯若 A 否A 這種鬼東西嗎....
→ sunny1991225:恩阿，就是那些東西
→ LADKUO56:往下看還有真值表 阿哈哈哈....
推 attacksoil:.......................
※ 編輯: sunny1991225    來自: 111.240.176.27       (01/17 22:30)
→ sunny1991225:剛剛VIP提醒我才發現語句邏輯有問題...
※ 編輯: sunny1991225    來自: 111.240.176.27       (01/17 22:34)
推 rexkimta:兩點：一，正妹未必是同一個 這個正妹正派 那個正妹反派
→ rexkimta:並不衝突。二，只把人分成正派和反派是錯誤二分法。
→ sunny1991225:所以我有寫第三種阿
→ sunny1991225:第二種就是你默認反派和正派是矛盾
→ sunny1991225:矛盾和對立在理則學中是不同的東西
→ rexkimta:唔，我的意思是你符號化錯了。
→ sunny1991225:應該說那代表我符號化的句子只有這樣...
→ rexkimta:其實第三種才是Av~A……「不是正派」並不一定就是反派
→ sunny1991225:等等，讓我想想...
→ sunny1991225:剛剛VIP也寄信給我，看來是我符號化沒弄好沒錯Orz
→ sunny1991225:我改一下
※ 編輯: sunny1991225    來自: 111.240.176.27       (01/17 22:53)
推 rexkimta:默認正反派不相容只代表如果是正派就一定不是反派，或是
→ rexkimta:是反派就一定不是正派，並沒有說不是正派的話就是反派。
→ sunny1991225:這樣改應該就對了...
推 VIP:恩...不過為什麼會討論這個啊
→ sunny1991225:就只是好玩_A_
→ sunny1991225:是說我該不該把正妹是正派和正妹是反派一致的情況
→ sunny1991225:列進去阿...
推 adst513:XD
推 VIP:忽然想到1.應該改成A‧B比較好？
→ sunny1991225:對，我就是再說要不要多弄一個A‧B的情況