古典命題邏輯規則

P∧Q︰P and Q P→Q︰if P then Q P≡Q︰（P→Q）∧（Q→P）, P∨Q︰P or Q ¬P︰not P. Rules for Sentential Logic︰. MP （modus ponens、肯定前件 ... 找我演講｜FB｜ IG｜ Twitter｜ Plurk 6.20.2008 古典命題邏輯規則 RoughExplanationofSymbol︰P∧Q︰PandQP→Q︰ifPthenQP≡Q︰（P→Q）∧（Q→P）P∨Q︰PorQ¬P︰notP RulesforSententialLogic︰MP（modusponens、肯定前件） P→Q P         Q MT（modustollens、否定後件） P→Q   ¬Q        ¬P Conj（conjunction、連言） P   Q         P∧Q（剩下的懶得整理了，需要時再加吧）CP（conditionalproof、條件證明） P〔假設〕︰︰ Q          P→QIP（indirectproof、歸謬法） P〔假設〕︰︰ Q∧¬Q    ¬P  口味: 哲學, 基本概念, 邏輯 沒有留言: 張貼留言 較新的文章 較舊的文章 首頁 訂閱： 張貼留言(Atom) 晚安晚安大家晚安 我是哲學哲學雞蛋糕的腦闆朱家安 我想要寫出平易近人的哲學 我寫的書，很好看喔↑ PHILOSOPHY 哲學 (262) 活動情報 (99) 道德哲學 (44) 關於哲學 (40) 學院幽默 (34) 哲學營 (30) 哲學漫畫 (24) 心靈哲學 (23) 基本概念 (21) 科學哲學 (21) 社會政治哲學 (19) 關於這裡 (18) 理性 (17) 語言哲學 (17) 形上學 (16) 學哲學 (13) 宗教哲學 (13) 學院陰謀論 (12) 思想實驗 (9) 知識論 (9) 自由意志 (9) 邏輯 (9) 實驗哲學 (1) SOCIETY 社會 (202) 宗教 (62) 科學 (46) 性別 (40) 論理方法 (37) 死刑 (33) 教育 (25) 文言文 (17) 推論練習 (10) PopularPosts 傷害原則的心理基礎和運用 柏拉圖的理型論 實然和應然 ARCHIVE ►  2021 (10) ►  十月 (1) ►  八月 (3) ►  七月 (3) ►  三月 (2) ►  一月 (1) ►  2020 (6) ►  十二月 (2) ►  十一月 (1) ►  八月 (2) ►  七月 (1) ►  2019 (13) ►  十二月 (1) ►  十一月 (1) ►  十月 (1) ►  九月 (1) ►  八月 (2) ►  七月 (2) ►  六月 (1) ►  五月 (1) ►  四月 (1) ►  二月 (1) ►  一月 (1) ►  2018 (22) ►  十一月 (2) ►  十月 (1) ►  九月 (3) ►  八月 (2) ►  七月 (1) ►  六月 (2) ►  五月 (1) ►  四月 (4) ►  三月 (4) ►  一月 (2) ►  2017 (20) ►  十二月 (2) ►  十一月 (3) ►  十月 (3) ►  八月 (2) ►  七月 (1) ►  六月 (1) ►  五月 (1) ►  四月 (2) ►  三月 (2) ►  二月 (1) ►  一月 (2) ►  2016 (32) ►  十二月 (1) ►  十一月 (1) ►  十月 (2) ►  九月 (1) ►  八月 (2) ►  七月 (3) ►  六月 (3) ►  五月 (3) ►  四月 (4) ►  三月 (4) ►  二月 (4) ►  一月 (4) ►  2015 (31) ►  十二月 (1) ►  十一月 (4) ►  十月 (3) ►  九月 (2) ►  八月 (1) ►  七月 (3) ►  六月 (2) ►  五月 (6) ►  四月 (4) ►  三月 (2) ►  二月 (2) ►  一月 (1) ►  2014 (23) ►  十二月 (3) ►  十一月 (5) ►  十月 (6) ►  九月 (5) ►  八月 (2) ►  五月 (1) ►  四月 (1) ►  2013 (65) ►  十二月 (1) ►  十一月 (2) ►  十月 (2) ►  九月 (5) ►  八月 (10) ►  七月 (2) ►  六月 (10) ►  五月 (12) ►  四月 (8) ►  三月 (5) ►  二月 (5) ►  一月 (3) ►  2012 (86) ►  十二月 (6) ►  十一月 (7) ►  十月 (4) ►  九月 (3) ►  八月 (4) ►  七月 (3) ►  六月 (4) ►  五月 (11) ►  四月 (14) ►  三月 (10) ►  二月 (10) ►  一月 (10) ►  2011 (111) ►  十二月 (5) ►  十一月 (7) ►  十月 (9) ►  九月 (15) ►  八月 (14) ►  七月 (12) ►  六月 (12) ►  五月 (7) ►  四月 (3) ►  三月 (7) ►  二月 (9) ►  一月 (11) ►  2010 (181) ►  十二月 (6) ►  十一月 (11) ►  十月 (12) ►  九月 (21) ►  八月 (8) ►  七月 (9) ►  六月 (9) ►  五月 (18) ►  四月 (14) ►  三月 (14) ►  二月 (32) ►  一月 (27) ►  2009 (357) ►  十二月 (22) ►  十一月 (17) ►  十月 (29) ►  九月 (26) ►  八月 (24) ►  七月 (25) ►  六月 (39) ►  五月 (20) ►  四月 (40) ►  三月 (51) ►  二月 (31) ►  一月 (33) ▼  2008 (244) ►  十二月 (29) ►  十一月 (21) ►  十月 (29) ►  九月 (31) ►  八月 (6) ►  七月 (4) ▼  六月 (21) DNModel的旗竿問題 意料之外的審判日 MichaelSmith'sNormativeReasons 以身作則vs.不以人廢言 OnScanlon’s“WilliamsonInternalandExternalRe... 哲學家的條件 古典命題邏輯規則 ScanlononInternalandExternalReasons 內在理由與外在理由 真理的修正理論TheRevisionTheoryofTruth＃1 真理的修正理論TheRevisionTheoryofTruth＃2 簡單型和加強型說謊者悖論SimpleandStrengthenedLiar 輔助假說的修正與adhoc T-schema 說謊者悖論們 真理的外延問題和本質問題 重新開幕後的小裝潢 AbsoluteAbsolut Hume論實踐理性 舊的著作權宣告 上帝不存在的邪惡論證 ►  五月 (25) ►  四月 (24) ►  三月 (24) ►  二月 (8) ►  一月 (22)