ESCUELA  SUPERIOR  POLITÉCNICA  DEL  LITORAL  

FACULTAD  DE  CIENCIAS  NATURALES  Y  MATEMÁTICAS  
DEPARTAMENTO  DE  MATEMÁTICAS  
CURSO  DE  NIVELACIÓN  2014  (1S)  
LECCIÓN  1  –  FRANJA  1    
  GUAYAQUIL,  ABRIL  21  DE  2014  
 
S      O      L      U      C      I      Ó      N                    y                  R      Ú      B      R      I      C      A  
 
TEMA  1  (25  puntos)  Dada  la  proposición  compuesta:  “El  curso  de  nivelación  de  la  ESPOL  no  dura  seis  meses;  ya  
que  no  es  cierto  que,  si  los  estudiantes  aprueban  todas  las  materias  entonces  ingresan  a  la  ESPOL”.  
 
Con   el   uso   de   las   propiedades   de   los   operadores   lógicos,   identifique   cuál   de   las   nuevas   proposiciones   compuestas  
no  es  equivalente:  
a) Si   los   estudiantes   aprueban   todas   las   materias   entonces   ingresan   a   la   ESPOL,   debido   a   que   el   curso   de  
nivelación  de  la  ESPOL  dura  seis  meses.  
b) Sólo   si   los   estudiantes   no   aprueban   todas   las   materias   o   ingresan   a   la   ESPOL,   el   curso   de   nivelación   de   la  
ESPOL  dura  seis  meses.  
c) El   curso   de   nivelación   de   la   ESPOL   no   dura   seis   meses,   o   si   los   estudiantes   aprueban   todas   las   materias  
entonces  ingresan  a  la  ESPOL.  
d) El   curso   de   nivelación   de   la   ESPOL   no   dura   seis   meses,   porque   si   los   estudiantes   aprueban  todas  las   materias  
entonces  ingresan  a  la  ESPOL.  
e) El   curso   de   nivelación   de   la   ESPOL   no   dura   seis   meses;   o   no   es   cierto   que,   los   estudiantes   aprueban   todas   las  
materias  y  no  ingresan  a  la  ESPOL.  
 
Solución:  
 
Se  identifican  las  proposiciones  simples:  
 
a:  El  curso  de  nivelación  de  la  ESPOL  dura  seis  meses.  
b:  Los  estudiantes  aprueban  todas  las  materias.  
c:  Los  estudiantes  ingresan  a  la  ESPOL.  
 
Se  observa  que  la  proposición  compuesta  que  está  planteada  se  traduce  como:      
 
¬( b → c) → ¬a  
 
Ahora  se  analizará  cada  literal:  
 
 

(b → c)  
a)                   a → Traducción  al  lenguaje  formal.  
 

¬( b → c) → ¬a   Por  la  Ley  Contrarrecíproca.  

 
∴    Sí  es  una  proposición  equivalente.  
 
 

(¬b ∨ c)  
b)                   a → Traducción  al  lenguaje  formal.  
 

a → ( b → c)   Por  la  Ley  de  la  Implicación.  

 

¬( b → c) → ¬a   Por  la  Ley  Contrarrecíproca.  

 
∴    Sí  es  una  proposición  equivalente.  
 
 
 
Elaborado  por  @gbaqueri   Página  1  de  6    
 
  

c)                   ¬a ∨ (b → c)   Traducción  al  lenguaje  formal.  

 

a → ( b → c)   Por  la  Ley  de  la  Implicación.  

 

¬( b → c) → ¬a   Por  la  Ley  Contrarrecíproca.  

 
∴    Sí  es  una  proposición  equivalente.  
 
 

d)                   (b → c) → ¬a   Traducción  al  lenguaje  formal.  

 
 

(b → c) → ¬a .  
Se  observa  que  no  se  va  a  llegar  a   ¬
 
∴    No  es  una  proposición  equivalente.  
 
 

e)                   ¬a ∨¬ (b ∧¬c)   Traducción  al  lenguaje  formal.  

 

a → ¬( b ∧¬c)   Por  la  Ley  de  la  Implicación.  

 

a → (¬b ∨¬(¬c))   Por  la  Ley  de  De  Morgan  sobre  la  Conjunción.  
 

