Está en la página 1de 18

Moiss Villena Muoz Lgica y Conjuntos

3.1 PREDICADOS
3.2 CONJUNTO DE VERDAD
3.3 PREDICADOS COMPUESTOS
3.4 CUANTIFICADORES
3.5 NEGACIN
3.6 OTRAS CONSIDERACIONES
3.7 PREDICADOS DE DOS VARIABLES
3.8 RAZONAMIENTOS

En nuestro lenguaje comn mucha veces hemos utilizados frases como "Todos los das
tenemos clase", "Algunos das llueve", ...

Estos enunciados pueden formar estructuras lgicas de una nueva forma. Por tanto
merecen nuestro estudio.

49
Moiss Villena Muoz Lgica y Conjuntos

OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
Defina predicados de una y ms variables.
Conozca la notacin para predicado de una y ms variables y la notacin para el conjunto de verdad.
Obtenga conjuntos de verdad de predicados compuestos
Conozca la notacin de los cuantificadores universal y existencial.
Aplique leyes lgicas para negar predicados.
Comprenda e interprete traducciones con cuantificadores en diagramas de Venn.
Infiera directamente una conclusin vlida para un razonamiento, dadas las hiptesis, empleando diagramas de Venn o crculos de
Euler.
Justifique la validez de un razonamiento empleando diagramas de Venn.

3.1 PREDICADOS

Sea Re un conjunto referencial y sea p(x) una


expresin que contiene x . Entonces p(x) es
un PREDICADO si al reemplazar a x por
un elemento cualquiera de Re , se convierte
en proposicin.

Informalmente se podra decir que un predicado es enunciado


abierto
Ejemplo 1
p(x) : x es mayor a tres o simplemente x > 3 (una desigualdad)
Suponga que Re = {1,2,3,4,5,6,7,8,9,10} , entonces para el caso de que x = 2 tenemos
p (2) : 2 es mayor a 3 , que es una PROPOSICIN FALSA.. Pero, para el caso de que x = 5
tenemos p (5) : 5 es mayor a 3 , en cambio es una PROPOSICIN VERDADERA.

Podemos tener muchas otras proposiciones para otros x.

Ejemplo 2
q (x) : 2 x 1 = 3 (una ecuacin)
Suponga que Re = {1,2,3,4,5,6,7,8,9,10} , entonces para el caso de que x = 2 tenemos
q (2) : 2(2) 1 = 3 que es una PROPOSICIN VERDADERA. Pero, para el caso de que
x = 5 tenemos q (5) : 2(5) 1 = 3 , en cambio es una PROPOSICIN FALSA.

50
Moiss Villena Muoz Lgica y Conjuntos

3.2 CONJUNTO DE VERDAD

Sea Re el conjunto referencial de un predicado


p (x) . Entonces el CONJUNTO DE VERDAD de
p(x) , denotado como Ap(x) , est constituido
por los elementos de Re que satisfacen a p(x) .
Es decir, por los elementos de Re que
convierten a p(x) en una PROPOSICIN

VERDADERA.

Ejemplos
Para los dos ejemplos anteriores, sus conjuntos de verdad seran:
1. Ap( x ) = {4,5,6,7,8,9,10} (todos los elementos del referencial que son mayores a 3 )

2. Aq ( x ) = {2} (todos los elementos del referencial que al multiplicarlos por 2 y luego restarles 1 ,de como
resultado 3)

3.3 PREDICADOS COMPUESTOS


Si conectamos predicados haciendo uso de operadores lgicos
obtenemos predicados ms extensos.
Ejemplo
Suponga que Re = {1,2,3,4,5,6,7,8,9,10} y que se tienen los predicados
p( x ) : x es divisible para dos y q ( x ) : x es mayor a tres
Por consiguiente sus conjuntos de verdad son:
Ap( x ) = {2,4,6,8,10} y Aq ( x ) = {4,5,6,7,8,9,10}
Ahora formemos los siguientes predicados:

1. p( x ) : x no es divisible para dos , entonces Ap( x ) = {1,3,5,7,9} Note que es igual

a A p( x ) .
C

51
Moiss Villena Muoz Lgica y Conjuntos

2. p( x ) q( x ) : x es divisible para dos y mayor a tres, entonces A( p( x ) q ( x ) ) = {4,6,8,10} . Note


