6.20.2008

古典命題邏輯規則

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


 

No comments:

Post a Comment