Académique Documents
Professionnel Documents
Culture Documents
Un conjunto es una coleccin de objetos que est bien definido y para denotarlo se emplean letras maysculas
tales como: A, B, C, etc.
Algunos ejemplos de conjuntos son :
En matemtica, los elementos de un conjunto, se designan por B , C , D , + , , .... etc, es decir con cualquier letra
minscula.
Te has dado cuenta que en ocasiones es ms fcil interpretar las cosas cuando se presentan en forma grfica ?
... en los conjuntos pasa algo similar, de ah que es til el uso de Diagramas de Venn.
Los Diagrama de Venn-Euler nos permiten visualizar en forma sencilla e instructiva los conjuntos y sus
relaciones, y en estos diagramas se usan las siguientes formas:
Por ejemplo:
Algunos tipos de Conjuntos son:
Conjunto Vaco: este conjunto es aquel que no tiene elementos. Se simboliza por g 9
Ejemplo 1 : Conjunto de canciones rancheras interpretadas por el grupo Kiss
Ejemplo 2 : nmeros que pertenezcan al conjunto de los nmeros naturales y que sean negativos
Conjunto Universo: Es el conjunto que contiene todos los elementos a los cuales pudiramos hacer
referencia en un momento dado, estos pueden ser infinitos o finitos.
Conjuntos Disjuntos: Son aquellos conjuntos que no tienen ningn elemento en comn
Ejemplo 1 : El conjunto de alumnos aprobados en Algebra es un conjunto disjunto con el de los alumnos
reprobados
Ejemplo 2 : Sea E " # $ y F % & '. Los conjuntos A y B no tienen ningn elemento en
comn,
por ello son conjuntos disjuntos.
Ejercicios
a) A B / ! B "
b) B B / ! B "
c) C B / ! B "
a) A ", #, $ B &, *, !
b) A " # $ B " # &
c) A Tenistas Top Ten Ranking ATP tour B Tenistas chilenos
Respuesta
Ejercicios
Respuestas
a) G B B &
b) G " # $ %
Si, en los conjuntos podemos definir otros conceptos, los cuales nos servirn para resolver
ms problemas. Estos son los de Igualdad y Subconjuntos, que se definen a continuacin.
Igualdad: Decimos que dos conjuntos A y B son iguales si tienen los mismos elementos,
no importa el orden de stos. La igualdad de los dos conjuntos se representa por A B
Ejemplo 1:
Sean los conjuntos E " # $ F # " $ y G B B $
Determine si los conjuntos son iguales o no.
Respuesta
Los conjuntos A y B muestran claramente que ambos tienen los mismos elementos aunque en distinto orden. El
conjunto C, est escrito por comprensin y seala que los elementos de este conjunto son nmeros naturales
menores o iguales a 3, es decir, quienes cumplen esta condicin son los nmeros ", # y $. Por lo tanto se
verifica:
EFG
Ejemplo 2:
Respuesta
Estos conjuntos son iguales, porque A tiene elementos del conjunto y estos son " !
Por lo tanto, A B
Otro concepto importante es el de:
Subconjunto: Decimos que A es subconjunto de B si cada elemento del conjunto A es tambin un elemento
del
conjunto B, es decir, A est contenido en B.
Simblicamente se tiene:
A B significa " A es un subconjunto de B "
Grficamente, esto se muestra en la figura:
AB
Ejemplo 2: Sea A " # $ y B 1, el conjunto B tiene un slo elemento y ste est en el conjunto
A,
por lo tanto , B A
Ahora bien , los subconjuntos cumplen ciertas propiedades que conviene saber, ya que nos facilitan la
comprensin
de los conjuntos y sus problemas. Dichas propiedades se cumplen para cualquier conjunto A.
Todas estas propiedades son tiles para un conjunto denominado "conjunto de las partes" o "conjunto
potencia".
Curioso nombre, pero se llama Conjunto de las Partes porque est formado por todos los subconjuntos de un
conjunto dado. El nmero de elementos (o cardinalidad ) de l, est dado por la solucin de la expresin: #8 ,
donde " 8 " indica la cardinalidad del conjunto original. Su notacin es T E .
Ejemplo:
Respuesta:
Ejercicios
c) C A .......... d) C B ..........
e) A C .......... f) g g ..........
g) A B ........... h) g B ...........
a) + T E ........... b) + T E ............
c) + T E ......... d) + T E ...........
e) + , T E ............ d) + T E ...........
e) + , T E ............
Respuesta
I) a) V b) V
c) F C no es un elemento de A. d) V
e) V
g) V h) V
II)
d) V e) F, porque + , es un elemento de
OPERACIONES CON CONJUNTOS
Los conjuntos nos permiten resolver problemas cotidianos a travs de las operaciones que se pueden definir con ellos.
Tomemos dos conjuntos cualesquieras, a los cuales llamaremos A y B
La Unin de los conjuntos A y B es el conjunto formado por todos los elementos de A B o ambos.
A B BB E B F
La unin de A y B se representa simblicamente por A B, especficamente se tiene:
A continuacin, se presentan tres formas grficas distintas de cmo se pueden relacionar los conjuntos, lo achurado
representa la unin de ellos.
Ejemplo 1:
Sean E + , F + - . Determine A B
Respuesta
El conjunto A B + , - . es el conjunto que tiene los elementos de A B.
Ntese que cada elemento se escribe una sola vez aunque se haya repetido ms de
una, como es el caso de la letra "+" que aparece dos veces.
Ejemplo 2:
Un ejemplo grfico se presenta a continuacin con los conjuntos A, B y C. Se achur la unin del conjunto A
y
C.
AC
La Interseccin de los conjuntos A y B se define como el conjunto formado slo por los elementos que tienen
en
comn A y B. La interseccin se representa por A B
A B B B A B B
Simblicamente, se escribe:
Ejemplo 1:
Ejemplo 2:
A- B Y B E
de A son todos aquellos elementos que estn en el Universo, pero que no estn en A.
w
Simblicamente, se representa por A- o A ;
g- Y Y- g E E- Y E E- g
Respuesta:
El conjunto E est formado por los nmeros pares que estn en el conjunto Universo Y dado: E # % ' )
Luego, E- " $ & ( * , es decir, son todos aquellos elementos que estn en el Universo y que no estn en
E.
Ejemplo 2:
En la figura lo sombreado representa E-
La Diferencia entre dos conjuntos A y B, la cual se denota por E F , es el conjunto formado por todos lo
elementos que estn en A y no estn en B. El orden es importante, pus:
La Diferencia entre B y A la cual se denota por F E es el conjunto formado por todos los elementos que
estn en B y no estn en A
Nota:
E F F E
Por ejemplo:
La diferencia E F " $
La diferencia F E % '
Por lo tanto, EF FE
" $ % '
Simblicamente:
E F B E B F
Ejemplo 1:
Sean E + , F + - . Determine E F y F E
Respuesta
Para determinar la diferencia entre A y B, al conjunto A se le quitan los elementos que tenga
de B, lo cual da como resultado la letra " , " es decir E F ,
Ejemplo 2:
Como consecuencia de estas definiciones, tenemos las siguientes propiedades con respecto al
conjunto Universo y al conjunto Vaco:
3 Y 9 9
33 Y 9 Y
333 Y 9 Y
3@ 9Y 9
Ejercicios
A B U : $ B ( B B U : es divisible por #
C B U : B mayor que % D!
Determinar:
a) A B b) C A c) C A B
d) D C - - e) A B- C f) A- D) C B-
# Sea U B " B (
A B U B #
B B U % B (
C B U B $
Determine:
a) A B - C b) A B - C A c) A C - A B
d) A B C - e) C A B -
Es verdad que:
a) A A B - A- B- b) A C) A B A
c) A B B A- A
A B U : B "! B B U : $ B $&
C B U : B ! B $
Determinar :
a) A- B b) B A C - c) A C- B
d) A B C -
Respuesta
a) A B % '
b) C A % & '
c) C A B &
d) D C - - U
e) (A B)- C U & ' = $ # " ! " # $ %
f) [ (A- D C B- !
a) A B - C ! " #
b) A B - C A ! " #
c) A C - A B ! " #
d) A B C - ! " #
e) C A B - % & '
$ #$ )
T A + , - + , + - , - + , - 9
% a) A A B - A- B-
Si, ambos conjuntos son iguales
b) A C A B A
Si
c) A B B A- A
Si
& U
A _ "!
B $ $&
C _ $ ! _
a) A- B "! _ $ $&
b) B A C - 9
c) A C - B
d) A B C - $ ! "! _
Pero todo esto, tambin se puede resolver usando diagramas de Venn, achurando lo que se
pide, veamos un ejemplo.
Ejemplo:
Achurar la solucin de A B C
A B C
Ejercicios
d) A- B A - e) A B- C B
f) B A C - g) A B C A
Respuesta
a)
b)
c)
Los conjuntos tambin cumplen ciertas reglas, las cuales rigen a sus operaciones. A continuacin se presenta
una
lista de estas reglas o propiedades y luego unos ejercicios en los cuales sern utilizadas stas, se incluye adems
la
forma de resolucin correspondiente.
1) Asociatividad
a) A B C A B C b) A B C A B C
# Conmutatividad
a) A B B A b) A B B A
3) Distributividad
a) A B C A B A C b) A B C A B A C
% De Morgan
a) A B - A- B - b) A B - A- B -
5) Absorcin
a) A A B A b) A A B A
6) No Idempotencia
a) A g g b) A g A
c) A U A d) A U U
e) A A- g f) A A- U
7 Involucin
A- - A
8) Diferencia
a) A B A B -
9) Idempotencia
a) A A A b) A A A
Para resolver ejercicios en los cuales se usan las propiedades, conviene desarrollar el lado de la expresin que
presenta mayor dificultad justificando cada paso.
Ejemplo 1:
E E E- F
Respuesta:
Desarrollaremos la segunda parte de la expresin para llegar a la primera parte:
E E- F
E E- F - - Diferencia
E E- - F - - De Morgan
E E F Involucin
E Absorcin
Luego: E E- F E
Ejemplo 2:
Respuesta
E F F E-
E F F E- - Diferencia
E F F - (E- - De Morgan
E F F - E ) Involucin
E F F - Distributividad
E9 No Idempotencia
E No Idempotencia
Luego: E E F F E-
Los Problemas con enunciados son un buen ejemplo de la utilizacin de las operaciones de
conjuntos. Para resolverlos, basta con transformar el lenguaje cotidiano a lenguaje matemtico.
Ejemplo 1:
Respuesta:
Se designa cada conjunto del problema con una letra mayscula convenientemente. Llamaremos
U al conjunto universo el cual est formado por el total de consumidores de Comida Rpida
dados en el problema, los cuales son '#, P ser el conjunto de consumidores de Papas Fritas, H el
conjunto de consumidores de Hamburguesas y C los consumidores de Completos. Esto en
notacin conjuntista es:
Las "! personas que consumen slo Papas Fritas y Hamburguesas indica que no consumen
Completos, es decir, es P H C "!
Los "# consumidores de Completos no consumen ninguna de las otras comidas rpidas, slo
Completos, es decir, C P H=12
Los % consumidores de slo Papas Fritas tampoco consumen las otras comidas rpidas, es decir,
P H C=4
Las $ personas que consumen los tres tipos de comidas estn dados por la solucin del
conjunto P H C=3
Las $$ personas que consumen al menos dos de los tres tipos de comida rpida significa que
consumen como mnimo dos tipos distintos, es decir,
P H H C P C P H C "$
Los #& consumidores de Papas Fritas tambin son consumidores de Hamburguesas y Completos,
es decir, es todo el conjunto P.
c) P H C H C P P C H $!
$! personas comen exactamente dos tipos de esta comida.
#. Se investig un grupo de 5500 personas en relacin con la estrategia a seguir con objeto de
conservar el combustible. De stas, 2000 opinaron que lo aceptable era el racionamiento, 1500
dijeron que lo apropiado sera fijar un impuesto adicional por litro, y 750 personas indicaron que
lo apropiado sera la aplicacin de ambos procedimientos.
El resto de las personas no aceptan ninguno de los dos sistemas.
Determinar:
a) Un diagrama de Venn, que resuma lo anterior.
b) Cuntas personas aceptaran en forma voluntaria el racionamiento pero no el impuesto?
c) Cuntas personas aceptaran en forma voluntaria el impuesto, pero no el racionamiento?
d) Cuntas personas no aceptaran en forma voluntaria ninguno de los dos cursos de accin?
$ En una eleccin de directorio de una empresa asistieron 595 de un universo de 703 accionistas.
Segn los estatutos de la empresa cada accionista recibe una papeleta con los nombres de todos
los candidatos y en donde el accionista marcar, si lo desea, hasta dos preferencias.
De los resultados de la eleccin se determin la siguiente informacin referente a las tres primeras
mayoras.
El candidato A obtuvo 324 preferencias, 47 de los accionistas slo votaron por A, 203 votaron
por A y no por B, 164 votaron por C y B, 358 votaron por C y 42 votaron slo por B. Determinar:
a) Quin obtuvo la primera mayora?
b) Quin obtuvo la segunda mayora?
c) Cuntos votaron por dos candidatos?
d) De todos lo asistentes, cuntos no votaron por C?
e) Cuntos slo votaron por C?
f) Cuntos de los asistentes no votaron por ninguno de los tres?
g) Cuntos accionistas no se hicieron presente?
h) Cuntos accionistas votaron por los tres candidatos?
% De una encuesta a 200 personas que compran pasta de dientes 80 compran Pepsodent, 60 compran solamente
Odontine, 20 compran solamente Signal, 14 compran Pepsodent y Odontine, 20 compran Odontine y Signal, 12
compran Pepsodent y Signal y 10 compran todos. El resto compra otra marca.
a) Cuntos compran al menos una de estas marcas?
b) Cuntos no compran estos dentrficos?
c) Cuntos compran solamente Pepsodent?
d) Cuntos compran Signal?
e) Cuntos no compran Odontine?
f) Cuntos compran Signal u Odontine?
& Se realiz una encuesta a 200 alumnos de Ingeniera en Ejecucin en diversas disciplinas acerca
de la forma en que ocupaban su tiempo libre, 30 dicen que slo leen, 60 dicen que
slamente escuchan msica, 20 dicen que slo estudian, 16 dicen que leen y escuchan msica, 50
dicen que estudian, 16 dicen que escuchan msica y estudian y 8 hacen las tres cosas .
De acuerdo a la encuesta, responda las preguntas dadas:
a) Grafique la informacin.
b) Cuntos slo leen o estudian?
c) De los que opinan, cuntos dicen que no leen?
d) Cuntas personas no contestan alguna de estas tres alternativas?
e) Cuntas personas escuchan msica, pero no leen?
f) Cuntas personas estudian y escuchan msica, pero no leen?
Respuesta
" + )&!
, "&!
- "$!
. ")!
# +
, "#&!
- (&!
. #(&!
$ + G , F - %%"
. #$( / $) 0 #(
1 "!) 2 ninguno
% + "(! , $! - '%
. %# / ""' 0 "!'
& +
, '% - )) . &#
/ ') 0 )
.-
3.- Una encuesta realizada a 100 estudiantes arroj la siguiente
informacin:
32 estudian Clculo I
20 estudian Fsica
45 estudian Qumica
15 estudian Clculo I y Qumica
7 estudian Clculo I y Fsica
10 estudian Fsica y Qumica
30 no estudian ninguna de las tres asignaturas
a) A G G
b) (G A) A
c) G A A
d) (A G) A (A G)
a) Si E F F entonces F E
b) Si E F F entonces E F
c) Si E F entonces F
d) Si E F y B F entonces B E
e) Si B E entonces B E F
f) Si B E entonces B E F
3.- a) Hay cinco alumnos que estudian las tres asignaturas
b) Hay 48 alumnos que estudian una y slo una de las asignaturas.
4.- a) V
b) F
c) V
d) V
5.- a) Z
b) Z
c) J
d) J
e) J
f) Z
Producto cartesiano
Los elementos de A x B son pares ordenados. Cada par que se forma con un
elemento del conjunto A y uno del conjunto B, en ese orden, recibe el nombre de
par ordenado. Sus elementos se colocan entre parntesis, separados por coma.
Entonces:
Como ejemplo:
Ventajas de la Teora de Conjuntos
Toda estructura matemtica necesita tener un razonamiento vlido a travs de un lenguaje que
sea de uso universal. Ante esta situacin es que se necesita una simplificacin y uso de simbolismos
inequvocos que nos permitan razonar en forma vlida con reglas establecidas con claridad. En este
contexto, surgen conceptos tales como el de:
Proposicin: Es una expresin con sentido en algn lenguaje que afirma o niega
algo y que nos proporciona informacin.
Las proposiciones se denotan con la letras : ; < ..
Ejemplo 1:
: El pizarrn es verde
; #$(
< A ella le gusta la msica
Si observa las proposiciones, estas pueden ser verdaderas o falsas (no aceptan ambigedades).
No son proposiciones:
a) el interruptor
b) #B $ '
c) Qu hora es ?.
Valor de Verdad: Es una funcin que define una proposicin. El valor de verdad puede ser
Verdadero (V) o Falso (F).
Tabla de Verdad Una tabla de verdad es una forma de resumir el valor de verdad de las
proposiciones. Esta se construye de acuerdo al nmero de proposiciones distintas que se den.
Si hay una sola proposicin, 8 ", resolvemos # " #. Esto significa que se
pueden dar dos posibles valores de verdad y la tabla que resulta es:
:
Z
J
Esto significa que se pueden dar cuatro combinaciones de valores de verdad y la tabla que resulta
es :
: ;
Z Z
Z J
J Z
J J
Si hay tres proposiciones , 8 $ resolvemos # $ )
Es decir, se pueden dar ocho combinaciones de valores de verdad y la tabla es:
: ; <
Z Z Z
Z Z J
Z J Z
Z J J
J Z Z
J Z J
J J Z
J J J
...y as sucesivamente.
Las proposiciones pueden ser simples o compuestas. Son proposiciones simples las que se dan
en el ejemplo anterior :
: El pizarrn es verde
; #$(
< A ella le gusta la msica
" Negacin : :
Ejemplo :
: : el da est nublado
: : el da no est nublado
: Est nublado
; Hace fro
: ; : Est nublado y hace fro.
La tabla de verdad es:
: ; : ;
Z Z Z
Z J J
J Z J
J J J
$ Disyuncin : : ;
Dos enunciados cualesquiera, se pueden combinar mediante la palabra "o"
( en el sentido y/o) para formar un nuevo enunciado que se llama disyuncin
de los dos enunciados previos. Simblicamente se denota por:
:;
Ejemplo :
: : La puerta se abre
; : La silla es de madera
% Condicional : : ;
Muchos enunciados en matemtica son de la forma "si : entonces ; ", estos se
llaman condicionales y se les denota por:
:;
Ejemplo:
Otro enunciado muy usado es el de la forma ": s y slo si ; ", los cuales se
llaman bicondicionales y se les denota por :
:;
Ejemplo
: : Hoy voy a ir al cine
; Hace calor
: El va a la fiesta
; Ella es su polola
+ ; : .
, ; : .
- : : .
. ; :
/ : ; : ..
0 : ; : :.....
1 : ; : ....
: Tengo dinero
; Hoy dejar de fumar
+ No tengo dinero
"
a) Ella no es su polola
b) Ella es su polola o l no va a la fiesta
c) No es verdad que, l no va a la fiesta
d) No es verdad que, ella no es su polola
e) El no va a la fiesta, s y slo si, ella es su polola
f) Si l va a la fiesta y ella no es su polola, entonces l va a la fiesta
g) Si l va a la fiesta, entonces ella no es su polola
#
+ :
, : ;
- :;
. ;
/ : ;
0 : ;
USO DE PARNTESIS
El uso de parntesis es un smbolo que forma parte de la lgica secuencial, el uso de ellos es
lgico y no retrico, sin los parntesis las frmulas o expresiones lgicas pueden carecer de sentido.
En el siguiente ejemplo, puede observar que las expresiones son claramente distintas:
+ : ; <
, : ; <
Ejemplo
Sea la proposicin : ;
: ; ; : ;
Z Z J J
Z J Z Z
J Z J J
J J Z J
: ; ; : ; : ;
Z Z J J Z
Z J Z Z J
J Z J J Z
J J Z J Z
: ; : ;
: ; : ;
Z Z Z J
Z J Z Z
J Z J J
J J J Z
: ; : ;
Z Z Z J J
Z J Z Z Z
J Z J J J
J J J J Z
: ; : ;
Z Z Z Z J J
Z J J Z Z Z
J Z Z J J J
J J Z J J Z
Ejercicios
+ : ; :
, : ; ;
- : ; :
. : ; : ;
/ : < ;
0 : ; < ;
# Si
+ < ; : ;
, ; : < :
$ Si
: $B $C *
; &B C (
< & C B "" B " C # C
+ : ; < ;
, ; : <
- : < ;
Respuesta
+ : ; ; : ; : ; :
Z Z J J Z
Z J Z Z Z
J Z J J Z
J J Z J Z
, : ; : ; :; :; ;
Z Z J J Z J
Z J J Z J J
J Z Z J Z J
J J Z Z Z Z
- : ; :; : ; : ; :
Z Z Z J J
Z J J Z Z
J Z Z J J
J J Z J J
. " #
: ; : ; : ; : ; " #
Z Z J J Z J Z
Z J J Z Z J Z
J Z Z J J J J
J J Z Z Z Z Z
: J ; J < J
+ : ; < ;
J J J J
J Z Z
J Z
Z
, ; : <
J J J
Z Z Z
Z Z
Z
J
- : < ;
J J J
Z J Z
Z Z
Z
Tautologa
Una proposicin T : ; es una Tautologa si todos los valores de verdad de
su ltima columna son Verdaderos, sean cules sean los valores de verdad de sus
proposiciones.
Contradiccin
Una proposicin T : ; es una G ontradiccin si todos los valores de verdad
de su ltima columna son Falsos, sean cules sean los valores de verdad de sus
proposiciones.
Contingencia
Una proposicin T : ; es una Contingencia si todos los valores de verdad
de su ltima columna son Verdaderos y Falsos.
Ejemplo
: ; : ;
Respuesta
" #
: ; : ; : ; : ; :; "#
Z Z J J Z J J Z
Z J J Z Z J J Z
J Z Z J J Z Z Z
J J Z Z Z J J Z
Ejercicios
+ : ; ;
, : : ; <
Observacin 1:
Ejercicio
: ; : ;
Observacin 2:
Ejemplo
: ; : ;
" Idempotencia
+ : : : , : : :
# No Idempotencia
+ : J J . : Z Z
, : J : / : : J
- : Z : 0 : : Z
$ Conmutatividad
+ : ; ; : , : ; ; :
- : ; ; :
% Asociatividad
+ : ; < : ; <
, : ; < : ; <
& Distributividad
' Absorcin
+ : : ; : , : : ; :
( Negacin
+ J V
, Z J
- Z Z
) De Morgan
+ : ; : ;
, : ; : ;
* Condicionales
+ : ; : ;
, : ; ; :
: ; : ; ; :
Usando las leyes proposicionales tambin es posible encontrar otra expresin
equivalente a la que se da, esto se hace simplificando la proposicin compuesta dada.
Ejemplo
Simplifique la expresin : ; : e indique cada paso que realiz
Respuesta
: ; :
: ; : Por Condicional
: ; : De Morgan
: : ; Conmutatividad
: Absorcin
Por lo tanto :; : :
Ejercicios
" : ; : ; # : ; :
$ : ; : ; % : ; :
3 : ; 33 : ; :
333 : ; : ; 3@ : : ;
3 : ; : :
33 : ; : ; Z
333 : ; : : ;
3@ : ; ; : ;
@ : ; : ; : ;
Respuesta
I) " Z # : ; $ Z % Z
Ejemplo 1:
Respuesta
Sea B # : # # # &
% & V
Sea B $ : $ $ # &
& & V
Observe que " todos los elementos que estn en A cumplen la proposicin : B "
,esto se puede simbolizar por el cuantificador: a y es el Cuantificador Universal.
a B E :B B # &
Ejemplo 2:
B ! ; ! l!l $ %
! $ %
$ % J
b B E ; B l Bl $ %
b B B E ; B l Bl $ %
Ejemplo 3:
Respuesta
B # , < # # # ' # %
%' "'
"! "' F
B $ < $ $ # ' $ %
$ ' $ # $ #
* * V
Ejemplo
Respuesta
a B B :B
Ejercicios
Sea : B una funcin proposicional, sobre el conjunto , use cuantificadores para escribir los
siguientes enunciados.
...............................
........................................................................................................................
Respuestas
a) b xB B ,:B
b) b B B ,:B
c) a B B , B# !
d) b x BB ,:B #B $ !
e) b B B , B
f) b B B B !
Se podrn agrupar de alguna forma todos los elementos de un conjunto que cumplen con
una proposicin?
Si, en un conjunto llamado Conjunto de Validez.
Por lo tanto, el conjunto de validez es aquel en el cual estn todos lo valores para los cuales la
proposicin es verdadera.
Ejemplo
Sea E # $ % = B B " #
Respuesta
Sea B # =# # " #
"# J
B $ = ($): $ " #
# # J
B % = (%) : % " #
$# Z
El valor de verdad de una funcin proposicional depende del cuantificador y del conjunto de
validez.
Ejemplo
Respuesta:
: # : # # " &
%" &
& &
Z : #
Como la funcin lgica deca que:
Para todos los elementos de A se cumple la proposicin : B , obviamente esto es FALSO, ya
que
slo se cumple para un elemento.
Por lo tanto : a B , B E , : B : # B " & es falso
Ejercicios
Determine el conjunto de validez y el valor de verdad para cada funcin lgica dada:
Sea E # " ! " #
a) a B ,B E , :B B# "
c) bx B , B E , < B B" #
d) a B ,B E , :B B# $
Respuesta
a) Z : # "
b) Z ; # " ! " #
c) Z < # " !
d) Z : " ! " #
Valor de verdad : Falso
e) Z = # " ! " #
Ahora, recurriremos a las tablas verdad vistas anteriormente, pero las llamaremos Tablas de
doble
Entrada para resolver las siguientes funciones lgicas:
Ejemplo
a B , B E , : B : B ; B
:B :#B " %
;B :B $ B#
Respuesta:
:B ;B :B ;B : B : B ; B
"
!
"
#
Luego, se sustituyen los elementos de E, en cada una de las proposiciones, para determinar
cules
de ellos cumplen con la proposicin dada:
:B ;B :B ;B : B : B ; B
" Z Z Z Z
! Z Z Z Z
" Z Z Z Z
# J Z Z J
Ejemplo:
b B ,B B+ 1 ! B $ "
B" ! B $ "
B " B %
Recuerda que los conjuntos soluciones en los reales se representan con intervalos.
La solucin es :
a) Tabla de verdad
b) Conjunto de validez
c) Valor de verdad
b B , B E , : B ; B < B
:B B# #B " !
;B B " !
< B B $
b B , B E , ; B : B < B
: B #B " %
;B B $ !
b B , B E , : B : B < B ; B
:B B $ &
;B B# " $
<B B !
% b B , B #B + 1 " #B $ &
&B (
' a B B $B # " *
%
Respuesta
"
a)
"
: B ; B <B :B <B ;B <B :B "
# J J Z Z J J J
" Z J Z J J J Z
! J J Z Z J J J
" J Z Z Z J J J
# J Z Z Z J J J
b) Z : ; < = "
c) Verdadero
#
a)
"
:B ;B <B :B ;B ;B : B " <B
! Z Z J J J J Z
" Z Z J J J J Z
# J Z Z Z J J Z
$ J Z J Z J J Z
% J Z Z Z J J Z
b) Z : ; < = ! " # $ %
c) Verdadero
a) " #
:B ;B <B :B :B <B " ;B : B #
! Z Z J J J Z Z
" Z Z Z J Z Z Z
# J J Z Z Z J Z
$ J J Z Z Z J Z
% J J Z Z Z J Z
b) Z : ; < ! " # $ %
c) Verdadero
4) b) Z _ ! c) Verdadero
5) b) Z _ #$# c) Falso
6) b) Z _ %$& c) Falso
NEGACION DE PROPOSICIONES QUE CONTIENEN CUANTIFICADORES
Para negar una proposicin cuantificada hay que cambiar el cuantificador y negar la funcin
proposicional reducindola al mximo usando las leyes proposicionales.
Por ejemplo:
La negacin es : b B B E : B ;B
La negacin de b es a La negacin de a es b
: ;
: ;
: ;
a B B E : B ; B
Ejercicios
" b B B E : B ; B
# a B B E : B ; B
$ b B B E : B ; B : B
% a B , B # B + 1 " #B $ &
Respuesta
" a B B E : B ; B
# b B B E : B ; B
$ a B B E : B
4. b B , B # B + 1 " #B $ &