Professional Documents
Culture Documents
Pgina
1. Introduccin?
2. Fundamentacin conceptual: teora de conjuntos?
3. Fundamentacin conceptual: lgica matemtica?
4. Fundamentacin conceptual: funcin?
5. Fundamentacin conceptual: funcin compuesta?
6. Fundamentacin conceptual: ecuaciones?
7. Fundamentacin conceptual: desigualdades?
8. Bibliografa?
1. Introduccin
_________________________________________
Las
Contraejemplos
seran:
de
universo
enumeracin
si
se
han
dado
explcitamente todos sus elementos; y est
descrito por comprensin si sus elementos
estn dados en forma implcita mediante
una frase que los describa.
Ejemplo:
A = {a, e, i, o, u} est descrito por enumeracin
A = {x/ x abecedario, x es vocal} est descrito
por comprensin
Puede observarse cmo se aclara el universo, que
es el abecedario, y que hay claridad sobre qu
atributos debe cumplir un elemento para que sea
parte de A.
Pertenencia y no pertenencia:
x A (x pertenece al conjunto A): indica que x tiene los atributos que determinan al
conjunto A.
A B = {x U / x A _ y _ x B}
Observacin: Si P es el conjunto solucin
de la proposicin p(x) y Q el de la
proposicin q(x), entonces el conjunto
solucin de p(x) q(x) es P Q .
= {x U / x A x A}
A B = {x / x A _ o _ x B}
Cuantificador: es una palabra o frase que
indique cuntos objetos o cosas cumplen
con determinada propiedad.
Generalmente,
para
convertir
una
proposicin abierta (funcin proposicional)
en una proposicin, se utilizan los llamados
cuantificadores:
a) Existencial: x D; P( x) y se lee
"existe, al menos, un x tal que se verifica
P(x)".
Nota:
Para decir "existe un nico x tal
que P(x)" escribimos:
ii)
La proposicin
x D; P( x) es falsa si al
menos un elemento del
dominio D hace falsa la
proposicin P(x).
La proposicin
x D; P( x) es verdadera
cuando hay al menos un
valor x en el dominio D que
haga verdadera 2 la
proposicin P(x) y ser
falsa si no existe un solo
elemento del dominio que
haga verdadera a P(x).
A B x, x A x B
Si A no es subconjunto de B, lo
denotaremos por A B . Para todo
conjunto A: A .
Subconjunto propio: sean A y B dos
conjuntos cualesquiera, diremos que A es
un subconjunto propio de B si y slo si:
a)
b)
A B y
AB
Observaciones:
i)
Si A = U ; A' =
ii) A A' =
iii) A A' = U
iv) S x A' significa que x U y x A
P
0. .-2
.3
Conjunto solucin
Ver la figura 2.
Observacin: A se puede considerar como la diferencia entre U y A. O sea:
A' = U A = {x / x U y x A}
A B = A
AB
Figura 2. Conjunto diferencia
A B
B
A
A B =
Recapitulemos:
Un conjunto es una
coleccin de objetos con
determinadas
caractersticas en comn.
Un universo es el conjunto
que, en un momento
dado, es usado como
marco de referencia para
formar otros conjuntos.
Los cuantificadores se
usan para convertir una
proposicin
abierta
(funcin proposicional) en
una proposicin cerrada.
Existen
cuantificadores
existenciales y universales.
En
lgica,
existen
fundamentales:
dos
procesos
Proposiciones
Se llama proposicin a cualquier
afirmacin que es verdadera (V) o es falsa
(F), pero no ambas cosas a la vez. Ejemplos
de proposiciones son:
prop. 3
abierta p(x)
Z+ son los nmeros enteros positivos.
Dominio
variable p(x).
Conjunto
solucin p(x).
Smbolo
Conectivos lgicos
Conectiva
Anlogo natural
Conjuncin
Disyuncin
Condicional
Negacin
Bicondicional
(o doble implicacin)
y
o
si p entonces q
no
p si y slo si q
pq
V
V
F
F
V
F
V
F
pq
V
F
F
F
Ejemplo:
Se requiere formar la proposicin conjuntiva y la disyuntiva; hallar el
conjunto solucin de las componentes, el conjunto solucin de la
conjuncin y la disyuncin. El dominio es:
. Nos
quedara:
Proposicin conjuntiva:
Proposicin disyuntiva:
Conjunto solucin p(x):
Conjunto solucin q(x):
Conjunto solucin
Conjunto solucin
Proposicin condicional: dadas dos
proposiciones p y q, se llama proposicin
condicional de p y q, y se escribe p q .
En nuestro espaol cotidiano, utilizamos
este tipo de proposicin cuando
:
:
condicionamos
Sientonces.
Por
ejemplo: Si me pagan hoy (p), entonces te
invito a cine (q). Ver la tabla 4 de la
condicional.
V
V
F
F
V
F
V
F
pq
V
F
V
V
La
proposicin
x D; P ( x) es falsa si al
x D; P( x) es verdadera
cuando hay al menos un
valor x en el dominio D que
haga
verdadera 5
la
proposicin P(x) y ser
falsa si no existe un solo
elemento del dominio que
haga verdadera a P(x).
Proposicin verdadera: la proposicin
x D, p( x) q( x) es verdadera si y slo
si P Q , donde P es el conjunto solucin
de p(x) y Q es el conjunto solucin de q(x).
Proposicin
negativa:
dada
una
proposicin p, se llama (o negacin) de p, y
se escribe p , a la afirmacin que dice "no
p". p es verdadera cuando p es falsa.
Observe la tabla 5 de la negacin.
P
Tabla 5. Verdad de la negacin
Proposicin
Negacin
Todos
Algunos
Algunos...no
Ningn
Algunos...no
Ningn
Todos
Algunos
iv) q p es el teorema
contrarrecproco.
Contrarrecproca implicacin.
i)
Una condicional
recproca
no
equivalentes.
su
son
Una condicional
contraria
no
equivalentes.
su
son
Una condicional y su
contrarrecproca s son
equivalentes.
Proposicin: V
3. Mtodo de reduccin al absurdo (o de
contradiccin): consiste en probar p q
demostrando que se cumple lo siguiente:
( p q ) p (p q ) q .
Proposicin bicondicional: dadas dos
proposiciones p y q, se llama proposicin
V
F
V
F
V
V
F
F
bicondicional de p y q, y se escribe p q ,
a la proposicin que dice "(p condicional q)
y (q condicional p)". p q es verdadera
cuando p y q son verdaderas o falsas
simultneamente. Ver la tabla 6 de la
bicondicional.
pq
V
F
F
V
Observacin:
la
proposicin
x D, p ( x) q ( x) es verdadera si y slo
si P Q y Q P (P = Q ) .
Ejemplo:
Se requiere construir la tabla de verdad para la
proposicin:
3. Seguiremos
agrupando
en
complejidad. Ahora podemos
formar toda la proposicin dentro
del corchete.
4. Finalmente, podemos tener acceso
a toda la proposicin.
1.
pq
En la tabla 7 y la tabla 8, se
presenta la solucin de ejercicio
propuesto. Vamos a la prctica:
la
la
( p q ) (q p )
q p
[( p
q ) (q p )] p
Ejemplo:
Se requiere elaborar la tabla de verdad para lo siguiente: Si Venezuela es
vecina de Colombia, Colombia es vecina de Ecuador. Brasil es vecino de Per, si
Colombia es vecina de Ecuador. Por lo tanto, si Venezuela es vecina de
Colombia, Brasil es vecina de Per.
Solucin:
Equivalencias de las proposiciones:
p: Venezuela es vecina de Colombia.
q: Colombia es vecina de Ecuador.
r: Brasil es vecino de Per.
La formalizacin de los argumentos se presenta mediante:
pq
qr
( p q ) (q r )
V V V
V
V
V V F
V
F
V F V
F
V
V F F
F
V
F V V
V
V
F V F
V
F
F F V
V
V
F F F
V
V
Tabla 8. Solucin del ejemplo propuesto
V
F
F
F
V
F
V
V
Observaciones:
1. Decimos que dos proposiciones son
equivalentes cuando tienen la misma tabla
de verdad (en todas sus interpretaciones).
Tambin decimos que dos proposiciones
son equivalentes cuando la bicondicional
pr
[( p q ) (q r )] ( p r )
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
Recapitulemos:
Los
dos
procesos
fundamentales de la lgica
son la conceptualizacin y la
demostracin.
Las
proposiciones
se
clasifican en abiertas y
cerradas.
El dominio de la variable es
el conjunto conformado por
los elementos que pueden
remplazar a la variable de
una proposicin abierta.
Antecedentes
Recuerde que las dos condiciones requeridas para una funcin son:
1. Todo elemento de A esta asociado con un elemento de B.
2. Esa asociacin con un elemento de B es nica.
Para la figura 7, los tres pares de diagramas
ilustran contraejemplos de funciones. En la
primera relacin, todos los elementos del
primer conjunto tienen imagen, con lo que
se cumple la primera regla, pero no es
funcin puesto que el elemento a tiene dos
imgenes (1 y 2), y por lo tanto incumple la
regla 2. Para la segunda relacin, se
incumple la primera regla: el elemento a
del primer conjunto no tiene imagen, por
esto no es funcin. La tercera relacin viola
las dos reglas debido a que existen tres
elementos del dominio {a, b, d, e} que no
presentan imagen y adems el elemento c
del primer conjunto tiene ms de una
Ejemplo:
Recapitulemos:
En una funcin,
todo elemento
de
A
est
asociado con un
elemento de B y
dicha
asociacin
es
nica
El subconjunto
de B, formado
por elementos
asignados
a
algunos
elementos de A,
forma el rango
o recorrido de
la funcin.
____________________________________________
Antecedentes
Se
( f g )( x) = f ( g ( x)).
Ejemplo:
Sea
que:
entonces se tiene
Caractersticas
El concepto de funcin compuesta permite
la manipulacin de funciones ms
complejas, que son las que se aproximan a
las situaciones de la vida real. Su aporte al
Recapitulemos:
El concepto de funcin
compuesta permite la
manipulacin
de
funciones ms complejas,
que se aproximan a las
situaciones de la vida real.
Antecedentes
Ejemplo:
5x-3y=10 es una ecuacin y todos los pares (x, y) que
cumplan que al multiplicar 5 por la abscisa x y se le
reste la ordenada y multiplicada por 5, y el resultado
sea 10 se denominan solucin de la ecuacin. Se
puede verificar que algunas soluciones de esta
ecuacin son: (5, 5), (2, 0), (0, -0/3), (13/5, 1) y (-1,-5),
entre otras. Se puede concluir que el conjunto de
todas las soluciones de la ecuacin anterior es
infinito.
Grfico de una ecuacin: algunas
ecuaciones tienen infinitas soluciones,
como la ecuacin del ejemplo 2 de esta
gua. Si se seleccionan unos cuantos puntos
solucin de una ecuacin, se puede
construir el grfico que representa toda la
ecuacin.
Existen
algunas
recomendaciones para elaborar un grfico
que solo se afianzan con la prctica.
Ejemplo:
En una empresa fabricante de 2
productos, A y B, se desea graficar
los valores que puede tomar el
nmero de unidades vendidas
para que su utilidad sea 15
unidades monetarias. El precio de
cada producto A es de 3 unidades
monetarias, mientras que el
precio de cada producto B es de 5
unidades monetarias.
Solucin:
primero, se debe encontrar la ecuacin
correcta de los ingresos de la empresa.
Estos corresponden a la suma de las ventas
de los dos productos. Si se venden x
unidades del producto A, las ventas por
este concepto sern 3x, mientras que si se
venden y unidades del producto B, las
ventas por concepto del producto B, sern
5y. La suma de estos dos rubros forman el
ingreso y la ecuacin ser:
3x+5y=15
Caractersticas
Una ecuacin es lineal cuando representa
una lnea recta y esto se nota en la
ecuacin, puesto que cada variable tiene
exponente 1 y cada una forma un trmino
diferente. El exponente 1 no se nota puesto
que no se expresa este valor, es decir que x
Recapitulemos:
Una caracterstica de
una ecuacin es que
se
puede
representar en el
plano cartesiano.
Una ecuacin es
lineal
cuando
representa una lnea
recta.
Las
problemticas
empresariales
presentan restricciones a la hora de la
aplicacin de modelos matemticos. En las
matemticas, se puede representar una
grfica para cualquier valor real que pueda
ser una solucin de su ecuacin, sin
Ejemplo:
Una empresa fabricante cuenta con dos plantas de produccin de equipos de sonido y dos
puntos de venta de tales electrodomsticos (unidades). El punto de venta 1 requiere de 15
unidades para el da de maana, mientras que el punto de venta 2 hace una solicitud de 25
unidades para el da de maana. Las plantas de produccin A y B cuentan con 18 y 22
unidades disponibles, respectivamente. Los costos de trasladar un solo equipo de sonido
desde cada punto de produccin a cada punto de venta (costo unitario) se presentan en la
tabla siguiente, identificados por la letra correspondiente a la planta y al nmero de almacn
(ruta).
5
8
12
9
Costos = 5 x A1 + 8 x A 2 + 12 x B1 + 9 x B 2
donde xjk es el nmero de unidades
enviadas desde la planta j hasta el almacn
k.
x jk 0
El smbolo significa para cualquier
El smbolo significa mayor que
x A1 + x A 2 18
x B1 + x B 2 22
x A1 + x B1 15
x A 2 + x B 2 25
Las restricciones se pueden representar
mediante expresiones algebraicas que
utilizan smbolos de desigualdad.
Smbolos de desigualdad: los nmeros
reales se dividen en dos grandes conjuntos,
los nmeros reales positivos y los nmeros
reales negativos. Se expresa a>0 para
significar que a es un nmero real mayor
que cero y positivo y a<0 para sealar que
Ejemplo:
La solucin de la desigualdad
2x + y 3 es el conjunto de puntos (x, y) tal que al multiplicar a x por dos y
sumarle y el resultado es inferior o igual a 3, como (1, 1), (0, 0), (-1, -5), (-2,
2), entre otros. La solucin representa una regin que se muestra en la
figura 13.
Recapitulemos:
8. Referencias
______________________________________________