汝等是人是狼？[過去紀錄]

聊天村　～聊天村～[57507番地]

村莊選項：

	◆緋月 ◆sYqk5ksxu6		◆東鄉美森 ◆zfeUJsNFQY		◆青也 ◆9H3fJx1wUI		◆嘟嘟嘟嚕大大大 ◆1W32Ay0GUo		◆撕阿帕到一半！ ◆4E6IqdEbKo
	◆0={} ◆5mfBy7uOvE		◆白狐 ◆XTu9xCYV6s		◆乂魔剎乂 ◆dGf9m3mv.k

[廢村] 這座村莊已經廢掉，人們離開了

◆緋月 (05:32:23)

32:19

◆緋月 (05:24:19)

24:16

◆緋月 (05:16:16)

16:12

◆緋月 (05:08:12)

08:09

◆緋月 (05:00:08)

00:04

◆緋月 (04:52:04)

52:01

乂魔剎乂來到村莊大廳

白狐來到村莊大廳

◆緋月 (04:44:00)

43:57

◆緋月 (04:35:56)

35:51

◆0={} (04:27:50)

吃字(自指)
http://zh.wikipedia.org/wiki/%E8%87%AA%E6%8C%87
這裡有提到說謊者悖論
http://zh.wikipedia.org/wiki/%E8%B0%8E%E8%A8%80%E8%80%85%E6%82%96%E8%AE%BA

◆0={} (04:26:58)

2. 青也說，邏輯本身只會有對和錯，這是正確的，前提是邏輯要按照邏輯遞迴語法寫出來
剛才舉的兩個例子都牽涉到自我指涉，這是一般邏輯語法生不出來的東西
自指的情況很容易出現矛盾 htt

◆緋月 (04:26:46)

26:44

　　　　　　　　　　　　東鄉美森表示抗議

◆緋月 (04:18:44)

18:41

◆緋月 (04:10:41)

10:37

◆0={} (04:02:36)

吃字(一階邏輯)
http://zh.wikipedia.org/wiki/%E4%B8%80%E9%98%B6%E9%80%BB%E8%BE%91
所以我在推論的時候，會有for all和some的出現

◆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:00:25)

我應該找到我和青也的爭論點在哪了

◆緋月 (03:56:11)

56:05

◆東鄉美森 (03:48:04)

QAQ

0={} 來到村莊大廳

◆緋月 (03:42:42)

42:36

◆撕阿帕到一半！ (03:34:36)

剩一半弄不掉，有誰能幫我?

撕阿帕到一半！來到村莊大廳

◆嘟嘟嘟嚕大大大 (03:27:28)

差點就過了帶錯隊
我帶水盾白盾進去都能進最後了

◆青也 (03:20:11)

心鏡你過了lv7嗎

◆東鄉美森 (03:13:35)

好！清爽！

嘟嘟嘟嚕大大大來到村莊大廳

◆青也 (03:10:52)

orz

◆青也 (03:10:49)

哭哭.....被根性打死

◆東鄉美森 (03:10:47)

RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR

◆東鄉美森 (03:10:41)

剩一半弄不掉。

青也來到村莊大廳

◆東鄉美森 (03:10:28)

結痂撕到一半的感覺好痛苦阿

東鄉美森來到村莊大廳

緋月來到村莊大廳

村莊建立於Sun, 03 May 2015 03:08:04 +0800，來自118.166.74.xxx