ESCUELA

SUPERIOR POLITCNICA DEL LITORAL

FACULTAD DE CIENCIAS NATURALES Y MATEMTICAS
DEPARTAMENTO DE MATEMTICAS
CURSO DE NIVELACIN 2014 (2S)
TALLER 1 (09H00)
GUAYAQUIL, OCTUBRE 20 DE 2014

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

TEMA 1 (20 puntos) Dados los siguientes enunciados:

I.
Sal de aqu!
II.
Maana se acabar el mundo.
III.
Los duraznos son de color amarillo.
IV.
+ =
V.
La capital de la provincia de Sucumbos es Nueva Loja

Entonces es VERDAD que:
a) Si I no es una proposicin entonces IV es una proposicin.
b) III no es una proposicin o V no es una proposicin.
c) II es una proposicin puesto que IV es una proposicin.
d) V es una proposicin pero III no es una proposicin.
e) IV es una proposicin si y solo si III es una proposicin.

Solucin:

I NO es una proposicin, porque contiene signos de admiracin.
II NO es una proposicin, porque es un enunciado incierto.
III S es una proposicin, porque si se tiene la fruta se puede determinar su color y por ende indicar si
el enunciado es verdadero o falso.
IV NO es una proposicin, ya que al no conocerse el valor que pueda tomar entonces no se puede
determinar si el enunciado es verdadero o falso.
V S es una proposicin, ya que la capital de la provincia de Sucumbos s es Nueva Loja.

a) Si I no es una proposicin entonces IV es una proposicin.
1 0 0
b) III no es una proposicin o V no es una proposicin.
00 0
c) II es una proposicin puesto que IV es una proposicin.
0 1 1
d) V es una proposicin pero III no es una proposicin.
10 0
e) IV es una proposicin si y solo si III es una proposicin.
0 1 0

Por lo tanto, la opcin c) es la nica que da como resultado una proposicin verdadera.

Rbrica:

Identifica correctamente si cada enunciado es o no una proposicin.
Analiza el valor de verdad de las proposiciones planteadas y concluye que el literal c) es
la proposicin verdadera.
Elaborado por @gbaqueri

3 puntos c/u
5 puntos
Pgina 1 de 4


TEMA 2 (20 puntos) Considere las proposiciones simples:
a : La Estadstica es neutral.
b : La Estadstica se transforma en un instrumento de manipulacin.
c : La Estadstica se transforma en un mecanismo de mentiras.

Traduzca al lenguaje formal la proposicin compuesta: La Estadstica no se transforma en un
instrumento de manipulacin o se transforma en un mecanismo de mentiras, siempre que no sea
neutral. Pero si la Estadstica no es neutral entonces se transforma en un instrumento de
manipulacin si y solo si se transforma en un mecanismo de mentiras.

Solucin:

La Estadstica no se transforma en un instrumento de manipulacin o se transforma en un
mecanismo de mentiras, siempre que no sea neutral. Pero si la Estadstica no es neutral entonces se
transforma en un instrumento de manipulacin si y slo si se transforma en un mecanismo de
mentiras.

Los operadores lgicos que se encuentran presentes en esta proposicin compuesta son la
negacin, la disyuncin inclusiva, la conjuncin, la condicional y la bicondicional.

La traduccin al lenguaje formal de la proposicin dada es: #$a b c %& #$a b c %&

Rbrica:

Identifica a la conjuncin como el operador lgico principal.
Identifica la proposicin que hace de primer operando de la conjuncin.
Identifica la proposicin que hace de segundo operando de la conjuncin.

2 puntos
9 puntos
9 puntos

TEMA 3 (20 puntos) Suponga que la proposicin compuesta: Hay nubes en el cielo, ya que no est
lloviendo es VERDADERA:
a) Realice un parafraseo en trminos de condicin suficiente.
b) Realice un parafraseo en trminos de condicin necesaria.
c) Escriba en el lenguaje comn una recproca.
d) Escriba en el lenguaje comn una inversa.
e) Escriba en el lenguaje comn una contrarrecproca.


