You are on page 1of 6

ACERCA DE LA HISTORIA DE LA LÓGICA

c
c cc c c

c  cc

c
c c
c 
c c c c 
c c 

c c  c 
c c  c
 c c c c c c  c c c 
c 
c c c cc


c c c
c 
c  c c 
c 
c c 
c c 

c c
c c c 
c 
c c 
 cc c  c cc

c c c c 
c c  c 
c 
c  c c 
 c c c
 

c 
c
c  c 
 c  c c ccc  ccc  cc
c  c  c  c c  

c c 
c c 
c 
c

cc
c  ccc c  
c
c c
c c cc cc c 
c
ccc c c
 cc
 c   c c  
c   c 
c  c 

c c c c c 
c
  c c !
cc c 
 c   c 
  c "
 c c
 #cc 
c cc

cc  c  c
c c(los  c cc#c
$c  c  c c  
c
 c  
 c " c  #c c c  c
 c
  c
$
c c  c c %&&c 
c  c '&&c 
c 
c (c c  
c  c

 c  c c  c  c ) c 
 c  

 c 
c 
c
*   cc  c
c
 c  c  c c  
 c*   c 
cc


c  cc   cc  c cc  
 cc c

c
c
c c cc cc+ cc
$ + c c 
cc c c c c   c c 
c
c c
ccc
c  c  c ccc  c 
cc,

c
c
c

c c 
c c c c c c 
c c c 
c c  c  c  c
 

 c  c    c c  c c 
c $  c -.
c c 
c  c
 cc c c/0&&cc c/1&&c
 c c c c c c   
c c c 
c   c c  c
 cc 
ccc  c  cc 
c
c c  c c cc
c  c c  c c c  c 
c c c  
c c


cc 
  cc
 c c cc 
c
c2c3 c
4c c5 
c(

c, c( cc6 c*c, cc( c c 
c c


 c c c
 c cc cc cc
c
c 
c
 c
c c
 c
cc


c cc c  ccc c
 cc
  c c c   c 7
c 
c c c c c c 
c 
 c c c
 c c 

 c 6
c 
c c 
c c c 
+c 
c c  c
 
c cc
c 
c 
 c  cc
c c
 c
 c
2c  
c 
c  c c c  c   c c  
c c $ 8 c 
c
 c c
cc  
c c  ccc c 
 c
c  
c 
c  c c c  
c c c  c  c c c

c 
c c c c )c c +
  c 
c c  c  c 
c c


c 
 

c  
c c  c   c c  c c  c   c c


 c
c c
3!-7c4 *)9:c9*,,:c c92;9:c(:-<* )c c Ñ 
  c c4=c
c Lógica
proposicional
r r c

ác [onocer la regla que a ume el proce o de pen amiento que refleja la realidad.
ác ´alorar la importancia de la Lógica en la  demotracione  matemática .
ác x cálculo propo icional para analizar la verdad o fal edad de la 
propoicione  compue ta .



c
 
ëi un va o de vidrio cae al pio, e  lógico que e quiebre. c
ëi e tudio con ba tante dedicación, e  lógico que apruebe el examen.
c
Una probable re pue ta ería que damo a entender que existe una
coherencia o sentido correcto  po que hacemos, pero también podemo c
afirmar que iempre extraemo  concluione , lo cual e  inherente ac
nue tra capacidad racional.
c
Tanto en la vida diaria como, obre todo, en la inve tigación científica, el
er humano debe mucho à u  éxito  o fraca o  a la eficacia de u cc
razonamiento , dado que e to  le permiten conocer mejor la realidad. En
c
tanto que un razonamiento, con frecuencia, prolonga el cambio hacia
el conocimiento verdadero. c
La Lógica e ocupa, jutamente, de determinar qué e  lo que hace que
c
un razonamiento ea correcto o no lo ea.
La Lógica nace en Grecia antigua, en el exto iglo a.n.e., con Tale , el c
primer matemático de pa ºi toria, pero pa ó algún tiempo ante  de que
c
Ari tótele  inicie u i tematización y otro tiempo mayor aún para que
auma el apecto moderno de ciencia. Actualmente, aparece como una c
ciencia riguroa, con un lenguaje técnico elaborado y preci o, pue  la c
utilización que hace del imboli mo le permite evitar la confuione  y
ambigüedade del lenguaje natural. A la Lógica en u e tado actual de c
de arrollo, e le conoce como Lógica imbólica o lógico-matemática, c
nombre  que aluden a u uo
c

c
 
O   
    
          
  
 >    
     
 
   

  /?%0  
  
 
 
      
     O 
 
   
 
   
            
    
  
               
    
         
 
   
   
 
    

     
               
     
       O      



    

 

 

 
 
  

 
 

 
  
 

O /??@ 
 
      
 

    O    
  
 
  0      

         0&&        
     
  

 

  

            


   
O   !;;;     ;
"># $8%

&  
     
      &   
     
 
    
     
     
     
   
          
 O 
   O  '   
       
  

              
           
  
 



       
    
   
    

     
   
9(
  
    )    

|         

   
     
   
       


  
 
     
 
   $
*     
  ( 

 


         

  
O 
   
.  +     
           
 

         
 


 

 /?&  ,  8 .        
  

        
 &  /  
 " 
  

  
 &/O     -
   

        
 
  

 8 . 
 
   
 

    
  
 


 

  

 O              
 

 
> 
   

           
c
c
O   
 
   

      àà 
 9  
 
           
    
   
à 

 
 àà   `  
   
 

   
àà   

      


O 
  à 
           à
       O  
     
         à 
  
  "  à   

  
     
 
       à             

 
      %&  
  à      
>      
  

 à  
à
    

 
      


 
  
  
 (    

   
 
   
 
   
     
 

 àà   .& /A
  
  "
  " 
      #  Ñ 
    
                
        
         
  /   /  /   O  
   
   
  9  
     
 à   
   

   

    
  
 0  

          
  1           
    
 
 

    
 
 

   
    
            
      
 
          
      9     
   
   
 
  "      
       
         
 
"   
    
    
"    

 
 # 



 
  



à  
  O 
      
       "#(#           

 
>  

       

       "        

     
  
 #> 
   
    , #  

    
              
"   
        
            
   

  
#   
      
 
 >  "         

  > 


   
 

c
[r[rr
cccccccccccccccccc c Enc elc e tudioc dec lac Lógicac e c
Enc primerc término,c con ideremo c convenientec utilizarc expre ione c
un clenguajeccomocuncconjuntocdec onido ,cc uniforme c conc elc finc
 evitarc
letra cge to cyc ímbolo cmedianteclo ccuale c ambigüedade c yac quec lo c término c
c
ec tra mitec unc men aje.c Enc elc lenguajec u ado c comoc conjuncione c ec puedenc
oralc oc e crito,c no c referimo c ac letra ,cc expre arc di tinta cpalabra .c
palabra c oc vocablo c quec alc agrupar ec O emppos
puedenc tenerc ignificaciónc oc carecerc decc
ác ëicuancllegacacla ccp.m.,c
ella.c
c e tudiaremo cAritmética.c
Enc egundoctérmino,celcjuicioce celcactoc
ëice cquecuancllegacacla ccp.m.c
pen amo cc
ác
mentalc porc elc cualc
cualquiercenunciado.cEnctercerctérmino,c e tudiaremo cAritmética.c
c E tudiaremo cAritméticac iemprecyc
unac entenciac e c unac eriec dec igno c ac ác

travé c dec lo c cuale c ec expre anc idea .cc cuandocuanclleguecacla ccp.m.c


inalmente,c enc cuartoc términoc ác E tudiaremo cAritméticacconctalc
denominaremo c enunciadoc ac lac expre ióncc quecuancclleguecacla ccc
dec unac idea,c e toc e c cualquierc fra e,c 9       
c
expre iónc uc oraciónc quec no c expre ec unac 
 
  
oc má c idea .c ec e tac manera,c lo cc     
 O   

 
enunciado c puedenc erc dec do c tipo c        

atómico cycmoleculare .c c

           
c  
1
O  
 ác ëicuancllegacacla ccp.m.c
c entonce ce tudiaremo cAritmética.c
E caquelcqueccarececdec
conjuncione .c c Entendemo c ahorac lac nece idad c
dec  Lógica,cporce tablecerce tructura c
c ac partirc dec  cuale ,c poderc evaluarc lac
O emppos
coherenciac delc di cur oc yc lac validezc dec
ác˜edroce cingenierocindu trial. cc
lo c razonamiento c derivado c
 lo c
ác Laceconomíacperuanace c
c enunciado c expre ado ,c mediantec
independiente.c  encelclenguajeccomún.c
c
O  
 O  
c
¿QUÉ ES UNA PROPOSICIóN?
ëec obtienec combinandoc
c
enunciado c atómico c mediantec             
conjuncione .c c              

 c enunciado c uc oracione c
O emppos c
declarativa .c
ác Antonioce cuncbuence tudiantecyclac c ue troclenguajece tácformadocporc
guitarracdecarielace cpequeña.c enunciadoccaunquecnoctodo cello c onc
c c
ác [uandoc Antonioc e c buenc propo icione .c
e tudiantec uc madrec e tác
contenta.c
O 
 ëic unac p ropo iciónc u e c
/O(  verd adera, c anotaremo c e tec hechoc
O   c conc lac letrac ´ Enc cambio,c ic lac
'23 "4 p ropo ición c u e c fal a,c la c
c
@5:   6 anotaremo cconclacletracÑ 
Π   "  c O          
.c
lce cunce critorcperuano .c  
  1
c
( 
      
  
c
      

O ˜   
 uc
|
 
1O(  c !

 !
O2O  
c )  )
Lo c enunciado c c yc c noc tra mitenc unac c
propo ición,c pue c la c
pregunta ,c
c Appicación 1
exclamacione cycordene cnoc oncverdadera coc
fal a c onc enc todoc ca o,c ju ta c ec inju ta ,cc %       
 
 
incera cocfingida ,cetc.).c       
c
Lo c enunciado c c yc c onc expre ione c c /  
quec eccomportancdecmaneracambigua,cquecc c 29  

4
parac cierto c ca o c adoptanc elc valorc dec c 'O
  

verdaderocycparacotro celcvalorcdecfal o;cporcc .c ëéchonradocyctrabajador.c

lo c quec ec le c denomina,c también,cc .c 8ce cuncnúmerocparcyce cmayorcquecc


   
  Lo c cuale c dependenc dec
unac  expre adoc enc palabra c occ
0

ëoncpropo icione clógica c;ccyc ,cdadoc
ímbolo cmatemático ,cdeclo cenunciado c
c
quec ecle cpuedeca ignarcvalorcdecverdadc
O ce cunce critorcperuano.
c ocfal edad.cLo cenunciado ccyc cnoc onc
diondecö e cunacvariable.cëica ignamo c
alguno cnombre cdecper ona ,c ecob ervacc c propo icione clógica .c
[irocAlegríaes un escritor peruano. E c ˜orcloctanto,c;ccyc c oncpropo icione c
|   c
lógica .c
 acc ewtonc e c unc e critorc peruano O c
 
Appicación 2
c c
PRO0POSICIóN LÓGICA %         
E c elc ignificadoc dec unac exp re ión c 7  


quec ec caracterizac porc tenerc oloc unc valorc uc LacLunace cunc atélitecdeclacc
veritativo,ce cdecir,celc ignificad.c ccccccccTierra.c
 !   
Lac po ibilidad c dec erc verdaderoc oc fal o,c
 !%  
perocnoclo cdo caclacvez.c
"! 
  
           
 !O
    
propo icione ,c independientemente c dep
cuap eac uc contenido;c imbolizamo c ac
0

la c propo icione c mediantec letra c
ëoncpropo icione cverdadera c
minú cula c p,q,r,s,«.   
A
p, s, t. ëoncpropo icione c

  |
!
!   
fal a cq, r.