a → (¬b ∨ c)   Por  la  de  la  Doble  Negación.  

 

a → ( b → c)   Por  la  Ley  de  la  Implicación.  

 

¬( b → c) → ¬a   Por  la  Ley  Contrarrecíproca.  

 
∴    Sí  es  una  proposición  equivalente.  
 
Rúbrica:  
 
Identifica  las  proposiciones  simples.   2  puntos  
Traduce  correctamente  al  lenguaje  formal  la  proposición  compuesta.   3  puntos  
a) Traduce  correctamente  al  lenguaje  formal  la  nueva  proposición.   2  puntos  
Utiliza  apropiadamente  las  propiedades  y  demuestra  que  se  trata  de  una  proposición   2  puntos  
equivalente.  
b) Traduce  correctamente  al  lenguaje  formal  la  nueva  proposición.   2  puntos  
Utiliza  apropiadamente  las  propiedades  y  demuestra  que  se  trata  de  una  proposición   2  puntos  
equivalente.  
c) Traduce  correctamente  al  lenguaje  formal  la  nueva  proposición.   2  puntos  
Utiliza  apropiadamente  las  propiedades  y  demuestra  que  se  trata  de  una  proposición   2  puntos  
equivalente.  
d) Traduce  correctamente  al  lenguaje  formal  la  nueva  proposición.   2  puntos  
Intenta   utilizar   las   propiedades   y   demuestra   que   no   se   trata   de   una   proposición   2  puntos  
equivalente.  
e) Traduce  correctamente  al  lenguaje  formal  la  nueva  proposición.   2  puntos  
Utiliza  apropiadamente  las  propiedades  y  demuestra  que  se  trata  de  una  proposición   2  puntos  
equivalente.  
 
 
 
 
 
 
 
 
 
 
 

Elaborado  por  @gbaqueri   Página  2  de  6    

 
 TEMA  2  (25  puntos)  Determine  la  validez  del  siguiente  razonamiento:  
 
“María  se  va  al  cine  sólo  si  no  termina  de  estudiar.  María  no  saldrá  bien  en  el  examen  de  mañana,  debido  a  que  
no  termina  las  tareas.  María  se  fue  al  cine.  Por  lo  tanto,  María  no  saldrá  bien  en  el  examen  de  mañana.”  
 
Solución:  
 
Se  identifican  las  proposiciones  simples:  
a:  María  se  va  al  cine.  
b:  María  termina  de  estudiar.  
c:  María  saldrá  bien  en  el  examen  de  mañana.  
d:  María  termina  las  tareas.  
 
Se  plantean  las  hipótesis  y  la  conclusión  que  están  presentes:  
 
  H1 : a → ¬b   H 2 : ¬d → ¬c   H 3 : a   C : ¬c    
 
Por  lo  que  la  estructura  lógica  del  razonamiento  será:  
 
[ H1 ∧ H 2 ∧ H 3 ] → C
 
#$( a → ¬b) ∧ (¬d → ¬c) ∧ ( a )%& → ¬c
 
A  partir  de  esta  proposición  compuesta  se  obtiene  la  siguiente  forma  proposicional:  
 
#$( p → ¬q ) ∧ (¬s → ¬r ) ∧ ( p)%& → ¬r  
 
Se  utilizará  el  método  de  reducción  al  absurdo,  para  lo  cual  se  supone  que  el  consecuente  sería  reemplazado  por  
una  proposición  falsa  y  el  antecedente  sería  reemplazado  por  una  proposición  verdadera.  
 
!"( p → ¬q ) ∧ (¬s → ¬r ) ∧ ( p)#$ → ¬r  
!#####"##### $ ! 0
1
 
Para   que   la   conjunción   de   hipótesis   sea   una   proposición   verdadera,   cada   hipótesis   también   debería   ser  
verdadera.  
 
#$( p → ¬q ) ∧ (¬s → ¬r ) ∧ ( p)%& → ¬r  
 
 
¬r ≡ 0
                                             
!!!r ≡ 1
            p ≡ 1  
¬s → ¬r ≡ 1
¬s → 0 ≡ 1
             
!!!!!!!!!¬s ≡ 0
!!!!!!!!!!!!s ≡ 1
p → ¬q ≡ 1
1 → ¬q ≡ 1
 