Solucin:

La proposicin dada en lenguaje formal es: a b 1 , y est expresado en la forma: b , ya que a .

Hay nubes en el cielo , ya que no

est "
lloviendo
!##
##$
!###"###$
Condicin necesaria

a)
b)
c)
d)
e)

Es suficiente que no est lloviendo para que haya nubes en el cielo.

Es necesario que haya nubes en el cielo para que no est lloviendo.
No est lloviendo, ya que hay nubes en el cielo.
No hay nubes en el cielo, ya que est lloviendo.
Est lloviendo, ya que no hay nubes en el cielo.

Elaborado por @gbaqueri

Condicin suficiente

Pgina 2 de 4

Rbrica:


Identifica correctamente la condicin necesaria.
4 puntos
Identifica correctamente la condicin suficiente.
4 puntos
Escribe correctamente una posible traduccin de la recproca.
4 puntos
Escribe correctamente una posible traduccin de la inversa.
4 puntos
Escribe correctamente una posible traduccin de la contrarrecproca.
4 puntos
Observacin.- Los literales c), d) y e) de este ejercicio se pueden traducir de otra forma, tal y como est
establecido en la lectura/escritura permitida de una condicional de proposiciones.

TEMA 4 (20 puntos) Dada la proposicin compuesta con su valor de verdad:

{#$(a b) c%&#$(e d ) c%&} (e a)

Determine el valor de verdad de cada proposicin:
a) Todas las proposiciones simples son verdaderas.
b) Todas las proposiciones simples son falsas.
c)
d)
e)

(a b) c 1
(e c) d 1
(c e) b 0

Solucin:

Para que la proposicin compuesta

{#$(a b) c%&#$(e d ) c%&} (e a) sea FALSA, se

# a b c% # e d c% 1 y que e a 0
& $
&

requiere que: $

Por tanto, analizando la proposicin e a , para que sea FALSA, es necesario que: e 1 y a 0 .


Ahora, analizando la proposicin compuesta

# a b c% # e d c% ,
$
& $
&

para que sea

VERDADERA, es necesario que:

# e d c% 1 ,
$
&
# a b c% 1 ,
$
&

(
(

)
)

# 1 d c% 1 ,
$
&
# 1b 0% 1 ,
$
&

(
(

)
)

# 0 d c% 1 ,
$
&

d 1,c 0

b 1

Entonces:
a) Es FALSA, ya que no todas las proposiciones simples son verdaderas.
b) Es FALSA, ya que no todas las proposiciones simples son falsas.

(a b) c (01) 0 1.
Es VERDADERA, ya que (e c ) d (10) 1 1 .
Es FALSA, ya que (c e ) b (01) 1 1 .

c) Es VERDADERA, ya que
d)
e)

Elaborado por @gbaqueri

Pgina 3 de 4

Rbrica:


Identifica correctamente los valores de verdad de las proposiciones simples a, b, c, d y e.
Realiza los pasos necesarios para identificar el valor de verdad de las proposiciones
planteadas en cada literal.

10 puntos
10 puntos

TEMA 5 (20 puntos) Para la siguiente forma proposicional, justifique formalmente si corresponde a
una tautologa, contradiccin o contingencia:

$ p q p q & $ p q p&
%
' %
'

) (

) (

Solucin:


p

0
0
1
1

0
1
0
1

A #
B#
!"
#C #
$
!#"
$ !"
p

q
p q p q

1
1
0
0

0
0
1
0

1
0
0
1

0
1
1
1

D
!
A B

E#
!"
C p

D E

1
0
1
1

1
1
1
1

1
0
1
1

Es una CONTINGENCIA.
Rbrica:


Demuestra que se trata de una contingencia, utilizando una tabla de verdad y
considerando los valores de verdad correctos al aplicar cada operador lgico.

20 puntos

Elaborado por @gbaqueri

Pgina 4 de 4