Elementos de Lógica y Conjuntos 2016

ELEMENTOS DE LGICA Y CONJUNTOS
__________________________________________________________________
Lenguajes simblicos y nmeros naturales - Prof. Isabel Arratia Zrate
Lgica de proposiciones
La lgica es la rama del conocimiento que trata los
mtodos de razonamiento mediante reglas y tcnicas
con el fin de determinar si un argumento dado es
vlido.
En este curso, nos ocuparemos de la lgica usada en matemtica que,
adems de servirnos de base al razonamiento matemtico,
contribuir a mejorar nuestra expresin escrita y oral. Los elementos
bsicos con que trabaja la lgica son las proposiciones.
Una proposicin es una oracin gramatical (enunciado), con

sentido en un lenguaje, de la cual se puede afirmar que es
verdadera o falsa, pero no ambas a la vez.
__________________________________________________________________
Por ejemplo, son proposiciones,

Mario Toral es un diputado chileno.
El IPC del mes recin pasado fue de 0,8.
13 es un nmero primo.
No son proposiciones:
Prstame un lpiz.
La dinmica rotacional de un cuerpo rgido.
4x + 7
Se acostumbra denotar a las proposiciones con las letras p, q, r.
Valor de verdad: Si p es una proposicin verdadera, se dice
que p tiene el valor de verdad V. Cuando p es falsa, su valor de
verdad es F.
__________________________________________________________________
Observe que la frase correspondiente a la

negacin de una proposicin p, tambin es una
proposicin, que ser denotada Np, y ella ser
verdadera cuando p sea falsa.
En el lenguaje comn y, en particular, en el lenguaje matemtico es
habitual encontrar expresiones como las siguientes:
Los ingenieros estudian matemtica y fsica.
Galileo Galilei hizo contribuciones a la Fsica y a la Astronoma.
Si el objeto es ms pesado, entonces caer ms aprisa
Si x es un nmero negativo, entonces log(x) no existe.
Estos enunciados estn conformados por dos proposiciones unidas
por y , o, o condicionadas si , entonces
__________________________________________________________________
Conectivos y su lgebra
Los conectivos son smbolos que conectan dos proposiciones
dando origen a las llamadas proposiciones compuestas. Los
conectivos ms usados se simbolizan:
y los describimos en la siguiente tabla:
Nombre
Smbolo
Notacin
Se lee
Conjuncin
pq
p y q
Disyuncin
p q
p o q
Implicacin
Condicional
pq
p implica q
Si p entonces q
pq
Equivalencia
Bicondicional
__________________________________________________________________
p equivalente a q
p si y slo si q
5
Los valores de verdad:

La conjuncin p q es verdadera solamente cuando ambas
proposiciones p y q lo son. En cambio, basta que una de las
proposiciones p o q sea verdadera para que la disyuncin
p q tambin lo sea.
En la proposicin p q , p se llama
antecedente y q se llama consecuente. La
proposicin p q es falsa slo cuando el
antecedente p es verdadero y el consecuente q
es falso.
La equivalencia p q
es verdadera
cuando ambas proposiciones p y q tienen el
mismo valor de verdad.
__________________________________________________________________
Ejercicio: Considere las proposiciones

p: 245 es un mltiplo de 7
q: Si 2 + 3 = 6 , entonces 5 + 9 es un nmero par
Cul es el valor de verdad de [ Np (q p) ] q ?
Ejercicio: Muestre que las proposiciones p q

y Np q tienen los mismos valores de verdad.
Concluya que la proposicin (p q) (Np q)
es siempre verdadera.
Ejercicio: Si p es una proposicin verdadera, q es falsa y r es

falsa, determine el valor de verdad de la proposicin
compuesta [ p ( Nq r )] [ q ( p Nr )]
__________________________________________________________________
Una proposicin que es siempre verdadera, sin importar los valores

