Você está na página 1de 4

ESCUELA

SUPERIOR POLITCNICA DEL LITORAL


FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2015 1S
TALLER 2 (17H00)
Guayaquil, 18 de mayo de 2015

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

Tema 1 (20 puntos) Con el MTODO DIRECTO, de ser posible, demuestre que:

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

() ()

( ( )) ( ( ))


Solucin:

( ( ) ( ))

x #$ p x q x %& A p x q x

() ()

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

Ap x Aq x

Definicin de
cuantificador existencial.
Ley de los conjuntos de
verdad.
lgebra de conjuntos.
Definicin de
cuantificador existencial.

Rbrica:

Realiza un procedimiento adecuado y justifica cada paso de su demostracin.


Tema 2 (20 puntos) Dadas las siguientes premisas de un razonamiento:
P1: Todos los artistas son bohemios.
P2: Algunos ingenieros son artistas.
P3: Ningn cientfico es bohemio.
Determine la validez del razonamiento para cada conclusin planteada:
a) Ningn artista es cientfico.
b) Todos los ingenieros son bohemios.

20 puntos

Se define el conjunto referencial: Re = x / x es persona




Se identifican los predicados:

()
i ( x ) : x es ingeniero.

r x : x es artista.

()
c ( x ) : x es cientfico.

b x : x es bohemio.





Se traducen las hiptesis del razonamiento al lenguaje formal:

H1 : x Re $%r x b x &'
H 2 : x Re $%i x r x &'
H 3 : x Re $%c x b x &'

()
()

()
()

() ()

Elaborado por @gbaqueri

Pgina 1 de 4

Se utiliza la teora de conjuntos para las hiptesis planteadas:

( ) ( )
Ac ( x ) A b ( x )

H1 : Ar x Ab x
H3 :

()

()

H 2 : Ai x Ar x


Se elabora un diagrama de Venn para analizar cada literal con las condiciones encontradas
para los conjuntos y la conclusin que se plantea:

a) La traduccin al lenguaje formal de la primera Re
conclusin es:
Ab(x)

C1 :

x Re $%r x c x &'

()

()

Ac(x)

Ar(x)


Utilizando teora de conjuntos, se tiene:

C1 : Ar x AC c x

()

b)

()


El diagrama de Venn cumple con las hiptesis
planteadas, pero no con la conclusin.

Con esta primera conclusin, el razonamiento ES VLIDO.


La traduccin al lenguaje formal de la segunda conclusin es:

C2 :

Ai(x)

x Re $%i x b x &'

()

()


Utilizando teora de conjuntos, se tiene que:

()

()

C2 : Ai x Ab x

El diagrama de Venn cumple con las hiptesis planteadas, pero no con la conclusin.

Con esta segunda conclusin, el razonamiento NO ES VLIDO.

Rbrica:

Define el conjunto referencial y los predicados adecuados.
Traduce al lenguaje formal cada premisa, usando cuantificadores, operadores lgicos
y los predicados previamente definidos.
Utiliza la teora de conjuntos para especificar las proposiciones con predicados y
cuantificadores.
a) Realiza un diagrama de Venn, analiza la conclusin (previamente traducida) y
concluye que el razonamiento es vlido.
b) Realiza un diagrama de Venn, analiza la conclusin (previamente traducida) y
concluye que el razonamiento no es vlido.

2 puntos
4 puntos

4 puntos

5 puntos

5 puntos

Tema 3 (20 puntos) Dado el conjunto referencial = , , , , y los predicados:


: + =
: =

Determine el valor de verdad de cada proposicin, justificando su respuesta.

a) ()
b) = {1}
Elaborado por @gbaqueri

Pgina 2 de 4


Solucin:

Se tabulan los conjuntos de verdad:

Ap x = {1} Ac p x = {2,3,4,5}

()

()

Aq x = Ac q x = Re

()

()


a)

()
xp ( x ) 0
xp ( x ) xp ( x ) 0
!"# !"#
xp x 1

La proposicin es Falsa.
b)

A"# p x q x $% = Ac p x Aq x = {2,3,4,5} = {2,3,4,5} = Re {1}

()

()

()

()

La proposicin es Verdadera.
Rbrica:

a) Analiza la proposicin y verificando concluye que la proposicin es falsa.
b) Analiza la proposicin y verificando concluye que la proposicin es verdadera.

10 puntos
10 puntos



Tema 4 (20 puntos) Dados los siguientes referenciales:
= , , , , , y = , , ,
y el predicado de dos variables:
, : +

Tabule (, ).

Solucin:




4

2
3

1
2

0

4

2
6

5

( ) {(

)(

)(

)(

)(

)(

)(

)}

Ap x, y = 4,3 , 4,2 , 4,4 , 2,3 , 2,2 , 1,3 , 1,2




Elaborado por @gbaqueri

Pgina 3 de 4

Rbrica:

Tabula correctamente el conjunto de verdad Ap(x,y).

20 puntos


Tema 5 (20 puntos) Dados los conjuntos:
= , , , , , ,
= , , ,

y las funciones de B en A:

= , ; , ; , ; , y
= , ; , ; , ; ,


Determine el valor de verdad de cada proposicin, justificando su respuesta.
a) es una funcin.
b) es sobreyectiva pero no inyectiva.
c) es inyectiva pero no sobreyectiva.
d) es biyectiva.
Solucin:



gas
lquido
slido
metal
alcalino


a)

b)

c)

d)

H
Li
Na
K
Rb
Cs
Fr

gas
lquido
slido
metal
alcalino

H
Li
Na
K
Rb
Cs
Fr

Se puede observar que f g no sera funcin porque tendra a elementos del conjunto
de partida que estaran relacionados ms de una vez.
La proposicin dada es falsa.

Se puede observar que g no es sobreyectiva, pero s es inyectiva.
La proposicin dada es falsa.

Se puede observar que f es inyectiva, pero no es sobreyectiva.
La proposicin dada es verdadera.

Como ya se especific en el literal b), se concluye que g no es biyectiva.
La proposicin dada es falsa.

Rbrica:

Analiza cada proposicin y concluye correctamente sobre su valor de verdad.

5 puntos c/u


Elaborado por @gbaqueri

Pgina 4 de 4