que es igual a Ap( x ) Aq ( x ) .

3. p( x ) q( x ) : x es divisible para dos o mayor a tres entonces


A( p( x ) q ( x ) ) = {2,4,5,6,7,8,9,10} que es igual a Ap( x ) Aq ( x ) .

4. p( x ) q( x ) : Si x es divisible para dos, entonces es mayor a tres, entonces

A( p( x ) q ( x ) ) = A(p( x ) q ( x ) ) = A p( x ) Aq ( x ) = {1,3,4,5,6,7,8,9,10} .
C

52
Moiss Villena Muoz Lgica y Conjuntos

3.4 CUANTIFICADORES
Tenemos dos tipos de cuantificadores: el universal y el existencial

3.4.1 CUANTIFICADOR UNIVERSAL

Este cuantificador se presenta cuando utilizamos el trmino


TODOS, queriendo dar a entender para todos y cada uno.

El SMBOLO LGICO empleado para este cuantificador es

3.4.2 CUANTIFICADOR EXISTENCIAL

En cambio, este cuantificador se presenta cuando utilizamos el


trmino ALGN, queriendo dar a entender que existe por lo menos uno.

El SMBOLO LGICO empleado para este cuantificador es

Se observa que al cuantificar a un predicado, ste se convierte en


proposicin.
Ejemplo
Considerando Re = {1,2,3,4,5,6,7,8,9,10} y el predicado p( x ) : x es divisible para 2
podemos decir:
xp( x ) : Todos los nmeros son divisibles para dos, que es una proposicin FALSA.

xp( x ) : Existe un nmero divisible para dos, que es una proposicin VERDADERA.

OBSERVACIONES:
1. Si se cumple que xp( x) 1 significa que Ap( x) = Re
2. En cambio, si slo se cumple que xp( x) 1 significa que
Ap(x)

Ejercicio resuelto 1
Sea el conjunto Re = {1,2,3,4,5}. Entonces es VERDAD que:
a) x( x + 3 = 1) b) x( x + 3 < 5) c) x( x > 1)
d) x( x + 3 < 5) (
e) x x 2 4 x + 3 = 0 )
53
Moiss Villena Muoz Lgica y Conjuntos

SOLUCIN: Analizando cada opcin tenemos:


a) Falsa b) Falsa c) Falsa
d) Verdadera (RESPUESTA) e) Falsa

Ejercicio resuelto 2
Sea el conjunto referencial Re = {10,15,20,25,30,35,40,45,50} y los predicados:
p(x) : x es mltiplo de 10
q (x) : x es divisible para 3
Cul de las siguientes afirmaciones es VERDADERA?
a) A( p( x ) q( x )) = {45} c) A[ p( x ) q( x )) = {10,15,20,25,30,35}
b) A(( px) q( x)) = {10,20,30,45,50} d) A( p( x ) q( x )) = {15,25,30,35,45}
e) Elija esta opcin si todas las proposiciones anteriores son falsas.
SOLUCIN:

Los conjuntos de verdad de los predicados dados son: Ap( x ) = {10,20,30,40,50} y Aq ( x ) = {15,30,45}
entonces analizando cada opcin:

a) FALSA, porque A( p( x ) q ( x )) = {30}


b) FALSA, porque A(( px ) q ( x )) = {10,15,20,30,40,50}
c) FALSA, porque A[ p( x ) q ( x )) = Ap( x ) AC q ( x ) = {10,20,25,30,35,40,50}
d) VERDADERA (RESPUESTA), porque
A( p( x) q( x)) = A(p( x) q( x)) = AC p ( x) Aq( x) = {15,25,30,35,45}

Ejercicios Propuestos 3.1


1. Sea el conjunto Re = {1,2,3,4,5} . Cul de las siguientes proposiciones es VERDADERA?
a) (x Re ) (x + 3 = 10 ) c) (x Re ) (x + 3 < 10 )

(
b) (x Re ) x 4 x + 3 = 0
2
) d) (x Re ) (x + 3 < 7 )
e) Elija esta opcin si ninguna proposicin es verdadera.

2. Sean los predicados p ( x) : x come rbanos y q ( x) : x es vegetariano, donde el


Re = {Los seres humanos} . Traduzca al lenguaje comn las siguientes proposiciones:
[
a) x p ( x) q ( x) ] [ ]
b) x p ( x) q ( x) [
c) x q ( x) p ( x) ]
d) x[ p ( x) q ( x)] e) x[q ( x) p ( x)]