de verdad de las proposiciones que la forman se llama tautologa.
Por ejemplo, (p q ) ( Np q ) es una tautologa.
En cambio, una proposicin que es siempre falsa,
independientemente de los valores de verdad de las proposiciones
que la componen se llama contradiccin o absurdo. Por ejemplo,
p Np es un absurdo.
De la gran cantidad de tautologas que existen,
algunas de ellas se distinguen por la incidencia que
tienen en temas posteriores; entre ellas estn las leyes
del lgebra proposicional.
Dos proposiciones compuestas P, Q son lgicamente
equivalentes si PQ es una tautologa, en cuyo caso
se anota P Q.
__________________________________________________________________
Se recomienda que las siguientes tautologas sean analizadas hasta

lograr reconocerlas positivamente como elementos propios del
razonamiento y lenguaje cotidianos.
1. N ( Np ) p ,
2. ( p q ) ( Np q )
(Doble negacin)
3. ( p q ) [( p q ) (q p )]
4. N ( p q ) ( p Nq )
5. (p p) p , (p p) p
(Leyes idempotentes)
6. (p q ) (q p) , (p q) (q p)
(Leyes conmutativas)
7. [(p q) r] [p (q r)] ,
[(p q) r] [p (q r)]
8. [p (q r)] [(p q) ( p r)] ,
[p (q r)] [(p q) (p r)]
(Leyes asociativas)
(Leyes distributi vas)
__________________________________________________________________
9.
N( p q) ( Np Nq)
N( p q) ( Np Nq)
10. ( p q) ( Nq Np)
11. ( p q) ( Np Nq)
12. p (p q) , (p q) p
13. [p (p q)] p ,
(Leyesde De Morgan)
(Ley del contrapositivo)
(Adicin y simplificacin)
[p (p q)] p
(Leyes de absorcin)
14. [(p q) (q r)] (p r)] ,

[(p q) (q r)] (p r)
15. [p (q r)] [(p q) ( p r)] ,
(Transitividad)
16. [(p q) r)] [(p r) (q r)]

__________________________________________________________________
10
Si denotamos por T a una tautologa y por C a una

contradiccin, entonces
17.
( p T) p ,
( p C) C ,
(p T) T
(p C) p
(Leyesde identidad)
18. ( p Np) C
19. ( p Np) T
20. (p C ) Np
(Absurdo)
21. (p q) [(p Nq) C]
(Reduccin al absurdo)
Ejercicio: Exprese p q , p q y p q en trminos de

y/o negacin.
__________________________________________________________________
11
Ejercicio: Se define el conectivo & mediante la tabla,

p
p&q
a) Demuestre que (p&p) Np.

b) Demuestre que
( p q) ( p & q) & ( p & q)
c) Exprese p ( q r ) slo en
trminos de & y negacin.
Ejercicio:
Demuestre usando las leyes del lgebra

