KODEKS REGUŁ WNIOSKOWANA DLA RACHUNKU ZDAŃ 

 
 
~~ α 
------  ON (NN) 
   α  
 
 

α

 

------  DN 
~~ α  

α

 

∧∧∧∧

 β   

α

 

∧∧∧∧

 β 

-------               -------   OK 
   α 

 

   β  

   α 
   β 
-------  DK 
α

 

∧∧∧∧

 β  

 
 

   α 

∨∨∨∨

 β  

 α 

∨∨∨∨

 β 

~α 

 

      ~β 

----------  

--------  OA 

         β  

       α  

 
 

α

 

 

       β 

-------   

-------     DA 

α

 

∨∨∨∨

 β   

α

 

∨∨∨∨

 β  

 

 

α

 

→

→

→

→

 β   

 

α

 

 

 

 

--------  MPP (RO) 
        β   
 
 

α

 

→

→

→

→

 β   

 

     ~ β   

 

 

--------  MTT   
~α 
 

α

 ↔ β   

α

 ↔ β 

--------             -------- OE (OR) 
α

 

→

→

→

→

 β   

β

 

→

→

→

→

 α   

 
 
 

α

 

→

→

→

→

 β 

β

 

→

→

→

→

 α 

-------      DE (DR) 
α

 ↔ β  

 

~(α 

∧∧∧∧

 β) 

---------- 

NK 

~α 

∨∨∨∨

 ~β  

 
 

~(α 

∨∨∨∨

 β) 

---------- 

NA 

~α 

∧∧∧∧

 ~β  

 

~(α 

→

→

→

→

 β) 

----------- 

NI 

  α 

∧∧∧∧

 ~β  

 

~(α ↔ β) 

~(α ↔ β) 

----------- 

----------- 

NE (NR) 

 ~α ↔ β 

 α ↔  ~β