3. Sea Re = {1,2,3,4, } y los predicados:


p ( x) : x es un nmero impar
q ( x) : x es un nmero par
Entonces una de las siguientes proposiciones es FALSA, identifquela:
a) A( p ( x) q ( x) ) Aq ( x) c) Ap ( x) = AC q ( x)

b) Re = Ap ( x) Aq ( x) d) Aq ( x) Ap ( x) = e) A( p ( x) q ( x) ) = A C p ( x)

4. Dado el conjunto referencial Re = {2,3,5,7,8,9,10} y los predicados


p( x) : x es mltiplo de 2 y mayor a 3
q( x) : x es mltiplo de 5

54
Moiss Villena Muoz Lgica y Conjuntos

[
Entonces el conjunto A q ( x) p ( x) es: ]
a) {2,3,5,7,8,9} b) c) {5,8,10}
d) {2,3,5,7,9} e) {2,8,10}
5. Dado el conjunto referencial Re = {3,2,1,1,2,3} y los predicados

p ( x) : x( x + 2) = 0 y q( x) : x 2 > 0
Entonces, es VERDAD que:
[
a) 1 A p ( x) q ( x) ] [
b) A p ( x) q ( x) = ] [ ]
c) A p ( x) q ( x) = Re
[ ]
d) A q ( x) = {3,2,1} [
e) A q ( x) q ( x) = ]
6. Sea Re = {1,2,3,4, } y los predicados p ( x) : x es un nmero impar
q ( x) : x es un nmero par
entonces una de las siguientes proposiciones es FALSA, identifquela.
a) A( p (x ) q (x )) Aq(x ) d) Ap( x) = AC q ( x)
b) Aq( x) Ap( x) = e) Re = Ap ( x) Aq ( x)

c) A( p (x ) q (x )) = A p (x)
C

7. Dado el conjunto referencial Re = {2,3,5,7,11,13,17} y los predicados


( x + 2)
p( x) : =2 y q ( x) : x es un nmero primo
2
Entonces el conjunto A[ p ( x) q ( x)] es:
a) Re b) 2 c) Re Ap ( x) d) Ap (x) e) Re Aq ( x)

Ahora puntualicemos lo siguiente:

Suponga que a Re entonces la expresin xp( x ) p(a ) (Si todos los

elementos del referencial satisfacen un predicado dado, entonces necesariamente a satisface el predicado) es VERDADERA.

Tambin es VERDADERA la expresin p (a ) xp( x) (Si a satisface el predicado,


entonces se podr decir que necesariamente existir un elemento del referencial que satisface el predicado)

En cambio la expresin p (a ) xp( x) es FALSA por qu?


(RESPUESTA: Si a satisface el predicado dado, esto no quiere decir que todos los elementos del referencial van a satisfacer el
predicado)

Veamos el valor de verdad para xp(x) y xp(x) considerando


diferentes referenciales:

1. Si Re = entonces xp( x) 1 (debido a que Ap( x) = = Re ) y xp( x) 0 ,


por lo tanto xp( x) xp( x) es VERDADERO. (POR QU?).

En cambio el reciproco xp( x) xp( x) es FALSO. (POR QU?)

55
Moiss Villena Muoz Lgica y Conjuntos

2. Si Re = {a} (formado por un slo elemento) y adems p (a ) 1 , entonces aqu


xp( x) 1 y xp( x) 1 , por lo tanto xp( x) xp( x) es verdadera
como tambin xp( x) xp( x) es verdadera. Entonces se puede
concluir que xp( x) xp( x)

3. Si Re (formado por ms de un elemento, que sera lo que se presenta generalmente), aqu slo
tenemos como verdadera a la expresin xp( x) xp( x) . (POR
QU?)

Ejercicio resuelto
Identifique la proposicin FALSA
a) Si Re = {a} , entonces x p( x) x p( x)
b) (x ) (x A)
c) A A =
d) Si Re = , entonces x p ( x) 1
e) ( A)
SOLUCIN: Analizando cada opcin, encontramos que slo la opcin e es FALSA por qu?

Ejercicio Propuesto 3.2


