[規則] ERGO 邏輯遊戲
2009年出版的邏輯遊戲
內容物
1.A、B、C、D四種變數卡(variable Card)各四張
2.“and(˙)”、”or(v)”、”then(⊃)”三種運算符號卡各四張
3.”not”卡8張
4.括號卡(Parenthesis Card)6張
5.謬論卡(Fallacy Card)3張
6.辯護卡(Justification Card)3張
7.清除卡(Tabula Rasa Card) 1張
8.交換卡(Revolution Card) 1張
9.鬼牌2張
10.結論卡(Ergo Card)3張
起始設定
每一位玩家從A、B、C、D四個變數中,選一個代表自己的變數,可寫在紙上以避免忘記,
將牌庫洗勻,每位玩家發五張手牌,年紀最小的玩家為起始玩家,並且開始遊戲。
遊戲目標
在每局結束時,證明自己的變數為真
每位玩家的回合流程
1.抽兩張牌,使得手牌變成7張
2.從手上出牌到場上的證明式(最多出2張牌)
3.手卡保留5張,其餘丟至棄牌堆
4.結束回合
証明式的規則
1.場上最多可以同時存在四條証明式
2.証明式中,運算符號(and、or、then)不會連接在一起;變數(A、B、C、D)彼此之間也
不會相鄰。
3.運算符號(and、or、then)必須連接兩個變數(A、B、C、D)
4.括號卡必須兩張一起使用
5.卡片可以從証明式的中間安插進去,但是必須要符合上述規則
遊戲結束
當有下述情況之一出現時,遊戲結束
1.當有人打出結論卡(四個變數都必須在場上出現)
2.當牌庫被抽完,並且該玩家結束他的回合
當遊戲結束時,開始結算每一個變數是否為真。當自己的變數為真,計算所有場上証明式
的卡片數量,每一張卡片均可得到一分。如果有多數玩家的變數均為真,則一同得到分數
注意:當遊戲結束時,在四個變數中,有任何一個變數被証明為矛盾狀態,則該回合所有
玩家不予計分。
卡片說明:
“~”NOT卡:
可以放在某一個變數前面,使得該變數變為否定,例如”~B;可以放在括號前面,用來否
定括號內容,例如”~(A v B)”;如果用於雙重否定,則中間必須要有括號存在,例如:
”~ (~B)”
括號卡(Parenthesis Card):必須兩張一起使用
清除卡(Tabula Rasa Card) :
當出這張卡時,可把場上証明式中的任何一張卡片移除,當回合結束時,所有的証明式均
須符合規則。把被移除的卡片放入牌庫最底下,清除卡則丟至棄牌堆中。
交換卡(Revolution Card):
當出這張卡時,可以把場上任意兩張牌對調(兩張牌須要同種類,例如:均為運算符號或是
均為變數)。交換卡則丟至棄牌堆。
謬論卡(Fallacy Card)與辯護卡(Justification Card):
當某位玩家他的面前被其它玩家放至謬論卡時,該玩家在接下來自己的三回合中,禁止放
任何牌到場上的証明式中,直到三回合結束或是出一張辯護卡。
當玩家是因為被禁止三回合放牌而結束謬論卡的效果時,把謬論卡放回到牌庫最底下,並
且該玩家依然可以被其他玩家再放置謬論卡;如果該玩家是因為放了辯護卡而解除謬論卡
的效果時,其它玩家則不可以再放置另一張謬論卡到該玩家的面前。
鬼牌可以當成辯護卡,但是不可以當成謬論卡。
以下是規則書上所舉出的基本邏輯規則
~(~B)
你可以得到結論:B為真
~(A˙~A)
此式子可以成立,但是不能證明A的真假
A v (A‧B)
A‧(A v B)
兩個式子均証明A為真
A⊃B
~B
証明:A與B均為假
A v B
~A
証明:A為假,B為真
A‧A
A v A
証明: A為真
A v ~A
此式成立,但是不能得到任何結論
A⊃B
A
証明:A與B均為真
A⊃B
B⊃C
可得到結論:A⊃C
~(A v B) = ~A‧~B
~(A‧B) = ~A v ~B
註:then的符號在PPT顯示不出來會變成⊃(這不是填空,是tnen的符號喔)
感謝南瓜妹的遊戲提供
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.171.29.96
推
01/28 21:25, , 1F
01/28 21:25, 1F
推
01/28 21:26, , 2F
01/28 21:26, 2F
→
01/28 21:32, , 3F
01/28 21:32, 3F
推
01/28 21:39, , 4F
01/28 21:39, 4F
推
01/28 21:43, , 5F
01/28 21:43, 5F
→
01/28 22:06, , 6F
01/28 22:06, 6F
推
01/28 22:08, , 7F
01/28 22:08, 7F
→
01/28 22:12, , 8F
01/28 22:12, 8F
推
01/28 22:38, , 9F
01/28 22:38, 9F
推
01/28 23:16, , 10F
01/28 23:16, 10F
→
01/28 23:58, , 11F
01/28 23:58, 11F
推
01/29 16:39, , 12F
01/29 16:39, 12F
推
01/30 02:13, , 13F
01/30 02:13, 13F
→
01/30 03:37, , 14F
01/30 03:37, 14F
→
01/30 23:49, , 15F
01/30 23:49, 15F
推
01/31 01:09, , 16F
01/31 01:09, 16F
→
02/01 00:05, , 17F
02/01 00:05, 17F