!!!!!!!!¬q ≡ 1
!!!!!!!!!!!q ≡ 0
Elaborado  por  @gbaqueri   Página  3  de  6    
 
                      
Si  las  variables  proposicionales   p,   r  y   s  son  reemplazadas  por  proposiciones  verdaderas  y   q  por  una  proposición  
falsa,  se  puede  notar  que  se  tiene  una  forma  proposicional  no  tautológica.  Por  lo  tanto,  el  razonamiento  NO  ES  
VÁLIDO.  
 
Rúbrica:  
 
Identifica  las  proposiciones  simples.   4  puntos  
Traduce  correctamente  al  lenguaje  formal  la  proposición  compuesta.   5  puntos  
Plantea  las  hipótesis  y  la  conclusión  de  la  forma  proposicional.   3  puntos  
Aplica  el  método  de  reducción  al  absurdo.   10  puntos  
Concluye  que  el  razonamiento  no  es  válido.   3  puntos  
 
 
TEMA  3  (25  puntos)  Demuestre  la  Ley  del  Modus  Tolendo  Tollens   "# ( p → q) ∧¬q$% ⇒ ¬p ,  utilizando  el  método  
de  demostración  por  contrarrecíproca.  
 
Solución:  
 
#$( p → q ) ∧¬q%& → ¬p    
Se  aplica  la  Ley  Contrarrecíproca  para  
¬(¬p) → ¬#$( p → q ) ∧¬q%&  
comenzar  con  la  demostración.  
p → ¬#$( p → q ) ∧¬q%&   Por  la  Ley  de  la  Doble  Negación.  

¬p ∨¬#$(¬p ∨ q ) ∧¬q%&   Por  la  Ley  de  la  Implicación  (2  veces).  

¬p ∨ "#¬(¬p ∨ q ) ∨¬(¬q )$%   Por  la  Ley  de  De  Morgan  de  la  Conjunción.  

¬p ∨ "#¬(¬p ∨ q ) ∨ q$%   Por  la  Ley  de  la  Doble  Negación.  

¬p ∨ #$(¬(¬p) ∧¬q ) ∨ q%&   Por  la  Ley  de  De  Morgan  de  la  Disyunción.  

¬p ∨ #$( p ∧¬q ) ∨ q%&   Por  la  Ley  de  la  Doble  Negación.  

¬p ∨ #$q ∨ ( p ∧¬q )%&   Por  la  Ley  de  Conmutativa  de  la  Disyunción.  

¬p ∨ #$( q ∨ p) ∧ ( q ∨¬q )%&   Por  la  Ley  Distributiva.  

¬p ∨ #$( q ∨ p) ∧1%&   Por  la  Ley  del  Tercero  Excluido.  

¬p ∨ ( q ∨ p)   Por  la  Ley  de  Identidad  de  la  Conjunción.  

¬p ∨ ( p ∨ q )   Por  la  Ley  Conmutativa  de  la  Disyunción.  

(¬p ∨ p) ∨ q   Por  la  Ley  Asociativa  de  la  Disyunción.  

1∨ q   Por  la  Ley  del  Tercero  Excluido.  
1   Por  la  Ley  de  Absorción  de  la  Disyunción.  
 
Con  lo  que  se  demuestra  que  la  contrarrecíproca  de  la  forma  proposicional  dada  resultó  tautológica.  
   
∴    Como  la  contrarrecíproca  es  equivalente  a  la  forma  proposicional  original,  ésta  también  es  una  TAUTOLOGÍA.  
 
Rúbrica:  
 
Utiliza  correctamente  cada  una  de  las  leyes  del  álgebra  proposicional.   22  puntos  
Concluye  que  se  trata  de  una  forma  proposicional  tautológica.   3  puntos  
 