1. Dado el conjunto referencial Re = {1,2,3,4,5} y los predicados:
p( x) : x + 1 = 2 x y q( x) : x + 1 = x + 1
Una de las siguientes proposiciones es FALSA, identifquela:
a) xp( x) xq( x) d) Ap ( x) Aq ( x) = Re
b) [ xp( x) xq( x) ] x[ p( x) q( x)] e) Ap ( x) Aq ( x)
c) [ xp( x) xq( x) ] x[ p( x) q( x)]

3.5 NEGACIN
De acuerdo a De Morgan:

1. No es verdad que todos los elementos del referencial satisfagan


un predicado, es equivalente a que, existe por lo menos un
elemento del referencial que no satisface el predicado, lo cual
simblicamente sera:

(xp( x) ) x(p( x) )

2. No es verdad que exista un elemento del referencial que satisfaga


el predicado, significa que, todos los elementos del referencial no
satisfacen el predicado, es decir:

(xp( x) ) x(p( x) )
56
Moiss Villena Muoz Lgica y Conjuntos

Ejemplo
La NEGACIN de la proposicin Para todo nmero natural n, n + 2 > 8 , es :
a) Para algunos n, n + 2 < 8 d) Ningn n cumple con n+2 > 8
b) Existe un n tal que n + 2 8 e) Existe un n tal que n + 2 > 8
c) Existe un n tal que n + 2 8

SOLUCIN:
La traduccin formal de la negacin de la proposicin es: (n(n + 2 > 8)) y aplicando lo anterior tenemos:
n[(n + 2 > 8)] n[n + 2 8] (RESPUESTA la b)

3.6 OTRAS CONSIDERACIONES


Observe que x( p( x) q( x) ) xp( x) xq( x)

y tambin que x( p( x) q ( x) ) xp( x) xq( x)

Adems las implicaciones siguientes son VERDADERAS:

xp( x) xq( x) x[ p( x) q( x)]


x[ p( x) q ( x)] xp( x) xq( x)

en cambio sus recprocos seran FALSOS. por qu?

Lo anterior puede aclarecerse ahora.


Ejemplo
Considere Re = {1,2,3,4,5,...} y los predicados p( x ) : x es par y q( x ) : x es impar

xp( x ) 0 xp( x ) 1
entonces: 1. xq( x ) 0 2. xq( x ) 1
x[ p( x ) q ( x )] 1 x[ p( x ) q ( x )] 0

por lo tanto:

xp( x) xq( x) x[ p ( x) q ( x)] es VERDADERA,



0 0 1

y tambin x[ p ( x) q ( x)] xp( x) xq( x) es VERDADERA,



0 1 1

(qu pasa con sus recprocos?)

57
Moiss Villena Muoz Lgica y Conjuntos

Ejercicios Propuestos 3.3


1. Determine cul de las siguientes proposiciones es VERDADERA?
a) [ ] [
x p( x) 1 Ap ( x) = Re ]
b) x [ p( x) q( x)] [x p( x)] [x q ( x)]
c) x[ p( x) q( x)] [x p( x)] [x q ( x)]
d) x[ p ( x) q ( x)] [x p ( x)] [x q ( x)]
e) x p( x) [x p ( x)]

2. Sea Re un conjunto referencial y p (x) un predicado, determine la proposicin CORRECTA:


a) Si Re = {a} y p (a ) 1 ; x p ( x) 1 x p ( x) 0
b) Si Re = {0} y p (0) 1 ; x p( x) [x p ( x)]
c) Si Re = , [x p( x)] x p( x)
d) Si Re = , x p ( x) 1
e) Elija esta opcin si ninguna de las anteriores es correcta.
3. Escriba la NEGACIN de cada una de las siguientes proposiciones:
a) Todos los matemticos son vegetarianos
b) Todas las mujeres son inteligentes
c) Ningn entero par es divisible para 5
d) Algunos rectngulos son cuadrados
e) Algunas personas no comen carne

3.7 PREDICADOS DE DOS VARIABLES

Sean Re x y Re y dos conjuntos referenciales, no


necesariamente diferentes, y sea p ( x, y ) una
expresin que contiene x y y . Entonces
p ( x, y ) es un PREDICADO DOS VARIABLES si al
reemplazar a x por un elemento cualquiera de
Re x y a y por un elemento cualquiera de Re y ,

se convierte en proposicin.

