434  12.  - 

   

1.   ( ) 2.  
p > q                             ( )

                                                     P>q

                              -

.".q                                             __

'-
3.          4.  

p>q                             p>q
q<r                             -p

.-.p>r                                         .-.q

5.            6. 
(p>q)-(r>s)                      p>q

.-.qvs                                        .-.p>(p-q)

7.                     8. 
p.q                            p

                                          q
.'.p                                           __

  
9. 


.-. p v q

12.2.1.    


      -
.  ,    ,  
,          .  
    , Web-,   ,
 ,     . 
    ,  .   , 
    ,  .  ,  
     ,    -
  .      
           
    .  ,   , -
   ,      ,  