ESCUELA

SUPERIOR POLITCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2015 2S
LECCIN 2 (13H00)
Guayaquil, 13 de noviembre de 2015

S O L U C I N Y R B R I C A

Tema 1 (25 puntos) Considere la siguiente proposicin:
Todas las operadoras de telefona mvil son usureras, ya que todas las operadoras de
telefona mvil cobran valores demasiado altos.

a) Traduzca la proposicin al lenguaje formal.
b) Escriba la negacin de esta proposicin en lenguaje formal y en espaol.

Solucin:

a) Se definen los predicados: ()
p x : x es operadora de telefona mvil.
q ( x ) : x es usurera.
r ( x ) : x cobra valores demasiado altos.

La traduccin al lenguaje formal es:
x #$ p x r x %& x #$ p x q x %&
() () () ()

b) La negacin de la proposicin es:

(
x #$ p x ( ) r ( x)%& x #$ p ( x) q ( x)%&)
x $% p x ( ) r ( x)&' (x $% p ( x) q ( x)&')
x $% p x ( ) r ( x)&' x$% p ( x) q ( x)&'
x $% p x ( ) r ( x)&' x $% p ( x) q ( x)&'

Una posible traduccin al espaol de la negacin de esta proposicin es:
Todas las operadoras de telefona mvil cobran valores demasiado altos, pero
existe al menos una operadora de telefona mvil que no es usurera.

Rbrica:

Traduce correctamente al lenguaje formal la proposicin. 10 puntos
Niega correctamente en lenguaje formal la proposicin. 12 puntos
Expresa correctamente en espaol la negacin de la proposicin. 3 puntos

Elaborado por @gbaqueri Pgina 1 de 4

Tema 2 (25 puntos) Con la tcnica del CONTRAEJEMPLO, de ser posible, demuestre que la
siguiente proposicin es FALSA:

x #$ p x q x %& #$xp x xq x %&
() () () ()

Solucin:

Un posible contraejemplo se proporciona a continuacin:

Sea el conjunto referencial:
= {2,3,4,5,6,7,8}

Considere los predicados:
: .
: .

Se tabulan los conjuntos de verdad:

A"# p x q x $% = {2,3,4,5,6,7,8} = Re
() ()
Ap ( x ) = {2,3,5,7} Re
Aq ( x ) = {2,4,6,8} Re

Entonces:
[() ()] 1

Pero:
0 y 0

Por lo tanto:
x #$ p x q x %& #$xp x xq x %& 0
() () () ()
!##"##$ !###"###$
1 0

Se concluye entonces que la proposicin es FALSA.

Rbrica:

Proporciona un contraejemplo adecuado para justificar su demostracin. 25 puntos

Elaborado por @gbaqueri Pgina 2 de 4

Tema 3 (25 puntos) Dados los siguientes conjuntos:
A = {1,2,3}
B = {1,2}

C = {0,1,2}

a) ( )
Se define la relacin R1 de A B en C tal que:

R1 = {(( x, y) , z) z = x + y }
Determine los elementos de R1 .
b) ( )
Se define la relacin R2 de B C en A tal que:

R2 = {(( x, y) , z) z = xy }
Determine los elementos de R2 .
c) ( )
Determine la cantidad de relaciones que se pueden construir de B B en B .

Solucin:

a) ! = 1, 1 , 0 , 2, 2 , 0 , 2, 1 , 1 , 3, 1 , 2 , 3, 2 , 1

b) ! =

c) 2!(!"!)!(!) = 2(!)(!) = 2! = 256

Rbrica:

a) Determina correctamente los elementos de R1. 10 puntos
b) Determina correctamente los elementos de R2. 10 puntos
c) Determina correctamente el valor solicitado. 5 puntos

Elaborado por @gbaqueri Pgina 3 de 4

Tema 4 (25 puntos) Construya, de ser posible, dos funciones f y g que cumplan con las
siguientes condiciones:
f es una funcin de A en B .
g es una funcin de C en D .

f es inyectiva.
g no es inyectiva ni sobreyectiva.
g ! f existe y es inyectiva.

Solucin:

A B C D
a x
1 a

2 b b y

c z
3 c
w
d



f es una funcin de A en B y g es una funcin de C en D y
es inyectiva. no es inyectiva ni sobreyectiva.

Como rg f dom g , la funcin compuesta g ! f : A " D existe y en forma tabular es:
{( ) ( ) ( )}
g ! f = 1, x , 2, y , 3, z . Su diagrama sagital es:


A D

1 x

2 y

3 z

w


g ! f es inyectiva.

Rbrica:

Resuelve el problema garantizando cada una de las 5 condiciones 5 puntos c/u
especificadas.

Elaborado por @gbaqueri Pgina 4 de 4