RULES FOR CONSTRUCTING TRUTH TREES


 

P Q   ü
   P 
   Q 

P V Q   ü
  /   \ 
P    Q 

  P Q   ü
    /   \ 
~ P   Q 

P Q   ü
   /     \ 
 P    ~ P 
 Q   ~ Q 
 
 
 

 

~ (P Q)  ü 
     /     \ 
 ~P    ~Q 

~ (P V Q)   ü
     ~ P 
     ~Q 

~ (P Q)   ü
       P 
     ~ Q 

~ (P Q)   ü
      /     \ 
    P     ~ P 
  ~ Q     Q 

~ ~ P   ü
   P


Page last updated:
Send email to Donald Nute