汝等是人是狼？ - 紀錄閱覽

紀錄選項

舊→新新→舊含靈逝者

玩家列表 (12/16) (完整) (精簡)

泡泡的馬甲

酢漿草

Mr.Who

無職CO

緋月

炸彈1號

塔奇克馬

清水長官

窮奇

米列希安

中立倒剛金

泡泡

村莊資訊

村號：54731 (已結束) (2 日目)

村莊選項：

村名：【特殊村】BUG之炸彈

說明：～規則網址 http://ppt.cc/ZIGU～

更新時間：2014-08-13 04:17:23 (歷史紀錄模式)

訊息

炸彈1號的遺言：
狂人也就是正義

◆ 窮奇[權](村民) (04:17:23)

然後就會分配成７

◆ 窮奇[權](村民) (04:16:53)

３A或B
６B>D 3,5,肯定前件律
連言律→(A或B)且(B>D)

◆ 窮奇[權](村民) (04:16:14)

◆Mr.Who
哦...需要聯言在分配

◆ 窮奇[權](村民) (04:13:19)

否定句現了

◆ 窮奇[權](村民) (04:12:29)

Impl 蘊含律(?)

◆ 窮奇[權](村民) (04:11:55)

DeM(?)

◆ 窮奇[權](村民) (04:11:46)

迪摩根

◆ 窮奇[權](村民) (04:11:41)

~(我愛他且我不應多吃蔬菜)

◆ 窮奇[權](村民) (04:11:00)

Impl

◆ 窮奇[權](村民) (04:10:45)

我不愛她v我應多吃蔬菜

◆ 窮奇[權](村民) (04:09:57)

條件句都可以換成否定句

◆ 塔奇克馬(貓又) (04:07:50)

若我愛他，則我希望長命百歲，與他長廂斯守。
若我希望長命百歲，與他長廂斯守，則我應多吃蔬菜。
─────────────
所以，若我愛他，我應多吃蔬菜。
-----
假言三段論的例子w

◆ 窮奇[權](村民) (04:07:25)

