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  2  
GUAYAQUIL,  ABRIL  21  DE  2014  
 
S      O      L      U      C      I      Ó      N                    y                  R      Ú      B      R      I      C      A  
 
TEMA   1   (25   puntos)   Determine   la   validez   del   siguiente   razonamiento,   empleando   el   método   de   DEMOSTRACIÓN  
DIRECTA:  
 
“Trabajo  o  estudio.  Pero  no  trabajo.  Por  lo  tanto,  estudio.”  
 
Solución:  
 
Se  identifican  las  proposiciones  simples:  
a:  Trabajo.  
b:  Estudio.  
 
Se  plantean  las  hipótesis  y  la  conclusión:  
 
  H1 : a ∨ b   H 2 : ¬a   C : b      
 
La  estructura  lógica  del  razonamiento  será:  
 
[ H1 ∧ H 2 ] → C
 
$%( a ∨ b) ∧ (¬a )&' → b
 
A  partir  de  esta  proposición  compuesta  se  obtiene  la  siguiente  forma  proposicional:  
 
#$( p ∨ q ) ∧ (¬p)%& → q  
 
Se  utilizará  el  álgebra  proposicional  (propiedades  de  los  operadores  lógicos):  
 

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

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

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

1   Por  la  Ley    del  Tercero  Excluido  .  
 
La  forma  proposicional  es  tautológica.  Por  lo  tanto,el  razonamiento  ES  VÁLIDO.  
 
 
Rúbrica:  
 
Identifica  las  proposiciones  simples.   5  puntos  
Plantea   las   dos   hipótesis   y   la   conclusión   del   razonamiento,   considerando   los   operadores   5  puntos  
lógicos  adecuados.    

Elaborado  por  @gbaqueri   Página  1  de  8    

 
 Estructura   lógicamente   la   forma   proposicional   tomando   en   consideración   las   2   variables   2  puntos  
proposicionales.    
Utiliza  correctamente  cada  una  de  las  leyes  del  álgebra  proposicional.   10  puntos  
(Observación.-­‐   Pueden   seguir   un   procedimiento   similar   u   otro   orden   en   la   demostración    
directa.)    
Concluye   que   se   trata   de   una   forma   proposicional   tautológica   y   que   el   razonamiento   es   3  puntos  
válido.  
 
TEMA  2  (25  puntos)  Dadas  las  hipótesis:  “Si  Ecuador  gana  el  mundial,  el  país   festeja   y  los  ecuatorianos  sueñan.   Si  
el  país  no  festeja,  los  ecuatorianos  no  sueñan.  Pero  Ecuador  no  gana  el  mundial.”  
 
Utilizando   el   método   de   REDUCCIÓN   AL   ABSURDO,   determine   la   validez   del   razonamiento   para   cada   una   de   las  
siguientes  conclusiones:  
a) El  país  festeja.  
b) El  país  no  festeja.  
c) Ecuador  gana  el  mundial  o  el  país  no  festeja.  
d) Si  los  ecuatorianos  sueñan,  el  país  festeja.  
e) Ecuador  no  gana  el  mundial  y  los  ecuatorianos  sueñan.  
 
Solución:  
 
Se  identifican  las  proposiciones  simples:  
a:  Ecuador  gana  el  mundial.  
b:  El  país  festeja.  
c:  Los  ecuatorianos  sueñan.  
 
Las  hipótesis  que  están  presentes  son  tres:  
 
  H : a → b ∧ c   H 2 : ¬b → ¬c  
( ) H 3 : ¬a      
1
 
Ahora  se  analizará  cada  literal:  
 
a) Para  el  primer  caso,  la  estructura  lógica  del  razonamiento  será:  
 
{#$a → (b ∧ c)%&∧ (¬b → ¬c) ∧ (¬a)} → b  
 
A  partir  de  esta  proposición  compuesta  se  obtiene  la  siguiente  forma  proposicional:  
 
{#$ p → (q ∧ r )%&∧ (¬q → ¬r ) ∧ (¬p)} → q  
 
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 ∧ r )%& ∧ (¬q → ¬r ) ∧ (¬p)} → q!  
#"###### $ 0
1
 
Para   que   la   conjunción   de   hipótesis   sea   una   proposición   verdadera,   cada   hipótesis   también   debería   ser  
verdadera.  
 
 
 
 
 