Ejemplo
Sea p ( x, y ) : x es una letra ubicada en el abecedario antes que y
Considere Re x = {a, v, e, z} y Re y = {b, i, p, t , z}. Entonces es VERDAD, que:
a) xyp( x, y ) 0

58
Moiss Villena Muoz Lgica y Conjuntos

b) xyp( x, y ) 1
c) yxp( x, y ) 0
d) xy[p( x, y )] 1
e) (xyp( x, y ) ) 1
SOLUCIN: Analicemos una a una las proposiciones dadas:
a) No es verdad, porque xyp( x , y ) 1
b) No es verdad, porque xyp( x , y ) 0
c) No es verdad, porque yxp( x , y ) 1
d) xy[p( x , y )] es equivalente a (xyp( x , y ) ) (0 ) 1 . Si es VERDAD
e) No es verdad, porque (xyp( x , y ) ) 0 debido que xyp( x , y ) 1 y (1) 0

PREGUNTA: CMO SE DEFINIRAN PREDICADOS DE TRES VARIABLES, DE CUATROS


VARIABLES,?

Ejercicios Propuestos 3.4


1. p ( x, y ) : x es divisible para y con los siguientes
Dado el predicado de dos variables referenciales
Re x = Re y = {1,2,3, } , TRADUZCA al lenguaje comn las siguientes proposiciones:
a) xy p( x, y ) c) xy p ( x, y ) e) x p ( x, y )
b) xy p ( x, y ) d) xy p ( x, y ) f) x p ( x, y )

2. Dado p ( x, y ) :" x > y" , donde Re x = {0,1,2} y el Re y = {1,3,1,0} . Entonces es VERDAD que:

a) yx p ( x, y ) c) xy p ( x, y ) e) xy p (x)
b) yx p ( x, y ) d) yx p ( x, y )

3. Sean los conjuntos Re x = {1,2,3} , Re y = {a , b, c , d } y los predicados " x es el nmero


que indica el lugar que ocupa y en el abecedario" . Entonces es VERDAD que:

[
a) xy p ( x, y ) ] [
b) xy p ( x, y ) ] [
c) xy p ( x, y ) ]
[
d) yx p ( x, y ) ] [
e) yx p ( x, y ) ]
4. La NEGACIN lgica del siguiente enunciado: yx[ p ( x) q ( y )] es:
[
a) xy p ( x) q ( y ) ] [
b) yx p ( x) q ( y )] [
c) yx p ( x) q ( y ) ]
d) yx [q ( y ) p ( x)] e) yx [q ( y ) p ( x)]

59
Moiss Villena Muoz Lgica y Conjuntos

3.8 RAZONAMIENTOS
Las definiciones de ciertas interpretaciones, van a ser tiles para
analizar razonamientos formados por predicados cuantificados.

Todo p es q puede ser interpretado de dos maneras:

Algunos p son q puede ser interpretado slo de una manera:

Ningn p es q puede ser interpretado slo de una manera:

Algunos p no son q puede ser interpretado de tres maneras:

60
Moiss Villena Muoz Lgica y Conjuntos

Recordemos que para que un razonamiento sea vlido la conclusin


debe ser lgicamente inferida de las premisas, es decir teniendo premisas
verdaderas la conclusin debe tambin ser verdadera para todo referencial.
Ejemplo 1
Determine la validez del siguiente razonamiento:
P1 : Todos los hombres son mortales
P2 : Daniel es hombre
Por lo tanto
C : Daniel es mortal

SOLUCIN: primero hagamos el diagrama de Venn correspondiente, asumiendo premisas verdaderas

Observe que la conclusin de que Daniel


sea mortal se cumple por tanto el
razonamiento es VLIDO

Ejemplo 2
Considere las siguientes premisas de un razonamiento:
P1 : Todos los nmeros racionales son reales.
P2 : Ningn nmero imaginario es real.
P3 : Algunos nmeros complejos son reales.
Entonces una conclusin para que el razonamiento sea vlido es:
a) Ningn nmero racional es complejo
b) Ningn nmero complejo es real
c) Existen nmeros complejos que son imaginarios
d) Ningn nmero imaginario es racional
e) Marque esta casilla si ninguna conclusin es lgicamente inferida de las premisas.
SOLUCIN: El diagrama de Venn para este caso sera:

Observe que puede haber ms de una