proposicional que,
1.
[ ( p q ) r ] [(p r) (q r)
2.
3.
4.
[p ( q r )] [( p q ) ( p r )]
N[ ( p q ) ( Np Nq )] ( p q )
[p ( q r )] [( p Nr ) Nq ]
__________________________________________________________________
12
Lgica de cuantificadores
Un trmino es una expresin con la que se nombra o designa
un objeto, por ejemplo, 5,
A B, 3 x y 2 , e x 3. Cuando las
letras se utilizan como trminos pero sin que representen objetos

particulares, se denominan variables.
Si x es una variable y p es una proposicin que
depende de la variable x, se escribe x A , p( x )
cuando exactamente todos los elementos x del
conjunto
satisfacen la proposicin p.
El
smbolo se llama cuantificador universal y se

lee, indistintamente, todo o para todo, cada o
para cada, cualquier o para cualquier.
__________________________________________________________________
13
Ejemplos:
1. La proposicin Todos los cientficos estiman la edad del Universo
9
en 4 10 aos admite la simbologa x A, p ( x).
2. La proposicin x , x 2 0 es verdadera.
3. La proposicin x IN , x 2 x es falsa.
Si solamente algunos elementos x del conjunto A satisfacen la
proposicin p se escribe x . A, p ( x). El smbolo se llama
cuantificador existencial y se lee existe, hay, algn o alguna.
Ejemplos:
1. La proposicin Algunos ingenieros crean sus propias empresas
tiene una expresin simblica x A, p( x).
2. La proposicin x , x 2 5 es verdadera.
3. La proposicin x IN , x 2 5 es falsa.
__________________________________________________________________
14
Cmo negar una

proposicin que
tiene cuantificador?
La respuesta la entregan la Leyes de De Morgan que
enunciamos a continuacin.
Proposicin
Negacin
x A, p ( x)
x A, Np ( x)
x A, p ( x)
x A, Np ( x)
Ejercicio:
Extraiga de titulares de los

peridicos de la semana dos proposiciones
que contengan cuantificador.
__________________________________________________________________
15
Ejemplo: La proposicin Algunas empresas se dedican a las
importaciones tiene una expresin simblica x A, p( x), donde

A es el conjunto de empresas y p es la funcin proposicional o
proposicin abierta, p = dedicarse a las importaciones.
Su
negacin, en smbolos, es x A, Np ( x), que se lee Todas las
empresas no se dedican a las exportaciones
Ejercicio: Escriba la frase que corresponde a la negacin de

1.
2.
3.
4.
5.
las siguientes proposiciones:

Todos los chilenos estn alfabetizados.
Algunas universidades estn en proceso de acreditacin.
Ningn Ministro de Estado es ingeniero.
Existen nmeros complejos que tienen parte real cero.
Todas las ecuaciones de segundo grado tienen soluciones
reales.
__________________________________________________________________
16
Consideraciones finales
Las proposiciones relativas a los objetos o trminos de una teora
matemtica deben encadenarse de acuerdo a reglas que constituyen
un proceso de deduccin. Es comn que las proposiciones
verdaderas de una teora reciban el nombre de teorema.
Los contraejemplos: De acuerdo a lo estudiado, cuando se

quiere establecer que la proposicin
x A , p ( x ) es falsa, basta encontrar
un x en A que cumpla Np ; este elemento
x constituye el contraejemplo.
Ejercicio: Demuestre, a travs de un contraejemplo, que la

siguiente afirmacin es falsa:
movimiento estn en equilibrio.
Todos los cuerpos en
__________________________________________________________________
17
Elementos de la Teora de conjuntos

Qu es un
conjunto?
Conjunto es un concepto primitivo,

no se define, pero admitiremos que
coleccin es un sinnimo de conjunto.
Ejemplos:
1. Las vocales
2. Los nmeros reales positivos
3. Las chilenos menores de 18 aos
Ejercicio: Muestre tres ejemplos de conjuntos.

__________________________________________________________________
18
Las componentes individuales de un conjunto constituyen los

elementos del conjunto.
Cmo anotar los conjuntos?
Nombre del conjunto
A a, b, c, 1, 2
Elementos del conjunto
Es habitual llamar a los conjuntos con las letras maysculas A, B,

C, Y a sus elementos con letras minsculas. Si x es un elemento
del conjunto A se escribe x A y si x no pertenece al conjunto A
se anota x A
VoF
Ejercicio: Si A = { a, b, {c} }, indique

si es verdadero o falso que:
b A,
c A,
{c} A,
__________________________________________________________________
{a} A
19
El conjunto vaco
Existen conjuntos que no tienen elementos, por
ejemplo, A {x / x2 0}
Tales conjuntos se dicen vacos y se denotan
o bien
{ }
El conjunto universal
El conjunto universal es aquel que contiene a todos los conjuntos
que se consideran en un anlisis dado; lo denotaremos U.
Por ejemplo, el conjunto de los nmeros reales se puede
considerar como conjunto universal para aquellos problemas
relacionados con conjuntos de nmeros.
__________________________________________________________________
20
Igualdad e inclusin de conjuntos

Dos conjuntos A y B son iguales si y slo si
tienen los mismos elementos. En smbolos esto
se expresa as:
A B ( x )( x A x B )
Por ejemplo, los conjuntos A{x/ x3 x 0} y B{0,1, 1}
son iguales.
Si A, B y C son conjuntos de un universo U, entonces:
A=A
A=B
B=A
(A = B B = C)
A=C
__________________________________________________________________
21
Se dice que el conjunto A es un subconjunto del

conjunto B (o que A esta contenido en B o que B
contiene a A) si y slo si todos los elementos de A
pertenecen a B. En smbolos esto se expresa as:
A B ( x )( x A x B )
Por ejemplo, el conjunto A { x IN / x 9 } est contenido
en el conjunto B { x IN / x es dgito}.
Si A, B y C son conjuntos de un universo U, entonces:
A A
. ( A B B A)
A B
( A B B C) A C
A, A conjunto
__________________________________________________________________
22
Cundo usamos la
notacin A B ?
A B
significa
que A B pero A B
En este caso, se dice que A es un subconjunto propio de B.
Ejercicio: Si A = { 2, 3, 6, 8, 9 }, B = { x / x es entero positivo} y

C = { x / x divisible por tres y 0 < x < 12 } , indique si es verdadero o
falso que:
A B,
A C,
C A,
B B,
AC
Ejercicio: Escriba todos los subconjuntos de A = { a, b, c }.
__________________________________________________________________
23
Diagramas de Venn-Euler
Muchos de los conceptos relacionados con los conjuntos se
pueden representar mediante ciertos diagramas. En ellos se
dibuja un rectngulo que representa al conjunto universal y
dentro de l, los conjuntos como figuras planas (crculos,
elipses, rectngulos).
Estos diagramas se denominan
Diagramas de Venn- Euler.
A B
__________________________________________________________________
BB
U
A B
24
Ejercicio: Construya conjuntos A, B, C, D que verifiquen el

siguiente diagrama:
B
D
Si el nmero de elementos de un conjunto se

puede determinar, el conjunto se dice finito.
Si un conjunto finito A posee n elementos, se dice
que A tiene cardinalidad n y, en este caso, se
anota card (A) = n o bien #(A) = n.
__________________________________________________________________
25
Uniones e intersecciones
Con los conjuntos A y B de un universo U se pueden realizar
ciertas operaciones dando origen a nuevos conjuntos, a saber,
La unin de A y B es el conjunto
A B {x U / x A x B }
La interseccin de A y B es el conjunto
A B {x U / x A x B }
Por lo tanto,
x AB (x A xB)
x AB (x A xB)
Por ejemplo, si A y B son los conjuntos,
A {x IN / x es par y x 10}, B {x / x3 7x2 6x 0},

entonces A U B = { 0, 1, 2, 4, 6, 8 } y A B = { 6 }
__________________________________________________________________
26
Ejercicio: Forme la unin y la interseccin de los conjuntos

A y B siguientes:
A {x / x2 4 0} y B {x / x2 6x 8 0}
La unin de dos conjuntos
se representa en
diagramas de Venn as:
AB
AB
__________________________________________________________________
AB
27
Representaremos ahora
la interseccin de dos
conjuntos
AB
A
U
AB
B
U
AB
Aqu A B y
los conjuntos se
dicen disjuntos
__________________________________________________________________
28
Entregamos una lista de teoremas, relativos a la

unin e interseccin de conjuntos, que es
conveniente analizarlos hasta lograr comprenderlos.
1.
A A = A;
A A=A
2.
A = A;
3.
A U U;
A U =A
4.
A B = B A;
A B=B A
5.
(A B) C = A (B C);
(A B) C = A (B C)
6.
A (B C) = (A B) (A C);
A (B C)=(A B) (A C)
7.
AB AB
8.
A A B;
AB A
__________________________________________________________________
29
Adems:
A B (A B B A B A)
( A B B finito) A finito y card(A) card(B)
Y si A y B son finitos, entonces
card ( A B ) card ( A ) card ( B ) card ( A B )
Con las uniones e intersecciones podemos resolver los

siguientes problemas
Problema: Una librera puso en liquidacin los

best seller y la literatura infantil. Al trmino del
da se encontr que 48 personas haban
comprado best seller, 27 literatura infantil y 6
ambos productos.
Cuntas personas
aprovecharon la oferta?
__________________________________________________________________
30
Problema: Se encuest a 250 personas sobre lo que
consuman al desayuno y el resultado fue el

siguiente: 30 personas toman t con leche, 40
toman caf con leche, 80 toman leche, 130 toman t
o leche y 150 toman caf o leche.
a) Cuntas personas toman t puro?
b) Cuntas toman leche pura?
c) De las encuestadas, cuntas personas no
consuman ni t ni leche ni caf al desayuno?
__________________________________________________________________
31
Complemento y diferencia
Si A es un conjunto contenido en un universo U, el
complemento de A en U es el conjunto:
Ac { xU / xA}
El complemento de A se denota tambin A