Elaborado  por  @gbaqueri   Página  2  de  8    
 
  
{#$ p → (q ∧ r )%&∧ (¬q → ¬r ) ∧ (¬p)} → q  
 
 
                                  q ≡ 0  
¬p ≡ 1
                                 
!!!p ≡ 0
¬q → ¬r ≡ 1
¬0 → ¬r ≡ 1
          1 → ¬r ≡ 1  
!!!!!!!¬r ≡ 1
!!!!!!!!!!r ≡ 0
0 → (0 ∧ 0) ≡ 1
 
0 → 0 ≡1
                     
Si   las   variables   proposicionales   p,   q   y   r   son   reemplazadas   por   proposiciones   falsas   se   puede   notar   que   se  
tiene  una  forma  proposicional  no  tautológica.  Por  lo  tanto,  el  razonamiento  NO  ES  VÁLIDO.  
 
b) Para  el  segundo  caso,  la  estructura  lógica  del  razonamiento  será:  
 
{#$a → (b ∧ c)%&∧ (¬b → ¬c) ∧ (¬a)} → ¬b  
 
A   partir   de   esta   proposición   compuesta   se   obtiene   la   siguiente   forma   proposicional,   en   la   cual   también   se  
utilizará  el  método  de  reducción  al  absurdo  
 
Se   supone   que   el   consecuente   sería   reemplazado   por   una   proposición   falsa   y   cada   hipótesis   por   una  
proposición  verdadera.  
 
{#$ p → (q ∧ r )%&∧ (¬q → ¬r ) ∧ (¬p)} → ¬q  
 

 
¬q ≡ 0
                                   
!!!q ≡ 1
¬p ≡ 1
   
                    !!!p ≡ 0
¬q → ¬r ≡ 1
0 → r ≡1
!!!!!!!!r ≡ 1  
p → (q ∧ r ) ≡ 1
0 → ( q ∧1) ≡ 1
 
!!!!!!!!q ∧1 ≡ 1
!!!!!!!!!!!!!!q ≡ 1
         
Si  la  variable  proposicional   p  se  reemplaza  por  una  proposición  falsa, q  por  una  proposición  verdadera,  y  se  
decide   reemplazar   r   por   una   proposición   verdadera   o   falsa,   se   puede   notar   que   se   tiene   una   forma  
proposicional  no  tautológica.  Por  lo  tanto,  el  razonamiento  NO  ES  VÁLIDO.  
Elaborado  por  @gbaqueri   Página  3  de  8    
 
 c) Para  el  tercer  caso,  la  estructura  lógica  del  razonamiento  será:  
 
{#$a → (b ∧ c)%&∧ (¬b → ¬c) ∧ (¬a)} → (a ∨¬b)  
 
Nuevamente  se  aplica  el  método  de  reducción  al  absurdo  a  la  forma  proposicional  asociada.  
 
{#$ p → (q ∧ r )%&∧ (¬q → ¬r ) ∧ (¬p)} → ( p ∨¬q)  
 

 
¬p ≡ 1
                             
p≡0
p ∨¬q ≡ 0
0 ∨¬q ≡ 0
                               
!!!!!!¬q ≡ 0
!!!!!!!!!q ≡ 1
¬q → ¬r ≡ 1
¬1 → ¬r ≡ 1
0 → ¬r ≡ 1  
!!!!!!!!¬r ≡ 1
!!!!!!!!!!!r ≡ 0
p → (q ∧ r ) ≡ 1
 
0 → (1∧ 0 ) ≡ 1
                     
Si  la  variable  proposicional   p  se  reemplaza  por  una  proposición  falsa, q  por  una  proposición  verdadera,  y  se  
decide   reemplazar   r   por   una   proposición   verdadera   o   falsa,   se   puede   notar   que   se   tiene   una   forma  
proposicional  no  tautológica.  Por  lo  tanto,  el  razonamiento  NO  ES  VÁLIDO.  
 
d) Para  el  cuarto  caso,  la  estructura  lógica  del  razonamiento  será:  
 
{#$a → (b ∧ c)%&∧ (¬b → ¬c) ∧ (¬a)} → (c → b)  
 
A  partir  de  esta  proposición  compuesta  se  obtiene  la  siguiente  forma  proposicional  en  la  cual  se  volverá  a  
aplicar  el  método  de  reducción  al  absurdo.  
 

{#$ p → (q ∧ r )%&∧ (¬q → ¬r ) ∧ (¬p)} → (r → q)  

 

 
r→q≡0
                                  !!!!!!!!!r ≡ 1  
!!!!!!!!q ≡ 0
¬p ≡ 1
       
                  p ≡ 0
p → ( q ∧ r ) ≡ 1 ¬(¬q → ¬r ≡ 1)
0 → ( 0 ∧1) ≡ 1   ¬(¬0 → ¬1 ≡ 1)  
!!!!!!!!0 → 0 ≡ 1 !!!!!!!!!1 → 0 ≡ 0
Elaborado  por  @gbaqueri   Página  4  de  8    
 
      
   

Al   tratar   de   asociar   una   proposición   a   la   variable   proposicional   r   se   puede   observar   que   se   produce   una  
contradicción  de  valores  de  verdad  y  se  concluye  que  la  forma  proposicional  sí  es  tautológica.  Por  lo  tanto,  el  
razonamiento  ES  VÁLIDO.  
 
e) Para  el  quinto  caso,  la  estructura  lógica  del  razonamiento  será:  
 
{#$a → (b ∧ c)%&∧ (¬b → ¬c) ∧ (¬a)} → (¬a ∧ c)  
 
A  partir  de  esta  proposición  compuesta  se  obtiene  la  siguiente  forma  proposicional  en  la  cual  se  volverá  a  
aplicar  el  método  de  reducción  al  absurdo.  
 

{#$ p → (q ∧ r )%&∧ (¬q → ¬r ) ∧ (¬p)} → (¬p ∧ r )  

 

 
¬p ≡ 1
                             
p≡0
¬p ∧ r ≡ 0
1∧ r ≡ 0                                
!!!!!!r ≡ 0
¬q → ¬r ≡ 1
¬q →1 ≡ 1
 
!!!!!!!!¬q ≡ 1
!!!!!!!!!!!q ≡ 0
p → (q ∧ r ) ≡ 1
0 → ( 0 ∧ 0 ) ≡ 1  
0 → 0 ≡1
     
Si  las  variables  proposicionales   p  y   r  se  reemplazan  por  proposiciones  falsas, y  se  decide  reemplazar   q  por  
una  proposición  verdadera  o  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.   2  puntos  
Traduce  correctamente  al  lenguaje  formal  la  proposición  compuesta.   2  puntos  
Plantea  las  hipótesis  de  la  forma  proposicional.   1  punto  
a) Plantea  correctamente  la  conclusión  de  la  forma  proposicional.   1  punto  
Determina   los   valores   de   verdad   de   las   proposiciones   que   reemplazarán   a   las   variables   2  puntos  
proposicionales.    
Concluye  que  el  razonamiento  no  es  válido.   1  punto  
b) Plantea  correctamente  la  conclusión  de  la  forma  proposicional.   1  punto  
Determina   los   valores   de   verdad   de   las   proposiciones   que   reemplazarán   a   las   variables   2  puntos  
proposicionales.    
Concluye  que  el  razonamiento  no  es  válido.   1  punto  
c) Plantea  correctamente  la  conclusión  de  la  forma  proposicional.   1  punto  
Observa   que   existe   una   contradicción   de   valores   de   verdad   en   una   variable   2  puntos  
proposicional.    
Concluye  que  el  razonamiento  no  es  válido.   1  punto  
Elaborado  por  @gbaqueri   Página  5  de  8    
 
 d) Plantea  correctamente  la  conclusión  de  la  forma  proposicional.   1  punto  
Determina   los   valores   de   verdad   de   las   proposiciones   que   reemplazarán   a   las   variables   2  puntos  
proposicionales.    
Concluye  que  el  razonamiento  es  válido.   1  punto  
e) Plantea  correctamente  la  conclusión  de  la  forma  proposicional.   1  punto  
Determina   los   valores   de   verdad   de   las   proposiciones   que   reemplazarán   a   las   variables   2  puntos  
proposicionales.    
Concluye  que  el  razonamiento  no  es  válido.   1  punto  
 
