Editan Logika [PDF]

Citation preview

c
 
c  c 
 
  c  c 
   



   
c 
  | c    |      |  c      |   c     |
c     |       | c     |  c     |        |c !
   | !     



          



          



    !     
c  c 
 
 
   c   
     
   "  c




      ÷
                         
           
              



                         



                   
                 !     



    ÷        
                   !          !



         



    



























" #  $%&$







   







   



        















÷ 



       " "



   #$#%"&'#(#)*            ÷                   



              '  "                                
                                                                  
                                       



 



 (  )          *                       +               !            
                                &%)+#$##) ,        ( )      -                                                #     ,&%)+#$##) -$#$&.&)(ð
 )  



                      



 .            !  /    0 (

 

 )         



+                  







# ,&%)+#$##)       !              1       



    ,%/,/-0-0 (È
È
ð 
ð)  (#'0.#$ $&%$1$1, #  



     



             /2&)#%02
    



                /-#'#30  | &%)+#$##)$1)**#'4#).#5&.1(        



   



  
         



     



 
  ÷



   



     



    



              



 
                               



    



         
             



 
       



      




  




 -    



 
            



     





                 







  





  ,      







   
 



 
                      Contoh 1.1 "      



3 ( )"       ()$4567 ()+       ()     



  8    9%%%: ()       -   ( )   ()    



        / 0 -   ()



   



        /  0 -   ()         !                    



 2                           ()   







 -   ()    



                                      Contoh 1.2 "        



3 ( )"     ; ()+               
    !         



R



"



K



KR



KR"È



("%&È"&È















:



:















:



:



:







:







:















:











:



:























 #1$/'/*07
/)$%#40(-04#)
/)$0)*&)-0 1.4.1 Tauto ogi



&80)0-0  




  $#1$/'/*0
 



              







    Contoh 1.10        
  







 



   



)(È"È )(('R)MK)"  ð





) &&%



 



È







È



È"È



































































) &&& 



R



'R



K



('R)MK



(('R)MK)"















:



:











:







:



:







:























:



:



:







:







  1.4.2 Kontradiksi



&80)0-0  




  (/)$%#40(-0
 



               







   1         .1-$#30'9
ð  



Contoh 1.11        
  







 



    



)È&È )(MR)MK  ð





) &&$ È



&È



È&È



















































 ) &&5











R



MR



K



(MR)MK















:



:







:



:



:



:



:







:







:



:



:



:







:



             1.4.3 Kontingensi



&80)0-0
/)$0)*&)-0(]
 ] )    




                    '  '  



   Contoh 1.12        
  







 



   



)È"È )(È"È  ð





) &&B ÷



R



RM



"È























:



:



:



:







:







:



:



:







 ) &&7 



R



"



'R



("R)M('R)



























:



:







:



:



















:



:







:



:



  V
/):&%-7
/)$%#,/-0-04#)):&%- # È"             



     È"  3
/):&%-(]
 ð) È"   "È2
/)$%#,/-0-0*
/)$%#,/-0$08(]

È
ð ) È"    (K)W(KÈ)2 ):&%-( ð) È"   (KÈ)"(K)



Contoh 1.13



 '   ! '    3



)Ë !"Ë$ ! )#  
         )Ë6N5"Ë     
  ð





)'
 ð3Ë$ !"Ë ! '

È
ðð3Ë$   !"Ë   ! ( ð3Ë   !"Ë$   ! )'
 ð3#          
 '

È
ðð3#              
 ( ð3#    
           )'
 ð3Ë     
"Ë65 '

È
ðð3Ë       
"Ë6N5 ( ð3ËD5"Ë       
  .,'0(#-0/*0-4#) (10:#'&)-0/*0- 1.6.1 ImÈ ikasi Logis # È"   È"         È       ÈX   /ÈÈ
ð 
ð0+  È"      



È    



      '  '     



Contoh 1.14        
  







 
      3



)(È"È )K"È"  ð





) &&? 







È



È"È























:



:







:







:







:



:



:







 # (ÈMN)"NÈ  ) &&@ 



!



&È



È"



&È"È"











:















:



:



:







:



















:



:















 # KÈN"N(È"N)  1.6.2 Ekuiva ensi Logis



&80)0-0  



& $  &(10:#'&)'/*0-(&(10:#'&))   ð$%ð(  ü&

ð 
ð) &Y$(   /&
 
$)
 & $     (    &U$ )  Contoh 1.15        
  







 
      3



)| K(K)U )| K(MR)U(K)'(KR)   ð





)| &&9 



&È



K(K)



K(K)U



































































 # K(K)U K(K)YNÈ



) &&> 



























!



&



&!



!



&!







 &)&!



&È%&È& 



































































































































 # &!U&&!

&!YN&&!  &/%&.# ÷







ÈT (K)T(KÈ)    '   



&&> 
          (K)T(KÈ)  ÈT   È







È"



&



&È



&"&È







































































































&$%  -  5 ?  &$%          







ÈT (K)T(KÈ)    '  #    !      '       &/%&.# ÷







ÈT (KÈ)8N    '   



&$&
          (KÈ)8N(7)  ÈT(5)



&$& 



!



"!



&



&!



















































































 /#'6-/#'#$03#) &               



=



)+  5    != )5476@ )÷   $%%B "   
G1 )"     ; )$ËC&6&% !)# G              $     







 3



).          )54BQ@ )         1  )   

  5  È    







 È3    3-         



 







    È      



)      )-         
     )     
         )#                  B  È     







    +"