establecer que:
c U,
y se puede
Uc
( A c )c A
(A A c ) U,
(A A c )
( A B )c A c B c
(A B) c A c B c
__________________________________________________________________
32
Si A y B son conjuntos de un universo U, la

diferencia A menos B es el conjunto:
A B { xU / xA xB}
A
B
A
U
U
A-B
Observe que,
A-B
A B A Bc,
B
U
A-B
A - B B - A,
A -B A
A B A -B
A B A -B A
__________________________________________________________________
33
Qu conjunto
representa la regin
coloreada?
A B
A B corresponde a (A B) (A B)
o lo que es lo mismo,
(A B) (B A)
A B se llama diferencia simtrica de A y B.
__________________________________________________________________
34
VoF
Ejercicio: Indique si es verdadero o falso

que:
A A ,
A - A,
A - (A - B) A - B
A-U
A ( B C ) ( A - B) (A - C)
A (B - C) (A B) - (A C)
Ejercicio: En el universo U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}

considere los conjuntos A = {2, 3, 4, 8, 9, 10}, B = {1, 4, 7, 8} y
C = {3, 4, 5, 7, 10, 12}. Determine las operaciones que hay que
realizar con los conjuntos A, B y C para obtener
a) {5, 6, 11, 12}
b) {3, 4, 7, 10}
__________________________________________________________________
35
Problema: En una encuesta realizada a 180

