紀錄選項
舊→新 新→舊 含靈 逝者
村民列表 (8/50) (8生存) (完整) (精簡)
緋月 緋月 sYqk5ksxu6 未知
東鄉美森 東鄉美森 zfeUJsNFQY 未知
青也 青也 9H3fJx1wUI 未知
嘟嘟嘟嚕大大大 嘟嘟嘟嚕大大大 1W32Ay0GUo 未知
撕阿帕到一半！ 撕阿帕到一半！ 4E6IqdEbKo 未知
0={} 0={} 5mfBy7uOvE 未知
白狐 白狐 XTu9xCYV6s 未知
乂魔剎乂 乂魔剎乂 dGf9m3mv.k 未知
村莊資訊
村號：57507 (已結束) (0 日目)
村莊選項：
村名：聊天
說明：～聊天村～
更新時間：2015-05-03 05:32:23 (歷史紀錄模式)
訊息
 村莊建立於Sun, 03 May 2015 03:08:04 +0800，來自118.166.74.xxx
 緋月 來到村莊大廳
 東鄉美森 來到村莊大廳
◆ 東鄉美森 (03:10:28)
結痂撕到一半的感覺好痛苦阿
 青也 來到村莊大廳
◆ 東鄉美森 (03:10:41)
剩一半弄不掉。
◆ 東鄉美森 (03:10:47)
RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR
◆ 青也 (03:10:49)
哭哭.....被根性打死
◆ 青也 (03:10:52)
orz
 嘟嘟嘟嚕大大大 來到村莊大廳
◆ 東鄉美森 (03:13:35)
好！清爽！
◆ 青也 (03:20:11)
心鏡你過了lv7嗎
◆ 嘟嘟嘟嚕大大大 (03:27:28)
差點就過了 帶錯隊
我帶水盾白盾進去都能進最後了
 撕阿帕到一半！ 來到村莊大廳
◆ 撕阿帕到一半！ (03:34:36)
剩一半弄不掉，有誰能幫我?
◆ 緋月 (03:42:42)
42:36
 0={} 來到村莊大廳
◆ 東鄉美森 (03:48:04)
QAQ
◆ 緋月 (03:56:11)
56:05
◆ 0={} (04:00:25)
我應該找到我和青也的爭論點在哪了
◆ 0={} (04:01:47)
1. 我和青也的確使用兩種不同的邏輯
青也使用的邏輯是命題邏輯 http://zh.wikipedia.org/wiki/%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91
我用的是包含量化符號的一階邏輯
http://zh.wikipedia.org/wiki/%E4%B8%80%E9%98%B6%E9%80%BB%
◆ 0={} (04:02:36)
吃字(一階邏輯)
http://zh.wikipedia.org/wiki/%E4%B8%80%E9%98%B6%E9%80%BB%E8%BE%91
所以我在推論的時候，會有for all和some的出現
◆ 緋月 (04:10:41)
10:37
◆ 緋月 (04:18:44)
18:41
 東鄉美森 表示抗議
◆ 緋月 (04:26:46)
26:44
◆ 0={} (04:26:58)
2. 青也說，邏輯本身只會有對和錯，這是正確的，前提是邏輯要按照邏輯遞迴語法寫出來
剛才舉的兩個例子都牽涉到自我指涉，這是一般邏輯語法生不出來的東西
自指的情況很容易出現矛盾 htt
◆ 緋月 (04:35:56)
35:51
◆ 緋月 (04:44:00)
43:57
 白狐 來到村莊大廳
 乂魔剎乂 來到村莊大廳
◆ 緋月 (04:52:04)
52:01
◆ 緋月 (05:00:08)
00:04
◆ 緋月 (05:08:12)
08:09
◆ 緋月 (05:16:16)
16:12
◆ 緋月 (05:24:19)
24:16
◆ 緋月 (05:32:23)
32:19
 東鄉美森 提出異議
 [廢村] 這座村莊已經廢掉，人們離開了