好玩遊戲
懷舊Flash遊戲
網友自造遊戲
益智謎題
討論區
站內活動
我的GS
線上人數：141
精選謎題列表
所有精選謎題
我解過的
我未解過的
其它謎題列表
所有其它謎題
近期新增
高評等
高人氣
我解過的
我未解過的
謎題分類
邏輯
數學
找規律
空間概念
快問快答
移動成立
創造力
謎語
偵探思考
眼腦並用
文字拆解圖
其他
極簡符號邏輯系統2
- 謎題解析
回謎題解析頁
|
歷史版本
如何編輯？
舉一個可滿足條件的狀況：剩下↓。<br /> <br /> 以下用非正式的方式證明只用↓的確可做到。<br /> 從上題我們已經知道用¬和∨可表示其他所有邏輯符號，如果我們可以用↓表示前二者，那麼↓也可以表示其他所有邏輯符號：<br /> ¬A⇔A↓A<br /> A∨B⇔(A↓B)↓(A↓B)<br /> <br /> 然後再額外用↓來達到 |<br /> A | B⇔(A↓B)↔(A↔B)<br /> 其中↔可只由¬和∨得到，所以↔也可只由↓來得到，證畢。<br /> <br /> 只剩下｜也能滿足題目要求，有興趣者可自行證明看看。
備註
送出