interpretacin para los complejos.
Analizando cada conclusin dada,
deducimos que la d es la nica que
valida al razonamiento, por que sera
verdadera siempre, cumpliendo para
todas las consideraciones.

61
Moiss Villena Muoz Lgica y Conjuntos

Ejercicios Propuestos 3.5


1. Comprobar si el siguiente razonamiento es VLIDO.
H 1 : Todos los nmeros enteros son racionales.
H2 : Algunos nmeros reales son enteros.
C: Algunos nmeros reales son racionales.
a) Vlido b) Falacia

2. Considere las siguientes hiptesis:


H 1 : Todas las funciones son relaciones.
H2 : No toda relacin es funcin.
H 3 : Algunas funciones son inyectivas.
Entonces una conclusin que se puede inferir lgicamente a partir de ellas es:
a) Algunas relaciones no son inyectivas.
b) Ninguna funcin es relacin.
c) Algunas funciones no son inyectivas.
d) Algunas relaciones son inyectivas.
e) Elija esta opcin si ninguna conclusin es lgicamente inferida de las premisas.

3. Considerando las siguientes premisas


H 1 : Todo nio es travieso.
H 2 : Ningn travieso es ordenado.
H 3 : Algunos adultos son traviesos.
Una CONCLUSIN VLIDA es:

a) Algunos nios son traviesos.


b) Todo travieso es adulto.
c) Todo travieso es ordenado.
d) Algunos adultos son nios.
e) Algunos adultos no son ordenados.

4. Considerando el siguiente razonamiento:


Todos los que estudian Lgica estudian Matemticas. Todos los que estudian Ingeniera Comercial
estudian Lgica. Gilda estudia Ingeniera Comercial
Entonces es VERDAD que:
a) Gilda no estudia Matemticas. c) Gilda no estudia Lgica.
b) Gilda estudia Matemticas pero no Lgica. d) Gilda estudia Matemticas.
e) Gilda o estudia Matemticas o estudia Lgica.

5. Dadas las siguientes hiptesis: H 1 : Todo profesional tiene ttulo.


H 2 : Ningn irresponsable tiene ttulo.
H 3 : Algunos profesores tienen ttulo.
Entonces una CONCLUSIN que se puede inferir de las premisas anteriores es:
a) Ningn profesional es profesor.
b) Ningn profesor tiene ttulo.
c) Existen profesores que son irresponsables.
d) Ningn irresponsable es profesional.
e) Elija esta opcin Todas conclusiones anteriores no se infieren de las premisas.

6. En el planeta Kriptn se cumple que:


H 1 : Todo Krip es Kron.
H2 : Algunos Krip son Krap.
H 3 : Todo Krap es Kron.
H 4 : Ningn Kron es Krun.
H 5 : Fernanda es Krip.
Entonces una conclusin no vlida es:
a) Ningn Krap es krun c) Ningn Krip es Krun
b) Fernanda es Kron d) Fernanda no es Krap e) Fernanda no es Krun
62
Moiss Villena Muoz Lgica y Conjuntos

7. Dadas las siguientes premisa:


P1 : Todos los economistas son racionales.
P2 : Algunos ingenieros no son economistas.
Entonces una conclusin que hace vlido el razonamiento es:
a) Algunos ingenieros son racionales.
b) Todos los economistas no son ingenieros.
c) No todos los ingenieros son economistas.
d) No todos los ingenieros son racionales.
e) Algunos ingenieros no son racionales.

8. Uno de los siguientes razonamientos NO ES VLIDO. Identifquelo.


a) Ningn abogado es rico. T eres rico. Por lo tanto t no eres abogado.
b) Todos los hombres inteligentes son trabajadores. Todos los trabajadores son responsables. Por lo tanto,
los hombres inteligentes son responsables.
c) Ningn profesor es ignorante. Todas las personas ignorantes son intiles. Por consiguiente ningn profesor
es intil.
d) Si deseas la paz, preprate para la guerra. T no te preparas para la guerra. Por lo tanto, no deseas la paz.
e) Elija esta opcin si todos los razonamientos son vlidos.

9. Dadas las siguientes premisas:


