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