TEMA  3  (25  puntos)  Usando  la  técnica  de   DEMOSTRACIÓN   POR   CONTRAEJEMPLO  y  tomando  como  conjunto  referencial  
Re = {Pablo, Pedro, Mario, Lucas, Celia, Roger, Amalia, Julia} ,   determine   el   valor   de   verdad   de   las  
siguientes  proposiciones  que  hacen  referencia  a  los  elementos  de   Re .  
a) Cada  elemento  tiene  al  menos  una  vocal  abierta.  
b) La  cantidad  de  letras  de  cada  elemento  es  5.  
c) Todo  elemento  tiene  3  consonantes.  
d) No  existen  elementos  que  tengan  consonantes  repetidas.  
e) La  letra  inicial  de  cada  elemento  es  una  consonante.  
 
Solución:  
 
a) Todos  los  elementos  de   Re  tienen  al  menos  una  vocal  abierta.  
∴    La  proposición  es  VERDADERA.  No  se  puede  proporcionar  un  contraejemplo.  
 
b) El  único  elemento  que  no  tiene  5  letras  es  Amalia,  ese  nombre  tiene  6  letras.  
∴    La  proposición  es  FALSA.  El  contraejemplo  es  Amalia.  
 
c) Los  elementos  que  no  tienen  3  consonantes  pertenecen  al  conjunto   { Mario, Celia} .  
∴    La  proposición  es  FALSA.  Se  puede  utilizar  como  contraejemplo  a  Mario  o  Celia.  
 