P1 : Todos los contribuyentes son honestos.
P2 : Todos los honestos son especiales.
Entonces una CONCLUSIN LGICAMENTE INFERIDA de las premisas es:
a) Algunos contribuyentes no son especiales.
b) Todas las personas especiales son contribuyentes.
c) Todos los contribuyentes son especiales.
d) Ningn contribuyente es especial.
e) Elija esta opcin si ninguna de las conclusiones anteriores se infieren de las premisas dadas.

Miscelneos
1. Sean las premisas:
P1 : Todos los artistas son bohemios.
P2 : Algunos ingenieros son artistas.
P3 : Ningn cientfico es bohemio.
Entonces una CONCLUSIN para un razonamiento vlido, es:
a) Ningn ingeniero es bohemio.
b) Algunos cientficos son ingenieros
c) Ningn artista es cientfico
d) Todos los ingenieros son bohemios.
e) Ningn cientfico es ingeniero.

2. Sea Re y los predicados p( x ) y q ( x ) . Identifique, cul de las siguientes proposiciones es FALSA?


a) x[ p ( x) q ( x)] x[ p ( x) q ( x)]
b) x p ( x) x p ( x)
c) x[ p( x) q( x)] (x p( x) ) (x q( x) )
d) x[ p( x) q( x)] (x p ( x) ) (x q ( x) )
e) x[ p( x) q( x)] (x p( x) ) (x q( x) )

3. Sean los conjuntos A = {1,0,1} y B = {0,1} . Una de las siguientes proposiciones es VERDADERA,
identifquela:
[
a) x A, y B x + y = 3 ]
b) x A, y B [x + y N ]
c) x A, y B [x + y = y ]
d) x A, y B [ y = 2 x ]
e) x A, y B [x = y ]

63
Moiss Villena Muoz Lgica y Conjuntos

4. Sean las premisas para un razonamiento:


P1 : Todos los estudiantes son jvenes.
P2 : Ningn joven es pesimista.
P3 : Manuel es estudiante.
Entonces una CONCLUSIN que lo hace vlido, es:
a) Manuel es pesimista.
b) Algunos estudiantes son pesimistas.
c) Todos los estudiantes son optimistas.
d) No todos los jvenes son pesimistas.
e) Manuel no es joven.

5. Si N (Re ) = 0 , entonces es VERDAD que:


a) x[ p ( x) q ( x)] (xp( x) ) (xq( x) )
b) xp( x) xp( x)
c) x[ p ( x) q ( x)] (xp( x) ) (xq( x) )
d) ( Ap( x) = Re ) para cualquier predicado p (x)
e) Re

6. Sea el conjunto Re = {1,2,3,4,5,6,7,8,9,10} y los predicados


p ( x) : x es un nmero impar .
q ( x) : x es mltiplo de 2 .
Entonces una de las siguientes proposiciones es VERDADERA, identifquela.

a) A( p ( x) q ( x) ) = {3,5}
b) A( p( x) q ( x) ) = {4,6,8,9,10}
c) A( p ( x) q ( x) ) = {1,2,4,6,8,9,10}
d) A C p ( x) Aq( x) =
e) A C q ( x) = Re

7. Una de las siguientes proposiciones es FALSA, identifquela.


[
a) Si Re = , entonces xp( x) xp( x) 1 ]
b) [x( p ( x) q ( x) )] x( p ( x) q ( x) )
c) Si Re = {a} y p ( a ) 1 , entonces [xp( x) xp( x)]
d) x( p( x) q( x) ) x( p ( x) q ( x) )
e) xp( x) ( Ap( x) = Re )

8. Dadas las siguientes hiptesis:


H 1 : Todos los bancos nacionales estn en quiebra.
H 2 : Ningn banco internacional est en quiebra.
H 3 : Algunos negocios tienen su dinero depositado en bancos internacionales.
Entonces una CONCLUSIN que se puede inferir para un razonamiento vlido es:
a) Ningn banco nacional est en quiebra.
b) Ningn negocio est en quiebra.
c) Todos los negocios estn en quiebra.
d) Algunos negocios tienen su dinero depositado en bancos nacionales.
e) Algunos negocios no tienen su dinero depositado en bancos nacionales.

9. Sean las hiptesis:


H 1 : Ningn futbolista juega bien.
H 2 : Algunos profesionales son futbolistas.
H 3 : Algunos que juegan bien son profesionales.
H 4 : Robert es profesional.
Entonces una conclusin que hace VLIDO un razonamiento es:
a) Robert juega bien.
b) Todos los profesionales que juegan bien no son futbolistas.

