古典命題邏輯規則

Rough Explanation of Symbol︰

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、肯定前件）   P→Q   P           Q   MT （modus tollens、否定後件）   P→Q     ¬Q          ¬P   Conj （conjunction、連言）   P     Q           P∧Q （剩下的懶得整理了，需要時再加吧）

CP （conditional proof、條件證明）   P 〔假設〕 ︰ ︰   Q            P→Q IP （indirect proof、歸謬法）   P 〔假設〕 ︰ ︰   Q∧¬Q      ¬P