d) El  único  elemento  que  sí  tiene  consonantes  repetidas  es  Roger,  la  consonante  es  r.  
∴    La  proposición  es  FALSA.  El  contraejemplo  es  Roger.  
 
e) El  único  elemento  cuya  letra  inicial  no  tiene  consonante  es  Amalia.  
∴    La  proposición  es  FALSA.  El  contraejemplo  es  Amalia.  
 
Rúbrica:  
 
a) Indica   que   la   proposición   es   verdadera   y   deduce   que   no   se   puede   proporcionar   un   5  puntos  
contraejemplo.    
b) Indica  que  la  proposición  es  falsa  y  deduce  que  existe  un  único  contraejemplo.   5  puntos  
c) Indica  que  la  proposición  es  falsa  y  proporciona  un  posible  contraejemplo.   5  puntos  
d) Indica  que  la  proposición  es  falsa  y  deduce  que  existe  un  único  contraejemplo.   5  puntos  
e) Indica  que  la  proposición  es  falsa  y  deduce  que  existe  un  único  contraejemplo.   5  puntos  
 
TEMA  4  (25  puntos)  Dados  los  conjuntos   A = ∅ ,   B = {1} ,   C = {2, 3, 5}  y   D = {1, 3, 5, 7, 9} ,  determine  el  valor  
de  verdad  de  las  siguientes  proposiciones:  
a) ¬( 0 ∈ A) ∨( 2 ∈ C )  
b) (2 ∈ D) → $%(0 ∈ A) → (2 ∉ B)&'  
c) (3 ∈ C ) ↔ (5 ∈ C )  
d) ( 7 ∈ C ) ∨ $%(2 ∈ B) → ( 4 ∈ C )&'  
e) ( N ( A) = 0) ∧ ( N ( B) = 1) ∧ ( N (C ) = 3) ∧ ( N ( D) = 9)  
Elaborado  por  @gbaqueri   Página  6  de  8    
 
  
Solución:  
 
a) (0 ∈ A) ≡ 0  
(2 ∈ C ) ≡ 1  
 
Entonces:     ¬ 0 ∈ A ∨ 2 ∈ C
( ) ( )
  !"
# # $ !" # # $
0 1
 
  ¬0∨1
  1∨1
 
  0
∴  Es  una  proposición  FALSA.  
 
b) (2 ∈ D) ≡ 0  
(0 ∈ A) ≡ 0  
(2 ∉ B) ≡ 1  
  $ '
Entonces:     2 ∈ D → & 0 ∈ A → 2 ∉ B )
( ) ( ) ( )
  !"
# # $ & !" # # $ !" # #$)
0 % 0 1 (
 
  0 → 0 →1( )
 
  0 →1
  1
∴  Es  una  proposición  VERDADERA.  
 
c) (3 ∈ C ) ≡ 1  
(5 ∈ C ) ≡ 1  
 
Entonces:     3 ∈ C ↔ 5 ∈ C
( ) ( )
  !"
# # $ !" # # $
1 1
 
  1↔1
  1
 
∴  Es  una  proposición  VERDADERA.  
 
d) ( 7 ∈ C ) ≡ 0  
(2 ∈ B) ≡ 0  
( 4 ∈ C ) ≡ 0  
  $ '
Entonces:     ( 7 ∈ C ) (!"
∨ & 2 ∈ B ) (!"
→ 4 ∈ C ))
 
!"
# #
$ & # #
$ # #
$ )(
0 % 0 0
 
  0 ∨ (0 → 0)
  0 ∨1
 
  1
∴  Es  una  proposición  VERDADERA.  
Elaborado  por  @gbaqueri   Página  7  de  8    
 
  
e) N ( A) = 0  
N ( B) = 1  
N (C ) = 3
 
N ( D ) = 5  
 
Entonces:     N A = 0 ∧ N B = 1 ∧ N C = 3 ∧ N D = 9
( ( ) ) ( ( ) ) ( ( ) ) ( ( ) )
  !#"#$ !#"#$ !#"#$ !#"#$
1 1 1 0
 
  1∧1∧1∧ 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  falsa.   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  verdadera.   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  verdadera.   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  8  de  8