Documentos de Académico
Documentos de Profesional
Documentos de Cultura
UNIDAD I
Lgica y Conjuntos
2
Indice
Lgica y Cuantificadores
Lgica 3
Tablas de Verdad 3
Conectivos Lgicos u Operadores Lineales 4
Negacin, Conjuncin, Disyuncin 5
Condicional, Bicondicional 6
Ejercicios 7
Tablas de Verdad para Proposiciones Compuestas 8
Clasificacin de Proposiciones Compuestas 0 1
Leyes del Algebra Proposicional 14
Lgica Cuantificacional 15
Ejercicios 17
Conjunto de Validez y Valor de verdad funcion Proposicional 18
Ejercicios 19
Negacin de Proposiciones 23
Autoevaluacin 24
Conjuntos
Conjuntos 26
Formas de escribir un conjunto 27
Tipos de Conjuntos 27
Subconjuntos 29
Propiedades de los Subconjuntos 31
Ejercicios 31
Operaciones con conjuntos 32
Ejercicios 36
Propiedades de los Conjuntos 37
Problemas de aplicacin 39
Autoevaluacin 44
3
LOGICA
La Lgica Matemtica es la disciplina que trata de mtodos de razonamiento.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un
argumento dado.
333
El razonamiento lgico se emplea en matemtica para demostrar teoremas; en Ciencias de la Computacin
para verificar si son o no correctos los Programas; en las Ciencias Fsicas y Naturales, para sacar conclusiones de
experimentos; y en las Ciencias Sociales y en la Vida Cotidiana, para resolver una multitud de problemas.
Ciertamente usamos en forma constante el razonamiento lgico para realizar cualquier actividad. Toda
estructura matemtica necesita tener un razonamiento vlido a travs de un lenguaje que sea de uso universal.
Es una expresin con sentido en algn lenguaje que afirma o niega algo y que nos Proposicin:
proporciona informacin.
Las proposiciones se denotan con la letras .etc.. . c . v
Ejemplo 1:
: El pizarrn es verde
c : 2 8 7
v : A ella le gusta la msica
Si observa las proposiciones, pueden ser o , no aceptan ambigedades. Verdaderas Falsas
No son proposiciones: a) el interruptor
b) 2a 8 6
c) Qu hora es ?
Estos enunciados no son proposiciones porque no tienen sentido, no afirman ni niegan.
Valor de Verdad: Es una funcin que define una proposicin. El valor de verdad puede ser Verdadero (V) o Falso
(F).
Tablas 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.
El nmero de combinaciones posibles de valores de verdad se determina al resolver la expresin
representa el nmero de proposiciones dadas. :
Veamos cmo funciona !!
4
: 1 2 2 Si hay una sola proposicin, , resolvemos . Esto significa que se
1
pueden dar y la tabla que resulta es: dos posibles valores de verdad
\
1
2 c : 2. 2 4 Si hay proposiciones distintas y , entonces resolvemos
2
Esto significa que se pueden dar de valores de verdad y la tabla que resulta es : cuatro combinaciones
c
\ \
\ 1
1 \
1 1
: 8. 2 8 Si hay tres proposiciones , resolvemos
8
Es decir, se pueden dar de valores de verdad y la tabla es: ocho combinaciones
c v
\ \ \
\ \ 1
\ 1 \
\ 1 1
1 \ \
1 \ 1
1 1 \
1 1 1
...y as sucesivamente.
Las proposiciones pueden ser . Son proposiciones simples las que se dan en el simples o compuestas
ejemplo anterior :
: El pizarrn es verde
c : 2 8 7
v : A ella le gusta la msica
Son aquella que se unen mediante smbolos llamados Conectivos. compuestas
Conectivos Lgicos u Operadores Lgicos:
Son smbolos que permiten relacionar una o ms proposiciones.
Los conectivos son: la negacin ( ), la conjuncin ( ), disyuncin ( ), condicional ( ) y
bicondicional ( ).
Veremos cada uno de ellos a continuacin!!
5
1. ~ : Negacin
Dado un enunciado , se puede formar otro enunciado que se llama negacin de escribiendo "es falso .
que..." o "no..." antes de la proposicin .
Simblicamente se representa por: :
Ejemplo: : el da est nublado
: el da no est nublado ~
El valor de verdad de la negacin depende del valor de verdad de la proposicin
original. Si es verdadero, entonces es falso y viceversa. ~
La tabla de verdad que resume esto es:
~
\ 1
1 \
2. c : La Conjuncin
Dos proposiciones simples cualquiera se pueden unir mediante la palabra "y" para formar una proposicin
compuesta, que se llama Conjuncin.
Simblicamente se denota por: : ;
Ejemplo: : Est nublado
Hace fro c :
: Est nublado y hace fro. c
La tabla de verdad es: c c
\ \ \
\ 1 1
1 \ 1
1 1 1
8. c : La Disyuncin
Dos enunciados cualquiera 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 c
: La puerta se abre o la silla es de madera c
6
La tabla de verdad es: c c
\ \ \
\ 1 \
1 \ \
1 1 1
4. c : La condicional
Muchos enunciados en matemtica son de la forma "si entonces ". Estos se c
llaman condicionales y se les denota por:
: ;
Ejemplo: : son las 10 de la maana
: la clase es de matemtica c
: Si son las 10 de la maana entonces la clase es de matemtica c
La tabla de verdad es: c c
\ \ \
\ 1 1
1 \ \
1 1 \
. c : La bicondicional
Otro enunciado muy usado es el de la forma " s y slo si ". Los cuales se c
llaman bicondicionales y se les denota por :
: ;
Ejemplo: : Hoy voy a ir al cine
Hace calor c :
: Hoy voy a ir al cine, s y slo si, hace calor c
La tabla de verdad es: c c
\ \ \
\ 1 1
1 \ 1
1 1 \
7
Ejercicios
1 . ) Sean las proposiciones
El va a la fiesta :
Ella es su polola c :
Escriba con palabras los siguientes enunciados:
: ............................................................................................................ 1) ~ c
...... 2) c ~ :
: 8) ~ ~
: .. 4) ~ ~ c ..
: . ) ~ c
: ................................................................................................ 6) ( ~ c )
: .......... 7) ~ c
11). Sean las proposiciones:
Tengo dinero :
Hoy dejar de fumar c :
Escriba los siguientes enunciados verbales en forma simblica usando y : c
No tengo dinero 1)
Si tengo dinero entonces hoy no dejar de fumar 2)
Tengo dinero, s y slo si, hoy dejo de fumar 8)
No es verdad que, hoy no dejar de fumar 4)
No es verdad que, no tengo dinero y que hoy no dejar de fumar )
Es falso que, no tengo dinero o que hoy dejar de fumar 6)
8
Respuestas:
1). 1) Ella no es su polola
) Ella es su polola o l no va a la fiesta 2
) No es verdad que, l no va a la fiesta 8
) No es verdad que, ella no es su polola 4
) El no va a la fiesta, s y slo si, ella es su polola
Si l va a la fiesta y ella no es su polola, entonces l va a la fiesta 6)
) Si l va a la fiesta, entonces ella no es su polola 7
11. 1) ~
2) ~ c
8) c
4) ~ ~ c
) ~ ( ~ ~ c )
6) ~ ( ~ c )
USO DE PARENTESIS
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:
a) (c v ) /) ( c ) v
Tablas de Verdad para Resolver Proposiciones Compuestas
Una manera de mostrar la relacin entre el valor de verdad de una proposicin y los valores 1 (. c . ...)
de verdad de las proposiciones es mediante una tabla de verdad. . c. ...
Ejemplo: Sea la proposicin ~ ( ~ c )
: Primero
Se completan las dos primeras columnas correspondientes a las proposiciones y c
c
\ \
\ 1
1 \
1 1
9
: Segundo
Se resuelve el parntesis de la proposicin, desde adentro hacia afuera:
c ~ c
\ \ 1
\ 1 \
1 \ 1
1 1 \
Luego, se va completando la expresin que est dentro del parntesis
c ~ c ( ~ c )
\ \ 1 1
\ 1 \ \
1 \ 1 1
1 1 \ 1
: se completa toda la expresin en la tabla ...y por ltimo
c ~ c ( ~ c ) ~ ( ~ c )
\ \ 1 1 \
\ 1 \ \ 1
1 \ 1 1 \
1 1 \ 1 \
Por lo tanto, la solucin de est dada en la ltima columna. ~ ( ~ c )
Existe de completar la tabla de verdad de y es la otra forma ~ ( ~ c )
siguiente:
Se escribe toda la expresin en la tabla colocando cada parte de sta en
un cuadrado de la tabla
c ~ ( ~ c )
Se va completando la tabla de la siguiente forma:
c ~ ( ~ c )
\ \ \ 1
\ 1 \ \
1 \ 1 1
1 1 1 \
10
c ~ ( ~ c )
\ \ \ 1 1
\ 1 \ \ \
1 \ 1 1 1
1 1 1 1 \
La solucin de est dada en la columna de la negacin . ~ ( ~ c ) ( ~ )
c ( ~ c )
\ \ \ 1 1
\ 1 \ \ \
1 \ 1 1 1
1 1 1 1 \
Z
J
Z
Z
Clasificacin de las Proposiciones Compuestas
Tautologa
Una proposicin es una tautologa si todos los valores de verdad de su ltima columna son 1 (. c. ...)
Verdaderos, sean cules sean los valores de verdad de sus proposiciones.
Contradiccin
Una proposicin es una Contradiccin si todos los valores de verdad de su ltima columna son 1 (. c. ...)
Falsos, sean cules sean los valores de verdad de sus proposiciones.
Contingencia
Una proposicin es una Contingencia si todos los valores de verdad de su ltima columna son 1 (. c. ...)
Verdaderos y Falsos.
Ejemplo: Demuestre que la siguiente proposicin es una tautologa
~ ( ~ c ) ( ~ c )
Respuesta
c ~ ~ c ~ c ~ ( ~ c ) ~ c
\ \ 1 1 \ 1 1 \
\ 1 1 \ \ 1 1 \
1 \ \ 1 1 \ \ \
1 1 \ \ \ 1 1 \
Por lo tanto, es una Tautologa. ~ ( ~ c ) ( ~ c )
11
Ejercicios
1. Construya la tabla de verdad de las siguientes expresiones lgicas e indique si es Tautologa, Contardiccin
o Contingencia.:
1) ( ~ c )
2) ( ~ c) ~ c
8) ~ ( c)
4) ( ~ c ) ( ~ ~ c)
) ~ ( v) c
6) [ ~ ( c v ) [ ~ c
11. : Si: Chile tiene doce regiones
c : 8 2 84
8
v : 7 2 = 8
Determine el valor de verdad de:
1) [ (v ~ c) [ ~ c
2) ~ [ ( ~ c ~ ) ~ v [
111. : 8 a 8 n 0 Si:
c : a n 7
v : n a 11 a 1. n = 2. n
Determine el valor de verdad de:
1) [ ( c) ~ v [ ~ c
2) ~ [ ( ~ c ~ ) ~ v [
8) ( ~ v ) ~ c
12
Respuesta
1) c ~ c ~ c ( ~ c)
\ \ 1 1 \
\ 1 \ \ \
1 \ 1 1 \
1 1 \ 1 \
Por lo tanto la proposicin es una Tautologa ( ~ c )
2) c ~ ~ c ~ c ( ~ c ) ~ c
\ \ 1 1 \ 1
\ 1 1 \ 1 1
1 \ \ 1 \ 1
1 1 \ \ \ \
Por lo tanto la proposicin es una Contingencia ( ~ c ) ~ c
8) c c ~ ( c ) ~ ( c )
\ \ \ 1 1
\ 1 1 \ \
1 \ \ 1 1
1 1 \ 1 1
Por lo tanto la proposicin es una Contingencia ~ ( c )
4)
c ~ ~ c ~ c ~ ~ c
\ \ 1 1 \ 1 \
\ 1 1 \ \ 1 \
1 \ \ 1 1 1 1
1 1 \ \ \ \ \
Por lo tanto la proposicin es una Contingencia ( ~ c ) ( ~ ~ c)
)
6)
11. 1) 1 2) \
111. : 1 c : 1 v : 1 Los valores de verdad de las proposiciones son:
1) [ ( c) ~ v [ ~ c
[ (1 1 ) ~ 1 [ ~ 1
[ ( 1 ) \ [ \
1 \
13
\
14
2) ~ [ ( ~ c ~ ) ~ v [
~ [ ( ~ 1 ~ 1 ) ~ 1 [
~ [ ( \ \ ) \ [
~ [ \ \ [
~ [ \ [
1
8) ( ~ v ) ~ c
( ~ 1 1 ) ~ 1
( \ 1 ) \
( \ ) \
\
Observacin 1:
Cuando las proposiciones que se relacionan por el conectivo determinan una Tautologa, entonces la
expresin es una y el conectivo cambia a " " implicancia lgica =
Ejercicio: Demuestre que la siguiente expresin es una implicancia lgica
( c ) ( c )
Observacin 2:
Cuando las proposiciones que se relacionan por el conectivo determinan una Tautologa, entonces la
expresin es una y el conectivo cambia a " " equivalencia lgica =
Ejemplo: En el ejercicio anterior, la expresin
es una Tautologa, por lo tanto la escribimos: ~ ( ~ c ) ( ~ c )
~ ( ~ c ) = ( ~ c )
Un ejemplo de equivalencia lgica son las . leyes Proposicionales
15
Leyes del Algebra Proposicional
1. Idempotencia
a) =
/) =
2. No Idempotencia
a) 1 = 1 d) \ = \
/) 1 = c) ~ = 1
c) \ = 1) ~ = \
8. Conmutatividad
a) c = c
/) c = c
c) c = c
4. Asociatividad
a) ( c ) v = (c v)
/) ( c ) v = (c v)
. Distributividad
a) ( c ) v = ( v ) ( c v)
/) ( c ) v = ( v ) (c v)
6. Absorcin
a) ( c ) =
/) ( c ) =
7. Negacin
V a) ~ 1 =
/) ~ \ = 1
c) ~ ( ~ \ ) = \
8. De Morgan
a) ~ ( c ) = ~ ~ c
/) ~ ( c ) = ~ ~ c
0. Condicionales
a) ( c) = ~ c
/) ( c) = ~ c ~
10. Doble Implicacin
( c ) = [ ( c) ( c ) [
16
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 ( c ) ~
Respuesta ( c ) ~
Por Condicional ~ ( c ) ~
De Morgan ( ~ ~ c ) ~
Conmutatividad ~ ( ~ ~ c )
Absorcin ~
Por lo tanto: ( c ) ~ = ~
LOGICA CUANTIFICACIONAL
Es una rama de la lgica que utiliza determinados smbolos llamados CUANTIFICADORES, los cuales
permiten indicar el nmero de elementos de un conjunto que al ser sustituidos en un enunciado hacen de l una
proposicin verdadera.
Funcin lgica o proposicional
Es una afirmacin que contiene una o ms variable.
Las funciones proposicionales se denotan por letras minsculas, y las variables se escriben dentro de un
parntesis, por ejemplo:
, son funciones proposicionales, e son variables. (a) c (a) . v(n) a n
Ejemplo 1: Sea y la funcin proposicional 1. 2. 8
: , ( a) a 2 a
Determine qu valores cumplen la funcin.
Respuesta Sustituiremos cada elemento de en la funcin proposicional . (a)
Sea a 1 = (1) 1 2
V 8
Sea a 2 = ( 2) 2 2
V 4
Sea a 8 = ( 8) 8 2
V
Observe que :
" ", esto se puede simbolizar por el todos los elementos que estn en A cumplen la proposicin : B
cuantificador: y es el Cuantificador Universal. v
17
a se lee " para todo " , " todo"
18
Simblicamente escribimos todo el enunciado de la siguiente forma:
( v a ) ( ( a) : a 2 )
Esta funcin lgica es cuantificada.
Ejemplo 2:
Sea y 1. 0. 1 c ( a) : [ a[ 8 4
Determine qu valores del conjunto A cumplen con la proposicin
Respuesta
Sustituiremos todos los elementos
a 1 c ( 1) : [ 1 [ 8 4 ,
1 8 4
4 4 \
a 0 . c ( 0 ) : [ 0 [ 8 4
0 8 4
8 4 1
a 1 . c ( 1 ) : [ 1 [ 8 4
1 8 4
4 4 \
Observe que slo algunos elementos de A cumplen la proposicin , esto se simboliza por otro c ( a)
cuantificador: , llamado Cuantificador Existencial.
bse lee "existen " , "algunos elementos " o " existe al menos un "
Simblicamente escribimos todo el enunciado de la siguiente forma:
( a ) (c (a) : [ a[ 8 4 )
a. a . c ( a) : [ a[ 8 4
Ejemplo 3:
Sea = , y 2 8. 8 v ( a) : a 6 a
2 4
Determine qu valores del conjunto A cumplen con la proposicin
Respuesta
Sustituiremos cada elemento en v ( a)
a 2 v( 2 ) : ( 2 ) 6 ( 2) ,
2 4
4 6 16
F 10 16
19
a 8 . v ( 8 ) : ( 8 ) 6 ( 8)
2 4
8 6 ( 8) .( 8)
2 2
V 0 0
a 8 v 8 8 8 , ( ) : ( ) + 6 ( )
2 4
= 0 6 81
15 = F 81
En este ejemplo, de todos los elementos de A , slo cumple con la proposicin, esto se simboliza por
8
!, el cual es otro Cuantificador Existencial.
! se lee "existe un nico " b
Del ejemplo anterior: , ! b a v (a) : a 6 a . 2. 8. 8
2 4
Ejemplo
Sea una funcin proposicional, sobre el conjunto , use cuantificadores para escribir: ( a)
Todo real cumple con (a)
Respuesta
v a. a . ( a)
Ejercicios
Sea una funcin proposicional, sobre el conjunto , use cuantificadores para escribir los siguientes ( a)
enunciados.
a) Existe un real que cumple con : ........................................................ ( a)
b) Algn real cumple con : .............................................. ( a)
c) Todo real al cuadrado es positivo o cero : ......................................
d) La ecuacin tiene solucin nica en : ...................................................... 2 a 8 0 .....
e) Existe por lo menos un real tal que su raz cuadrada no es real :....................................
1) No todos los nmeros enteros son positivos :............................................................................................
Respuesta
a) , a. a ( a)
b) , a. a ( a)
c) , v a. a a _ 0
2
d) , ! a. a ( a) : 2 a 8 0
20
e) , a. a a +
f) a. a . a 0
21
Pero, Se podrn agrupar de alguna forma
todos los elementos de un conjunto que
cumplen con una proposicin
S, 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.
Su notacin es , indica la proposicin. \
23
Como la funcin lgica deca que:
Para todos los elementos de A se cumple la proposicin , obviamente esto es FALSO, ya que slo se ( a)
cumple para un elemento.
Por lo tanto : , , : es v a a ( a) 2 a 1 falso
Ejercicios
Determine el conjunto de validez y el valor de verdad para cada funcin lgica dada:
Sea 2. 1. 0. 1. 2
a) , , v a a ( a) : a 2 1
b) , , a a c ( a) : [ a [ 1 _ 1
c) , , ! a a v ( a) : a 1 < 2
d) , , v a a ( a) : a 2 8
e) , , a a - ( a) : 8[ a [ 1 _ 1
Respuesta
a) Valor de verdad : Falso \ 2. 1
2. 0. 1. 2. 8. 4 Sea y la funcin proposicional:
, , a a [ ( ~ c ( a) ~ ( a) ) v( a) [
( a) : 2a 1 4
c ( a) : a 8 0
es divisible por v ( a) : a 2
8. 0. 1. 2. 8. 4 y la funcin proposicional:
, , a a ( a) [ ( ~ ( a) v ( a)) c ( a) [
( a) : a 8 <
c ( a) : a 1 8
2
v ( a) : a 0
4. a a . 2a 1 2a 8 < , + 1
. ! a a . a 2 1 <
2a 8
4
, +
6. v a. a . 8a 2 < 1 0
a 7
4
26
Respuesta
1. a)
1
(a) c (a) v(a) ~ (a) ~ v(a) c(a) ~ v(a) ~ (a) [ 1 [
2 1 1 \ \ 1 1 1
1 \ 1 \ 1 1 1 \
0 1 1 \ \ 1 1 1
1 1 \ \ \ 1 1 1
2 1 \ \ \ 1 1 1
b) = \ 1
(. c. v)
c) Verdadero
2. a)
1
(a) c(a) v(a) ~ (a) ~ c(a) ~ c(a) ~ (a) 1 v(a)
0 \ \ \ 1 1 1 \
1 \ \ 1 1 1 1 \
2 1 \ \ \ 1 1 \
8 1 \ 1 \ 1 1 \
4 1 \ \ \ 1 1 \
b) = \ 0. 1. 2. 8. 4
(. c. v)
c) Verdadero
8. a)
1 2
(a) c(a) v(a) ~ (a) ~ (a) v(a) 1 c(a) (a) 2
0 \ \ 1 1 1 \ \
1 \ \ \ 1 \ \ \
2 1 1 \ \ \ 1 \
8 1 1 \ \ \ 1 \
4 1 1 \ \ \ 1 \
b) c) Verdadero \ 0. 1. 2. 8. 4
(. c. v)
4) Verdadero \ [ . 0[
5) Falso \ [ . 282[
6) \ [ 48. 1[, Falso
27
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.
Ejemplo:
a. a . ( a) c(a) es un conjunto numrico cualquiera
La negacin es : ~ ( a. a . ( a) c(a) )
La negacin de es b a
La negacin de es a b
La negacin de la desarrollaremos aparte: ( a) c (a)
~ [ c [
~ [ ~ c [
~ c
Por lo tanto, la expresin negada de: resulta a. a . ( a) c (a) :
v a. a . (a) ~ c (a)
Es incorrecto escribir: B E
La negacin de:
y viceversa.
Ejercicios
Sean las siguientes proposiciones, encuentre su negacin:
1. a. a . ( a) c (a)
2. v a. a . ~ ( a) c (a)
8. a. a . [ ( ~ ( a) c (a) ) ( a) [
4. v a a . 2 a 1 2a 8 < , + 1
. a. a . a _ 1 a 6 a 1 < 8
28
Respuesta
1. v a. a . ( ~ ( a) ~ c (a) )
2. a. a . ( ~ ( a) ~ c (a) )
8. v a. a . ~ ( a)
4. , + 1 a a . 2 a 1 2a 8 _
. v a. a . a < 1 a 6 a 1 _ 8
AUTOEVALUACION
1) ( c ) ~ c = ~ c Demuestre que .Jusqtifique cada paso
2) : 2 8 Si
c : 4 < 0
El ftbol es un paso de baile v :
Determine el valor de verdad de
~ ( a) [ c ( a) ~ v ( a) [
8) Determine en el siguiente ejercicio:
a) Tabla de doble entrada
b) Conjunto de validez
c) Valor de verdad
, , ! a a [( ~ ( a) c(a) ) (a) [ ~ c ( a)
con : 2. 1. 0. 1. 2
: ( a) 2 [ a[ 1 4
: c ( a) a a 8
2
4) Sean las proposiciones
con : 2 8 1. n = 1. n
c : n 4
v : 8 8 < 10
8
Determine el valor de verdad de
( ~ v ~ ) [ ~ ( c ) ~ c[
29
RESPUESTAS
1) ( c ) ~ c = ~ c
Condicional ( ~ c ) ~ c
Condicional ~ ( ~ c ) ~ c
( Ley de Morgan ~ c ) ~ c
Absorcin ~ c
2) \
8)
(1) (2)
(a) c(a) ~ (a) ~ c(a) ~ ( a) c(a) (1) (a) (2) ~ c ( a)
2 \ \ 1 1 1 \ 1
1 \ 1 1 \ 1 \ \
0 \ 1 1 \ 1 \ \
1 \ 1 1 \ 1 \ \
2 \ 1 1 \ 1 \ \
V de Verdad : F \ : 1. 0. 1. 2
4) : 1
c : 1
v : 1
( ~ v ~ ) [ ~ ( c ) ~ c[
( \ \ ) [ ~ (1 1 ) \ [
\ [ ~ \ \ [
\ 1
\
30
CONJUNTOS
En el lenguaje cotidiano, decimos un curso de Algebra, un montn de libros de matemtica,
un cajn de ropa, la ciudad de Concepcin , etc., es decir, usamos muchas palabras para expresar una misma idea.
Los matemticos prefieren la palabra para expresar lo mismo. Conjunto
Por lo tanto, podemos decir que un conjunto es toda coleccin bien definida de objetos. Los conjuntos se
denotan por letras maysculas y a los objetos se les llama elementos denotndose por letras (. 1. C. ...)
minsculas . (a. /. c. ...)
Algunos ejemplos de conjuntos son :
Ejemplo 1 : A Jugadores de la Seleccin chilena ao 2010
Ejemplo 2 : B a. c. i . o. n
Ejemplo 3 : C nmeros naturales mayores que y menores que 2 6
Si el elemento est en el conjunto se dice que pertenece al conjunto en caso contrario se dice no pertenece,
esto se simboliza
Observe que los elementos de un conjunto se escriben entre llaves
En la siguiente tabla se muestra un paralelismo entre este lenguaje simblico y cotidiano.
Jorge Valdivia integra la Seleccin Chilena del ao 2010 Jorge Valdivia A
F
Lenguaje Cotidiano Lenguaje Simblico