estudiantes universitarios se encontr que
practican ftbol y 50 bsquetbol. Adems,
practican ftbol y bsquetbol, 25 ftbol
natacin, 95 ftbol o natacin y finalmente,
82
21
y
18
bsquetbol y natacin.
Si 60 estudiantes no
practicaban ninguno de los tres deportes
mencionados, determine,
a) Cuntos estudiantes practican slo ftbol?
b) Cuntos practican bsquetbol pero no natacin?
c) Cuntos encuestados practican los tres deportes
mencionados?
__________________________________________________________________
36
Problema: La automotriz RUN S.A. vendi 40 automviles la

semana pasada.
Todos los que contaban con Airbags
Frontales (AF) tambin tenan cierre centralizado (CC) de
puertas. 16 que tenan aire acondicionado (AA) no tenan AF, 11
con CC no contaban ni con AF ni AA, 22 no tenan AA, 8
contaban con AA y con CC. Finalmente 16 automviles que
tenan CC eran sin AA.
Determine cuntos automviles se
vendieron,
a) con alguno de estos equipamientos (AF, CC, AA).
b) con AF y AA.
c) con AA pero sin CC.
__________________________________________________________________
37
Problema:
Suponga que hay cuatro grupos de personas que
llamaremos G1, G2, G3 y G4, cada uno con 1000 integrantes. Dos
grupos cualesquiera de ellos tienen 100 personas en comn, tres
grupos cualesquiera de ellos tienen 10 personas en comn. Si hay una
persona que pertenece a los cuatro grupos, determine cuntas
personas,
a) hay en total.
b) pertenecen a un nico grupo, por ejemplo el grupo G1.
c) pertenecen a G1 o G2, ambos inclusive.
__________________________________________________________________
38

