You are on page 1of 8

/-c42('cc/0'(/.

c02&/--,cccc(-(cC(&-C(&/(cc#Fc
c c c

c c%c8  c
#c c
) 
c
c(/G/(/.'c-c(c..//.'-c.0/(c c! 

c cc % cc!c  #cc c %cc@  cc
c c
c
c -c c 
c
c
.-'&-cc 4 3 " c c      
! c &
c 5c

c
c c 
c 

c c c c
c5 
cc
c
c c 
c
c 
c
c
cc
c c  c c  c 3*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%c4 
c
c c c
#c c\$ 
c%c c
c  c ! c - c9  6c
c c
*c
c 
cc ccr cc c #cc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 ) c
c &

c c 
c*
!c%c
 c c ;9
c
c "
c
c
c

c c
c c " c
c
8<c
c

c
c
 *c c =(7c>c=7=(c
#c

c 

c
c 
c c (?7@7?(c
c
)!


c c *cc  cc!c  cc c #cc @ @ cc
c'(c c -c c"
c
c 
c
c c
A c
c c

c+(c(,c-(c.'&/0.1c-c #c c >c%c>#c

c >#c
c 2c c c! 

c cc cc!c cc c #cc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( Bc
cc c !5c
 c
#c . c

*c c - cCc
c c
*c c c* 6c
c 
cc cc!c cc c #cc @ c
c'(c c c2*
c'  c
c&  c
c c c8!  c
c c 
c 
c
 
c #c - c/ c'  c
c  c
)
c
c c c
c 3
)cc% 
cc*c c! 

c cc  cc!c #cc  c #cc
c #c
c 4 c%c45cc
 c)

c c 'cc 
c ) c
c  !%
"
c
6c c
c
c c!
c c - c c
c c

c"
c
c
) 6c
c  
c
cAc
c 45c%c4 cc )c c C
c
c c
)
c
c  c
#c c 5 c
c c c!6 c
c c

c**c c c!cD cc  Ec
c * c
'cc 
c 
cc!c cc c #ccc  cc
c& c c -c
c
8c c  c
c  c%c c!
c
c  c
c c 
c
 *c #c 3)c c
 !cD
c
Bc
c
c) Ec
c (

c
c
c
c
c c) c() c c 
c 
!c cc c #ccc #cc
c' (c
c + 1c c c 
c 

c
c 7 c
c
c !
c  5 )c c c
c c8
c%c


cc 
c
c &c c 
c)c 

c
c c c c !cD  Ec

c*c) c
#c cc
c c !5 c c #c
c c8
c c
c c
c 
cc cc!c  cc  ccc%cc
c #c c ( c
c%cc
*
c
c*

c
6c Ac
c 'cc 
c #c c cc 
c
c
  c 
c
c c
  c
c 'cc 
c

cc cc!c cc c #cc @  cc
 #c
c 

 c
)c 
 
c%c c
c c c 
6 c c
/-c42('cc/0'(/.c02&/--,cccc(-(cC(&-C(&/(cc#Fc /-c42('cc/0'(/.c02&/--,cccc(-(cC(&-C(&/(cc#Fc
c c
  c(/G/(/.'c-c(c..//.'-c.0/(c   c(/G/(/.'c-c(c..//.'-c.0/(c
c c
.-'&-cc 4 3 " c .-'&-cc 4 3 " 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
c c!c
cG  cc cC
cc
c cc 

cc c

c
c 

c cG  cc cC
cc
c cc 

cc c

c
c 

c
c&  c c c-
Bcccc
c c* c
cc &  c c&  c c c-
Bcccc
c c* c
cc&   c
c&
c%c. cc
!
c

c c8!  c c&
c%c. cc
!
c

c c8!  c
#c- c
8c%c- ccc
c
Bc #c- c
8c%c- ccc
c
Bc
c 
c *c %ccc!cc% cc 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
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
8c
c c
)c
cc
c c! c
cc c - c
8c
c c
)c
cc
c c! c
cc
c cc
c c 
 c6  c c cc
c c 
 c6  c
#c &c c*
cc*

!c #c &c c*
cc*

!c
c 
c c%ccc!c%cc c %#cc %#cc
c& c c 
c c%ccc!c%cc c %#cc %#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 7 *c  c c
8c !5c c 
c c 7 *c  c c
8c !5c c 
c
c c%c*
c

cc!6c*
c c c%c*
c

cc!6c*
c
c &cc%c cc c c &cc%c cc c
#c - c Bc%c
c

!cc)c #c - c Bc%c
c

!cc)c
c 
c %cc!cc%ccc cc%c ccc c%c#cc
c c c 
c %cc!cc%ccc cc%c ccc c%c#cc
c c
c c 
cc ) c c c 
cc ) c
c ;\$ 5cc
<c #c ;\$ 5cc
<c
c Hc?cIc@c #c
cc@cJc c Hc?cIc@c #c
cc@cJc
c \$ 
c)
ccc c *
c c \$ 
c)
ccc c *
c
c (c!
c


c c !c c (c!
c


c c !c
c 
c cc!cccc cccccc
cc Kc c c 
c cc!cccc cccccc
cc Kc 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 6c c
c
8cc
c
c(  %c c - c c 6c c
c
8cc
c
c(  %c
! c - c
c Lc

ccLc*
c ! c - c
c Lc

ccLc*
c
c - c8
c  c
c)
c
cMc%c

cc c
c


c c - c8
c  c
c)
c
cMc%c

cc c
c


c
 c c*
 c
c c * c
c
cc%c cc
c
 Bcc*
 c  c c*
 c
c c * c
c
cc%c cc
c
 Bcc*
 c

c 
c

c - c 6 c  8c*c
cNLc%cILc
c Lcc
c - c 6 c  8c*c
cNLc%cILc
c Lcc

c c

c c
/-c42('cc/0'(/.c02&/--,cccccccccC(&-C(&/(cc#Fc
c c
!!"!#" !"!\$%#""c.'-&.-c
.0/.c
c
 c ½ c Ejemplo: c  ½ c ^  c c ½R ^½ ^Se vincula a través
Son aquellas en donde el adverbio negativo ͞no͟ o sus Rc a U½ forma profesionales y es un centro de del conector ͙͙... o ͙͙͙.
expresiones equivalentes afectan a una o más investigación. Ejemplo
proposiciones. R   m ; . ; ; x Rc ónica es poeta o deportista
Ejemplos: l   pm q
Rc Es falso que Juan sea peruano. ^ cR½
½ c R   cccë ` +
Rc ½o es cierto que sea utilitarista y naturalista a la c
vez. Símbolos: Ô mD;Ô.D;Ô D;ÔxD l  cp ë q
R   r` ] ` ʹ Traducción Verbal: se lee ^ c ½ c½R ^½ ^c
l  cc r p ÔyD Símbolos: Ô ëD`Ô+D
Ô incluso D Traducción Verbal: se lee
^ c½^c Ô pero D ÔoD
Ô aunque D Ô a menos que D
Símbolos: rÔ` ]Ô` - Ô Ô al igual que D a menos que Ô D
Traducción Verbal: se lee Ô tal como D Ô salvo que D
½o Ô Ô tanto como D Ô y bien` o también D
½unca Ô (negadores internos) Ô también D Ô excepto D
Jamás Ô Ô así como D Ô o incluso D
½
Es absurdo que Ô Ô vemos que también D Ô o a la vez D
Es inconcebible que Ô 
Ô al mismo tiempo que D Ô ya bien D
½o ocurre que Ô  Ô sin embargo D Ô y/o D
½o es cierto que Ô  Ô es compatible con D @ c   cl  c cc   c
Es imposible que Ô @ Ô aún cuando D Se vincula a través del conector ͟o ͙͙͙o͙͙.͟
½o es verdad que Ô  Ô del mismo modo D Ejemplo
Es mentira que Ô Ô de la misma manera D
 Rc u estas despierto o estas durmiendo.
Es inadmisible que Ô Ô no obstante D

½o acaece que Ô Ô empero D
 R   cë ; ; ` ` `-<
½o es innegable que Ô Tanto Ô como` cuanto D
 l  cp  q
De ninguna forma se da Ô Siempre ambos Ô con D
^ c ½ c^
R ^½ ^c
Es erróneo que Ô Ô sino D
Es incierto que Ô  ½o sólo Ô sino también D Símbolos: Ô ë D;Ô D; Ô  D`
½adie que sea Ô Ô asimismo D
Ô-<D; ÔD
Es incorrecto que Ô
Ô a pesar de D
 c  se lee
½o es inobjetable que Ô Ô a la vez D
 uÔoD
½o siempre que Ô Ô igualmente D u bien Ô o bien D
½o es que Ô Ô de la misma manera D Ô o D (en sentidos excluyentes)
En modo alguno Ô 
Sin que Ô tampoco D Ô o solamente D
En forma alguna Ô Ô o únicamente D
Cierto que Ô lo mismo que D Ô o solo D
r c R cc
Simultáneamente Ô con D Ô no es equivalente a D
Son aquellas proposiciones que se relacionan mediante
c ½o es equivalente Ô con D
la conjunción gramatical copulativa ͞Y͟ o expresiones
Ô no biimplica a D
equilvalentes.

c R  c  cc c  c l   p  q

c R  c c  c Son aquellas proposiciones Consecuente y antecedente van en ese orden
que se relacionan mediante la conjunción condicional respectivo.
͞si͙͙ entonces͙͙͙͙͙͟ o sus expresiones ^ c  Rc
equivalentes. c Ejemplo
Símbolos: Ô  D` Ô D
Ejemplo: Rc iré de vacaciones siempre que acabe con el trabajo Traducción Verbal: se lee
C Ô Ô si y solo si D
Rc Si práctico deporte entonces tendré buen estado Ô siempre y cuando D
R   cY ;
físico. Ô se define lógicamente como D
l   p Y q Ô es equivalente` equivale D
a proposición condicional consta de dos elementos:.
Ô por lo cual mismo que D
Ôntecedente y consecuente van en ese orden Ô si de la misma forma D
^ c^ Rc Ô es idéntica a D
respectivo.
Ô es igualmente (es igual`
Símbolos: Ô Y D; Ô D; D p entonces )D
Ejemplo
Ô Ô cada vez que y sólo si D
Traducción Verbal: se lee Ô es equipotente a D
Rc Si te vas entonces estaré triste.
Sólo si Ô D Ô es condición necesaria y
Ô C
Ô si D suficiente para D
Ô porque D Ô siempre que y solo cuando D
R   cp ; r ;
Ô siempre que D
Es condición necesaria Ô para
l   p p q
D
^ c Rc
Ô para D
ara Ô es suficiente D
Símbolos: Ô p D; Ô r D; Ô D
Ô puesto que D
 cc  se lee
Si Ô entonces D
Ô supone que D
Siempre que Ô por consiguiente D
Ô pues D
Ya que Ô bien se ve que D
Ô en vista que D` etc.
Con tal que Ô es obvio que D
Cuando Ô así pues D
Toda vez que Ô en consecuencia D
Ya que Ô es evidente D ëc   c c  c
De Ô deviene D Son aquellas proposiciones que se relacionan mediante
De Ô derivamos D la conjunción compuesta ͞si y sólo si͟ o sus expresiones
Ô implica D equivalentes.
Como quiera que Ô por lo cual D
En el caso de que Ô en tal sentido D
Ejemplo:
Una condición necesaria .para Ô es D
Ô es condición suficiente para D
a pera es dulce si y sólo si está madura.
Ô sólo si D
De Ô deducimos (inferimos` concluimos`
R   c `
llegamos) en D` etc.
/-c42('cc/0'(/.c02&/--,cccc(-(cC(&-C(&/(cc#Fc
c   ! c! c

c
c
 c
 ) c
c*
c
c
  c..//.'-c.C2-&(c

c c * B c%c
c 
 
c
c
"  !c
 ) c
c
c
'.C7-c:c(-/.PPPPPPPPPPPPPPPPPP.-'&-cc 4 c3c
c  
c"
c
c !
c
c B cc
c
c

c

 c ( Bc c ) 


c 6c c )
c 
   c
c  ccc "
c
c c
c
*!
c%cc
*!
c%c"
c
c

 
c 
cc
c
 c c 

cc ) cc  
 c
c"
c
c
 
c
c !

c
c 
 cc

c c c
c
c

c 
c  c
c
c
8cc *  c cA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 9%c*
c  c cc%c
   c
*  ccA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
8c c
c 2c  c
6c
Bc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
8c %c 7
c (
c
c c  c 
c

) c!c
!
c
7 *c

c !ccc 
c
c
cc #c 

c"
c c c
c
 c
)c  %c
 c
)c
c cc.c !
c
c  c 
c c c  
c c !
c  c Bc %c c c

c"
c  c c) c
c %c 
c

Oc
cc
c
c c"
c
c c Bc
c  c c
c 
cc% cc!c%#cc c  #ccc #c
c& c
c 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 !5c%c!
B 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 
6 c  *c "
c  !5cc
c 
cc
c c
c
c
B c
 *c
c

cc
c c%c * c%c
B
c
 c -c
c) 

c6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
)6 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

c c

c
c
c
c
c
c c

c c

c
c
c
c
c
c
c
c
/-c42('cc/0'(/.c02&/--,cccccccccC(&-C(&/(cc#Fc
c
c
c !\$ &!#!!"!#"
c
c
   c ½c^c R½c
Es el proceso por el cual una proposición escrita en el lenguaje natural es traducida a un Son:
lenguaje simbólico. ara ello cada proposición se reemplaza por una variable ( ) : paréntesis
proposicional ( p` q` r` etc.) y el conector lógico por el operador correspondiente. [ ] : corchete
{ } : llavesc
c RR ^  Rc^ c ^½ 
^cl  c ½ 
 c Es simbólico 1)c El operador lógico de mayor jerarquía dentro de un esquema molecular es aquel que esta
r c Es universal fuera o entre menos signos de agrupación.
 c Es convencional 2)c Cada esquema molecular tiene un nombre` el cual está determinado por la constante
@ c Es abstracto lógica de mayor jerarquía
 c ½o es ambiguo
c ^ ^ ^½ c^ c ^½ 
^cl  c c c cl  c
  Son símbolos que pueden ser utilizados para reemplazar a cualquier fórmula o 1) Determinar las proposiciones simples que se encuentran en toda la expresión y
proposición` de allí el nombre de variables. reemplazarlos con las variables preposicionales` cada proposición con una variable.
Tenemos los siguientes tipos de variables: 2) Identificar las conjunciones gramaticales y los adverbios de negación para reemplazarlos
 c     Son símbolos que reemplazan a las proposiciones simples y para por sus respectivas constantes.
ello se utilizan las letras minúsculas a partir de la: 3) Jerarquizar las constantes lógicas` para ello debemos analizar los signos de agrupación y el
p` q` r` s` . sentido de la expresión.
R    lamado también operador o conectivo lógico` son símbolos que reemplazan a
los conjunciones gramaticales y al adverbio de negación. Se clasifican:     
Ô)    Cuando afecta a una variable o un esquema. Específicamente se trata de la I) a formalización debe ser literal (tal y como está escrito no valen equivalencias)
negación (r). Ejemplos:
Ejemplos: - Es falso que anuel no es millonario r( rp)
* r p (la negación afecta a la variable p) - a cucaracha y el tiburón comen cualquier cosa
* r[(ppq) ë (rs)] (la negación afecta a todo el esquema que esta dentro del corchete) pmq
D)    Cuando relaciona a dos variables o dos esquemas. En este rubro se encuentran II) as expresiones lingüísticas de doble negación (innegable` inobjetable` etc.)
todos los demás operadores lógicos. Se formaliza como tal
Ejemplos Ejemplo:
* (p pq) (El condicional ͞ p͟ relaciona a dos variables p` q) - Es innegable que los vertebrados son reptiles
rrp
* (pë q)  (ppq) (a bicondicional ͞  ͟ relaciona dos esquemas) III) as negaciones por prefijos se formalizan
Ejemplo: Å Carmen es infeliz :rp
* p ë(qmr) (a disyunción ͞ ë͟ relaciona a un esquema y a una variable) c
 ^R½c
R½ ½ ^c c ^^c Rc os términos:
c ½i p ni q r p mr q p  q
½egación c no p rp ½o p o no q r p ër q p | q
Conjunción c pyq pmq c
Disyunción Débil c poq pëq c
Disyunción Fuertec opoq pq
Condicional c si p entonces q ppq c
Dicondicionalc p si y solo si q pq
c