Truth Tree Rules for PL

  A v B  
  /   \  
A   B

 

  ~(A v B)  
    ~A    
  ~B  

 

  (A & B)  
    A    
  B  

 

  ~(A & B)  
  /   \  
~A   ~B

 

  A ⊃ B  
  /   \  
~A   B

 

  ~(A ⊃ B)  
    A    
  ~B  

 

  A ≡ B  
  /   \  
A   ~A
B   ~B

 

  ~(A ≡ B)  
  /   \  
A   ~A
~B   B

 

  ~~A  
    A    

 

 

table of contents   List of Exercises