Elementos de Lógica y Conjuntos 2016

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Elementos de Lógica y Conjuntos 2016

Caricato da

Copyright:

Formati disponibili

ELEMENTOS DE LGICA Y CONJUNTOS

Una proposicin es una oracin gramatical (enunciado), con

Por ejemplo, son proposiciones,

Observe que la frase correspondiente a la

y los describimos en la siguiente tabla:

Los valores de verdad:

Ejercicio: Considere las proposiciones

Ejercicio: Muestre que las proposiciones p q

Ejercicio: Si p es una proposicin verdadera, q es falsa y r es

Una proposicin que es siempre verdadera, sin importar los valores

Se recomienda que las siguientes tautologas sean analizadas hasta

14. [(p q) (q r)] (p r)] ,

16. [(p q) r)] [(p r) (q r)]

Si denotamos por T a una tautologa y por C a una

21. (p q) [(p Nq) C]

Ejercicio: Exprese p q , p q y p q en trminos de

Ejercicio: Se define el conectivo & mediante la tabla,

a) Demuestre que (p&p) Np.

( p q) ( p & q) & ( p & q)

Demuestre usando las leyes del lgebra

letras se utilizan como trminos pero sin que representen objetos

smbolo se llama cuantificador universal y se

Cmo negar una

Extraiga de titulares de los

Ejemplo: La proposicin Algunas empresas se dedican a las

importaciones tiene una expresin simblica x A, p( x), donde

Ejercicio: Escriba la frase que corresponde a la negacin de

las siguientes proposiciones:

Los contraejemplos: De acuerdo a lo estudiado, cuando se

Ejercicio: Demuestre, a travs de un contraejemplo, que la

Todos los cuerpos en

Elementos de la Teora de conjuntos

Conjunto es un concepto primitivo,

Ejercicio: Muestre tres ejemplos de conjuntos.

Las componentes individuales de un conjunto constituyen los

Es habitual llamar a los conjuntos con las letras maysculas A, B,

Ejercicio: Si A = { a, b, {c} }, indique

Igualdad e inclusin de conjuntos

Se dice que el conjunto A es un subconjunto del

En este caso, se dice que A es un subconjunto propio de B.

Ejercicio: Si A = { 2, 3, 6, 8, 9 }, B = { x / x es entero positivo} y

Ejercicio: Escriba todos los subconjuntos de A = { a, b, c }.

Ejercicio: Construya conjuntos A, B, C, D que verifiquen el

Si el nmero de elementos de un conjunto se

Por ejemplo, si A y B son los conjuntos,

A {x IN / x es par y x 10}, B {x / x3 7x2 6x 0},

Ejercicio: Forme la unin y la interseccin de los conjuntos

Entregamos una lista de teoremas, relativos a la

Con las uniones e intersecciones podemos resolver los

Problema: Una librera puso en liquidacin los

Problema: Se encuest a 250 personas sobre lo que

consuman al desayuno y el resultado fue el

El complemento de A se denota tambin A

Si A y B son conjuntos de un universo U, la

Ejercicio: Indique si es verdadero o falso

Ejercicio: En el universo U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}

Problema: En una encuesta realizada a 180

Problema: La automotriz RUN S.A. vendi 40 automviles la

Suponga que hay cuatro grupos de personas que

Potrebbero piacerti anche