道德相對主義那邊印像超深刻(O

◆ 窮奇[權](村民) (04:07:01)

思方往我以前看過耶...

◆ 窮奇[權](村民) (04:06:07)

可是無聊就打下其他解法

◆ 窮奇[權](村民) (04:05:44)

反證法是很好(O

◆ 窮奇[權](村民) (04:05:30)

相似(4+5)x(2+3)

◆ 塔奇克馬(貓又) (04:04:55)

http://philosophy.hku.hk/think/chi/valid.php
神網址GET

◆ 窮奇[權](村民) (04:04:38)

肯定前件律就演繹法

◆ Mr.Who[權](人狼) (04:04:32)

３A或B
６B>D 3,5,肯定前件律
７(A且B>D)或(B且B>D) 3,6分配律
7不懂
這麼好的反證法不用... (黑)

◆ 窮奇[權](村民) (04:03:39)

８是7,簡化律,肯定前件律

◆ 窮奇[權](村民) (04:01:52)

７(A且B>D)或(B且B>D) 3,6分配律
８A或D

◆ Mr.Who[權](人狼) (04:01:43)

肯定前件律

◆ 窮奇[權](村民) (03:59:40)

４(A>~B)>(B>D)　2,換值換位
５(A或B)>(B>D)　1,4,假言三段論
６B>D 3,5,肯定前件律

◆ Mr.Who[權](人狼) (03:59:40)

(敘述)我數學考100分且英文考100分
只要
(1) 數學100 但英文沒100
(2) 數學沒100 但英文沒100
(3) 數學沒100 且英文沒100
三者之一這個敘述就為假

◆ 塔奇克馬(貓又) (03:59:13)

啊！眼殘了www

◆ Mr.Who[權](人狼) (03:58:34)

~啊

◆ 塔奇克馬(貓又) (03:57:59)

~(數學考100分且英文考100分)
有3種人...
(1) 數學100 但英文沒100
(2) 數學沒100 但英文沒100
(3) 數學沒100 且英文沒100
--
不懂

◆ 窮奇[權](村民) (03:57:39)

１(A或B)>(A>~B)
２~(B>D)>~(A>~B)
３A或B

◆ 窮奇[權](村民) (03:57:02)

小織晚安～不可我打一下詳細過程嗎(?)

◆ Mr.Who[權](人狼) (03:56:53)

兩者皆真才真

◆ 窮奇[權](村民) (03:56:44)

且就是兩邊都正確且才有命題正確性

◆ 窮奇[權](村民) (03:56:34)

對呀

◆ 塔奇克馬(貓又) (03:55:58)

再確定，且是兩個必定真？

◆ Mr.Who[權](人狼) (03:55:31)

我要去躺了

◆ Mr.Who[權](人狼) (03:54:52)

糟糕
我不太懂窮奇在幹嘛

◆ 窮奇[權](村民) (03:54:09)

分配律帶進3

◆ 窮奇[權](村民) (03:54:05)

~BvD

◆ 窮奇[權](村民) (03:53:51)

所以B>D

◆ 窮奇[權](村民) (03:53:38)

所以(AvB)>(B>D)

◆ 窮奇[權](村民) (03:52:41)

第二式變成
(A>~B)>(B>D)

◆ Mr.Who[權](人狼) (03:52:39)

但１跟２的前提在 ~A且~D 下都真...

◆ 窮奇[權](村民) (03:52:06)

哦對還有這招

◆ Mr.Who[權](人狼) (03:51:14)

我赫然發現１跟２的結論互斥

◆ 窮奇[權](村民) (03:50:34)

wwww

◆ 塔奇克馬(貓又) (03:50:16)

我想扔電話/_>

◆ 窮奇[權](村民) (03:48:56)

前提換成A AvD當然正確

◆ 窮奇[權](村民) (03:48:46)

前提~A所以又變成D

◆ 窮奇[權](村民) (03:48:33)

B又從第二式變成
~D>A

◆ 窮奇[權](村民) (03:47:52)

小織對

◆ 窮奇[權](村民) (03:47:42)

前提示~A
那從第三式看出B

◆ Mr.Who[權](人狼) (03:46:25)

(44:28) ◆窮奇 AvB也能寫成~A>B
AvB 等價 (~A>B 且 ~B>A)
是這樣嗎

◆ 窮奇[權](村民) (03:45:52)

我們知道A AvD就沒問題
我們知道~A 這個時候D真沒問題那AvD也沒問題
我們知道Av~A恆真所以AvD就恆真

◆ 窮奇[權](村民) (03:44:45)

AvD也能寫成~A>D

◆ Mr.Who[權](人狼) (03:44:44)

由３　因為假設~A

◆ 窮奇[權](村民) (03:44:28)

AvB也能寫成~A>B

◆ 塔奇克馬(貓又) (03:44:25)

◆ 窮奇[權](村民) (03:44:11)

可以用不A來推D

◆ 窮奇[權](村民) (03:43:43)

題目的真值沒問題(O

◆ 塔奇克馬(貓又) (03:43:07)

◆ Mr.Who[權](人狼) (03:42:55)

◆塔奇克馬 A怎麼連到D那裡？
１(A或B)>(A>~B)
２~(B>D)>~(A>~B)
３A或B
你在說哪一條？

◆ 塔奇克馬(貓又) (03:42:40)

雨救村了/

◆ 塔奇克馬(貓又) (03:41:49)

我進不了..

◆ 塔奇克馬(貓又) (03:41:28)

A怎麼連到D那裡？

◆ 窮奇[權](村民) (03:41:23)

然後隔壁聊天村看起來快掛了

◆ 窮奇[權](村民) (03:40:50)

的事情

◆ 窮奇[權](村民) (03:40:46)

我忘了題目WWW

◆ 窮奇[權](村民) (03:40:39)

洗澡休息(?)

◆ 窮奇[權](村民) (03:40:24)

這樣是超快(O

◆ 塔奇克馬(貓又) (03:40:06)

(20:42) ◆窮奇太晚了我先休息[登出]

◆ 窮奇[權](村民) (03:38:18)

反證法喔0 0

◆ 塔奇克馬(貓又) (03:33:13)

（嚼反正法中...

◆ 塔奇克馬(貓又) (03:31:42)

嗯....

◆ Mr.Who[權](人狼) (03:30:52)

塔奇克馬可以了嗎

◆ 塔奇克馬(貓又) (03:29:51)

◆ Mr.Who[權](人狼) (03:29:01)

也就是~A、~D都成立的情況下
造成矛盾
所求就成立了

◆ Mr.Who[權](人狼) (03:27:26)

求A或D
那就用反證法試試
~A且~D 帶進去試試

◆ 緋月(埋毒者) (03:26:31)

◆ Mr.Who[權](人狼) (03:25:58)

◆ 酢漿草[戀](子狐) (03:25:35)

◆ 塔奇克馬(貓又) (03:25:12)

◆ 泡泡(GM) (03:24:14)

◆ 泡泡(GM) (03:24:09)

洗完澡好睡覺

◆ 窮奇[權](村民) (03:23:41)

(A或B)>(A>~B)
~(B>D)>~(A>~B)
A或B
求A或D

◆ 泡泡(GM) (03:23:27)

這是戀～愛～的前兆

◆ 塔奇克馬(貓又) (03:23:24)

(A或B)>(A>~B)
~(B>D)>~(A>~B)
A或B
求A或D
--
老胡～～

◆ Mr.Who[權](人狼) (03:22:51)

我幫你求

◆ Mr.Who[權](人狼) (03:22:40)

題目給我

◆ 塔奇克馬(貓又) (03:21:50)

答案留下！！

◆ Mr.Who[權](人狼) (03:21:11)

又一個詐寢

◆ 窮奇[權](村民) (03:20:42)

太晚了我先休息[登出]

◆ 酢漿草[戀](子狐) (03:18:41)

[錯覺]

◆ 塔奇克馬(貓又) (03:18:13)

這是戀～愛～的前兆（大誤！

◆ 窮奇[權](村民) (03:17:04)

還是說是錯覺(?) 我關心其他人也這樣多(?)

◆ 窮奇[權](村民) (03:16:13)

還蠻難找到答案的(O
不過能持續應該有什麼動機吧

◆ 窮奇[權](村民) (03:15:47)

有幾次我在想我幹嘛那麼關心芬伊希

◆ 窮奇[權](村民) (03:15:25)

◆酢漿草［拒絕說明］
♥

◆ 窮奇[權](村民) (03:15:00)

有些無聊的事情就不想要臨場發揮(O

◆ 酢漿草[戀](子狐) (03:14:29)

［拒絕說明］

◆ 窮奇[權](村民) (03:14:26)

原來真的那麼顯眼喔再次領教了

◆ 窮奇[權](村民) (03:14:15)

◆酢漿草一下就認出這隻馬甲跟聊天村的窮奇講話方式一樣
WWWW

◆ 緋月(埋毒者) (03:14:11)

恩...

◆ 窮奇[權](村民) (03:13:42)

很多問題都沒問到

◆ 窮奇[權](村民) (03:13:35)

叫無口是說玩的時候都不說話嗎0 0之類的

◆ 酢漿草[戀](子狐) (03:13:32)

一下就認出這隻馬甲跟聊天村的窮奇講話方式一樣

◆ 窮奇[權](村民) (03:13:09)

*就

◆ 窮奇[權](村民) (03:13:05)

我救想關心一下(O

◆ 窮奇[權](村民) (03:12:46)

後來我慢慢聽好像說是最近開始玩的玩家

◆ 酢漿草[戀](子狐) (03:12:29)

8人村的

◆ 窮奇[權](村民) (03:12:26)

◆酢漿草
原來如此嗎0 0

◆ 窮奇[權](村民) (03:12:03)

所以所有條件具都是否定句

◆ 酢漿草[戀](子狐) (03:11:50)

最早認識你時你是開馬甲～
我也正好開馬甲～

◆ 窮奇[權](村民) (03:11:49)

AvB
等值~(~A且~B)

◆ Mr.Who[權](人狼) (03:11:46)

泡泡老馬則廢村
不廢村則泡泡不老馬

◆ 窮奇[權](村民) (03:11:20)

或也可以換成且

◆ 窮奇[權](村民) (03:10:55)

這是從"或"經過蘊含律換成的">"(O

◆ 窮奇[權](村民) (03:10:17)

換值換位
~B>A

◆ 窮奇[權](村民) (03:10:10)

~A>B

◆ 窮奇[權](村民) (03:09:56)

知道B假　就知道A真