Elaborado  por  @gbaqueri   Página  4  de  6    

 
 TEMA  4  (25  puntos)  Dados  los  conjuntos   A = {*, a, {b, c}} ,   B = {b, s} ,   C = {{$}, &, {#},%}  y   D = {{+}, i} ,  
determine  el  valor  de  verdad  de  las  siguientes  proposiciones:  
a) N ( A) ⋅ N ( B) = N (C ) + N ( D)  
b) ¬( b ∈ A) ∨(& ∈ C )  
c) ({+} ∈ D) → $%( a ∈ A) → ( s ∉ B)&'  
d) ( N ( D) = 2) ↔ (% ∈ C )  
e) ({+} ∈ C ) ∨$%(b ∈ B) → (i ∈ C )&'  
 
Solución:  
 
a) N ( A) = 3  
N ( B) = 2  
N (C ) = 4
 
N ( D ) = 2  
 
Entonces:     N A ⋅ N B = N C
( ) ( ) ( ) + N ( D)
 
  !!!!!!!!!!! 3 2 = 4 + 2
( )( )
 
!!!!!!!!!!!!!!!!!!!!6 = 6
 
∴  Es  una  proposición  VERDADERA.  
 
b) (b ∈ A) ≡ 0  
(& ∈ C ) ≡ 1  
 
Entonces:     ¬ b ∈ A ∨ & ∈ C
( ) ( )
  !"
# # $ !" # # $
0 1
 
  ¬0∨1
  1∨1
 
  0
∴  Es  una  proposición  FALSA.  
 
c) ({+} ∈ D) ≡ 1  
( a ∈ A) ≡ 1  
( s ∉ B) ≡ 0  
 
Entonces:     $ '
  ( {+} ∈ D → !" ) &(a∈A → s∉B )
) ( )
  !# " #$ & # #
$ !"$ )
1 % 1 0 (
 
  1→ 1→ 0 ( )
 
1→ 0
 
  0
 
∴  Es  una  proposición  FALSA.  
Elaborado  por  @gbaqueri   Página  5  de  6    
 
  
d) ( N ( D) = 2) ≡ 1  
(% ∈ C ) ≡ 1  
 
Entonces:     N D = 2 ↔ % ∈ C
( ( ) ) ( )
  !#"#$ !" # # $
1 1
 
  1↔1
  1
 
∴  Es  una  proposición  VERDADERA.  
 
e) ({+} ∈ C ) ≡ 0  
(b ∈ B) ≡ 1  
(i ∈ C ) ≡ 0  
 
Entonces:     $ '
  ({+} ∈ C ∨ &(!"
) b ∈ B) → (i ∈ C ))
  !#"# $ &% # # $ !"# )
(
0 1 0
 
  0 ∨ (1 → 0 )
  0∨0
 
  0
 
∴  Es  una  proposición  FALSA.  
 
Rúbrica:  
 
a) Identifica  el  valor  de  verdad  de  cada  proposición  simple.   2  puntos  
Determina   el   valor   de   verdad   de   la   proposición   compuesta   a   partir   del   funcionamiento   2  puntos  
de  cada  operador  lógico  presente.    
Concluye  que  la  proposición  es  verdadera.   1  punto  
b) Identifica  el  valor  de  verdad  de  cada  proposición  simple.   2  puntos  
Determina   el   valor   de   verdad   de   la   proposición   compuesta   a   partir   del   funcionamiento   2  puntos  
de  cada  operador  lógico  presente.    
Concluye  que  la  proposición  es  falsa.   1  punto  
c) Identifica  el  valor  de  verdad  de  cada  proposición  simple.   2  puntos  
Determina   el   valor   de   verdad   de   la   proposición   compuesta   a   partir   del   funcionamiento   2  puntos  
de  cada  operador  lógico  presente.    
Concluye  que  la  proposición  es  falsa.   1  punto  
d) Identifica  el  valor  de  verdad  de  cada  proposición  simple.   2  puntos  
Determina   el   valor   de   verdad   de   la   proposición   compuesta   a   partir   del   funcionamiento   2  puntos  
de  cada  operador  lógico  presente.    
Concluye  que  la  proposición  es  verdadera.   1  punto  
e) Identifica  el  valor  de  verdad  de  cada  proposición  simple.   2  puntos  
Determina   el   valor   de   verdad   de   la   proposición   compuesta   a   partir   del   funcionamiento   2  puntos  
de  cada  operador  lógico  presente.    
Concluye  que  la  proposición  es  falsa.   1  punto  
 
 

Elaborado  por  @gbaqueri   Página  6  de  6