64
Moiss Villena Muoz Lgica y Conjuntos

c) Algunos que juegan bien son futbolistas.


d) Robert no es futbolista.
e) Todos los que no son futbolistas ni juegan bien ni son profesionales.

10. La NEGACIN de la proposicin:


x N , y N (si x + y es par entonces x es par o y es impar)
es:
a) x N , y N (si x + y no es par entonces x no es par o y es impar)
b) x N , y N (si x + y no es par entonces x no es par y y es impar)
c) x N , y N ( x + y no es par o x no es par o y es impar)
d) x N , y N (si x no es par y y no es impar entonces x + y no es par)
e) x N , y N ( x + y es par y x no es par y y no es impar)

11. Sean el conjunto Re = {2,4,5,7,8,9,10,11} y los predicados:


p (x ) : x es un nmero primo.
q (x ) : x es un nmero impar.
Entonces, es FALSO que:
a) Ap (x ) = {4,8,9,10}
b) A[ p(x ) q(x )] = {5,7,11}
c) A[ p(x ) q(x )] = {4,5,7,8,9,10,11}
d) A[ p(x ) q (x )] = {2,5,7,9,11}
e) A[q(x ) p (x )] = {2,4,5,7,8}

12. Una de las siguientes expresiones es FALSA, identifquela:


a) La negacin de x y p ( x, y ) es x y p ( x, y ) .
b) x p( x) = p ( x) cuando Re = {a} p (a ) 1 .
c) [x y z p ( x, y, z )] = x y z p ( x, y, z ) .
d) [y x ( p ( x) q ( y ) )] = y x (p ( x) q ( y ) ) .
e) [x y ( p ( x, y ) q ( x, y ) )] = x y ( p ( x, y ) q ( x, y ) )

13. Dadas las siguientes premisas:


P1 : Todos los analistas son economistas.
P2 : Todos los economistas son profesionales.
Entonces, una CONCLUSIN lgicamente inferida de las premisas es:
a) Algunos analistas no son profesionales.
b) Todos los profesionales son analistas.
c) Todos los analistas son profesionales.
d) Ningn analista es profesional.
e) Elija esta opcin si ninguna de las conclusiones anteriores se infiere de las premisas dadas.

14. Considere las siguientes premisas para un razonamiento:


H 1 : Todos los que estudian Lgica, estudian Matemticas.
H 2 : Nadie que estudie Matemticas es irracional.
H 3 : Juan es matemtico.
Entonces una CONCLUSIN VLIDA es:
a) Juan es irracional
b) Todo el que estudia Lgica es irracional.
c) Algunos lgicos son irracionales.
d) Juan no es irracional.
e) Todo matemtico es irracional.

15. Sea Re = {1,2,3,4, } y los predicados p ( x) : x es un nmero impar


q ( x) : x es un nmero par
entonces una de las siguientes proposiciones es FALSA, identifquela.
a) A( p (x ) q (x )) Aq (x )
b) Ap( x) = A C q ( x)
c)
a) Aq ( x) Ap ( x) =
65
Moiss Villena Muoz Lgica y Conjuntos

d) Re = Ap ( x) Aq ( x)

e) A( p (x ) q (x )) = AC p (x)

16. Dadas las siguientes hiptesis: H 1 : Todo profesional tiene ttulo.


H 2 : Ningn irresponsable tiene ttulo.
H 3 : Algunos profesores tienen ttulo.
Entonces una CONCLUSIN que se puede inferir de las premisas anteriores es:
a) Ningn profesional es profesor.
b) Ningn profesor tiene ttulo.
c) Existen profesores que son irresponsables.
d) Ningn irresponsable es profesional.
e) Elija esta opcin si las todas conclusiones anteriores no se infieren de las premisas.
17. Indique la alternativa incorrecta:

a) La Negacin de x Re; ( x + 3 = 10) es x Re; ( x + 3 10)


b) La Negacin de x Re; ( x + 3 < 10) es x Re; ( x + 3 10)
c) La Negacin de x Re; ( x + 3 10) es x Re; ( x + 3 > 10)
d) La Negacin de x Re; ( x + 3 < 10) es x Re; ( x + 3 10)
e) La Negacin de xp( x) yq( y) es xp( x) yq( y)

66