Está en la página 1de 42

ndice

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

matemticas desempean un papel


muy importante para la gestin logstica y
estn estrechamente relacionadas con ella
por cuanto la idea de sistema es comn a
ambas. Es as como, en la logstica,
contamos
con
tres
subsistemas
interrelacionados
entre
s:
aprovisionamiento,
produccin
y
distribucin. A su vez, estos subsistemas
pueden dividirse en otros. Por ejemplo, el
subsistema de produccin est compuesto
por el subsistema de inventarios; y el
inventario, por su parte, est conformado

por diferentes conjuntos de productos


organizados en una bodega bajo unos
criterios especficos. Para el inventario, se
deben plantear frmulas matemticas que
permitan ejercer un control sobre las
entradas y salidas de los productos en la
bodega.
En el presente material de apoyo,
encontrar
fundamentaciones
conceptuales que sern muy tiles dentro
de su proceso de formacin.

2. Fundamentacin conceptual: teora de conjuntos


____________________________________

En el mundo fsico que rodea a la logstica,


debemos familiarizarnos con muchos tipos
de objetos que tienen algunas semejanzas
en cuanto a las funciones que
desempean.
Entre
otros
objetos,
podemos mencionar, por ejemplo, a las
gras y pallets. Sin embargo, la palabra
gras simboliza muchos tipos de gras y
la palabra pallets diferentes tipos de
pallets. Adems, es posible hablar de

diferentes colecciones de metodologas


aplicadas en logstica para resolver
diferentes situaciones. Algunas de ellas
son: mtodos de inventarios, metodologas
para pronosticar, mtodos de transporte,
etc. Todo esto como antesala a uno de los
conceptos ms abstractos pero al mismo
tiempo ms importantes dentro de la
matemtica: los conjuntos.

Llamamos conjunto a una coleccin de


objetos con determinadas caractersticas
en comn. A los objetos que lo forman se
les llama elementos del conjunto. Por
ejemplo: el conjunto de empleados de
una organizacin, el conjunto de
productos de un inventario, el conjunto
de mquinas del departamento de
produccin, entre otros.
Tomada de http://www.morguefile.com/archive/display/193203#

Llamaremos universo (U) al conjunto que,


en un momento dado, es usado como
marco de referencia para formar
conjuntos. Aqu es importante eliminar
tanta objetividad y establecer una
referencia que permita concretizar el
conjunto y los elementos a los que estamos
haciendo referencia. Por ejemplo, si un
grupo de supervisores logsticos estn
resolviendo una problemtica relacionada
con todos los productos que distribuye una

comercializadora, el universo en ese caso


sern todos los productos que distribuye
esta comercializadora y no los productos
que distribuyen otras compaas. Pero si a
estos supervisores les interesan solo los
productos que producen mayor impacto en
los costos de operacin de la
comercializadora, el universo quedar
determinado solo por los productos que
afectan los costos operativos.

Contraejemplos
seran:

de

universo

1. Todas las empresas


2. Todos los productos fabricados
3. Rutas de entrega
4. Valores observados en la
demanda

Obsrvese que en ningn caso de los


contraejemplos se especifica un contexto
de los objetos de inters. Si se quisiera
convertir la primera de estas definiciones
en conjuntos universales, podramos
preguntar: Qu tipo de empresas? Se

trata de manufactureras? De dnde? De


Bogot? Solamente exportadoras? Con
cuntos empleados? Si se responden estas
preguntas, entonces obtendremos un
universo.

Qu preguntas planteara a cada una de las otras


tres afirmaciones de los contraejemplos, para que
se convirtieran en universos? Realice el ejercicio
mental antes de continuar con la lectura.

Un conjunto queda determinado por una


coleccin de atributos que los elementos
del universo pueden o no poseer. As, los
elementos del universo que s posean los
atributos requeridos forman el conjunto,
Diremos que un conjunto est descrito por

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.

x A (x NO pertenece al conjunto A).

Piense en un conjunto de productos dentro de una


bodega en el cual se muestre un ejemplo de
pertenencia y otro de no pertenencia.

Conjunto interseccin: sean A y B dos


conjuntos
cualesquiera,
entonces

definimos el conjunto A interseccin B, que


denotaremos por A B , como sigue:

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 .

Conjunto vaco: es el conjunto que no


tiene elementos y lo denotaremos por .
Podemos decir que:

= {x U / x A x A}

No es posible que un elemento pertenezca y


simultneamente no pertenezca a un
conjunto. Esta es la definicin de conjunto
vacio.

Conjunto unin: sean A y B dos conjuntos,


entonces definimos el conjunto A unin B,
que denotaremos por A B , como sigue:

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:

Existe al menos un argentino humilde es


un ejemplo de cuantificacin existencial.
Con solo un argentino humilde que
encontremos, se cumple dicha proposicin.
b) Universal: x D; P( x) y se lee "para
todo x se verifica P(x)". Todos los
colombianos son humildes es un ejemplo
de cuantificacin universal. Ahora, con un
solo colombiano que no sea humilde se
vuelve falsa nuestra proposicin.Las
expresiones cuantificadas universal o
existencialmente conforman una nueva
proposicin que tiene un valor de verdad
que se establece en los siguientes axiomas 1
de verdad:
i)

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).

Axiomas: afirmaciones que son aceptadas como


verdaderas.
2
Aunque existan otros valores del dominio que la hagan
falsa.

Subconjunto: sean A y B dos conjuntos,


diremos que A es un subconjunto de B que
escribiremos A B , si para toda x que
pertenece a A se tiene que x tambin
pertenece a B. Es decir, todos los
elementos de A lo son tambin de B.

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

Complemento: si consideramos a U como


el conjunto universo y A U , definimos el
complemento de A, que denotaremos por
A' Ac , como:
Ac = A' = {x U / x A}

Observaciones:
i)

Si A = U ; A' =

ii) A A' =
iii) A A' = U
iv) S x A' significa que x U y x A

El conjunto solucin de p( x) es P ' , donde P es el conjunto solucin de p(x).


Ejemplo:
Conjunto solucin p(x):

P
0. .-2
.3

Conjunto solucin

Figura 1. Ejemplo de un conjunto solucin

Conjunto diferencia: sean A y B dos conjuntos cualesquiera, definimos el conjunto diferencia


A B como sigue:
A B = {x / x A y x B}

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.

Un conjunto est descrito


por 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.

Los cuantificadores se
usan para convertir una
proposicin
abierta
(funcin proposicional) en
una proposicin cerrada.

Existen
cuantificadores
existenciales y universales.

3. Fundamentacin conceptual: lgica matemtica


________________________________________

La lgica matemtica es una variedad de la


lgica filosfica. Los objetivos principales
de la lgica son esencialmente:
1. Eliminar las ambigedades propias del
lenguaje ordinario
2. Dar rigor a aquello que se est
estudiando

En
lgica,
existen
fundamentales:

dos

procesos

1. Conceptualizacin: consiste en definir los


objetos matemticos con los que se va a
trabajar.
2. Demostracin: consiste en demostrar
rigurosamente
aquellas
propiedades,
proposiciones o teoremas que se estn
estudiando.

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:

El SENA es una institucin de formacin para el trabajo.


Usted es una persona interesada en el conocimiento.
La lgica matemtica es una variedad de frutas
tropicales.

Usted podra responder el grado o valor de


verdad de estas frases, cierto? Para
aplicar la definicin dada anteriormente,
tomemos como base el primero de los
ejemplos. As, en la proposicin "El SENA es
una institucin de formacin para el
trabajo", se puede identificar que el objeto
del cual se hace la afirmacin es "el SENA";

y el valor de verdad de la frase relacionada


con el objeto est determinado por el
conocimiento que se tenga sobre la
funcin que desempea el SENA dentro del
contexto de las instituciones educativas. En
este orden de ideas, la proposicin en
cuestin es verdadera.

Por otro lado, existen frases sobre las que


no podemos establecer su grado de
verdad:

Contine leyendo, por favor!


Responda el grado de verdad de
esta frase!
Cuntas hijas tiene Ramiro?

Para nombrar a las proposiciones, se


suelen utilizar las letras p, q, r, s, y las
siguientes. Las proposiciones se clasifican
en cerradas y abiertas. Una proposicin
cerrada es la que est conformada por
enunciados que tienen un valor de verdad
o falsedad. Por su parte, una proposicin

abierta (o funcin proposicional) es una


expresin que contiene una variable que, al
ser sustituida por un valor determinado,
hace que la expresin se convierta en una
proposicin. La figura 3 ilustra la diferencia
entre ambos tipos de proposiciones.

Figura 3. Clases de proposiciones

Una manera poco formal de definir una


funcin proposicional es como una
mquina, la cual requiere que se le

introduzca una materia prima para que


despus de un proceso se obtenga un
producto o resultado. Ver la figura 4.

Figura 4. Ejemplo de una funcin proposicional

((V) (F)). f(x); f(x,y,z,).


Un ejemplo de proposicin abierta o funcin
proposicional puede ser f(x); 7x 1 = 0. Observe
que x es la materia prima y puede tomar
cualquier valor, por ejemplo 2. Entonces, la funcin
tomara el valor de 13, puesto que 7 por 2 menos 1
es igual a 13.

Dominio de la variable: es el conjunto


conformado por los elementos que pueden
reemplazar a la variable de una proposicin
abierta. Como se observa en la figura 5, El
dominio est compuesto por el conjunto

de los enteros positivos (Z), que son los


que pueden tener una imagen en el
conjunto solucin para este tipo de
funcin.

Figura 5. Ejemplo del dominio de una funcin

Conjunto solucin: es el conjunto formado


por aquellos elementos del dominio de la
variable que hacen verdadera la

proposicin abierta p(x). Lo llamaremos el


de la proposicin abierta p(x).

Ejemplo: se requiere encontrar el conjunto solucin de la


propiedad abierta en los nmeros racionales Q (fraccionarios)
.
Como la fraccin 1/7 hace verdadera la proposicin p(x):7x-1, se
afirma que 1/7 hace parte del conjunto solucin de la proposicin
abierta p(x). Por su parte, 2 es un valor que se puede introducir
en la misma proposicin, por lo tanto hace parte de su dominio
pero no de su conjunto solucin, pues no la hace verdadera. Por
qu?
Observacin: usando proposiciones abiertas podemos escribir un conjunto por comprensin:

P = {x / p ( x)} = x /" x es primo; x + " = {2,3,5,7,11,13,17,19,...}

prop. 3
abierta p(x)
Z+ son los nmeros enteros positivos.

Dominio
variable p(x).

Conjunto
solucin p(x).

Conectivos lgicos: permiten relacionar


proposiciones
para
formar
nuevas
proposiciones. Igualmente permiten definir

Smbolo

operaciones en los conjuntos para


obtener nuevos conjuntos. En la tabla 1, se
presentan las clases de conectivos lgicos.

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

Tabla 1. Clases de conectivos lgicos

Proposicin conjuntiva: dadas dos


proposiciones p y q, se llama proposicin
conjuntiva de p y q, y se escribe p q , a

la proposicin que dice "p y q". En la tabla


2, se presenta la tabla de verdad de la
conjuncin.

Por ejemplo, El SENA es patrimonio del


pueblo colombiano (p) y la aplicacin de la
logstica por parte de las empresas
nacionales redundar en el bien de la
economa colombiana (q) es una
proposicin conjuntiva, puesto que une a
dos proposiciones con el conectivo lgico y
( ).

Las proposiciones conjuntivas son bastante


exigentes, puesto que para ser verdaderas

necesitan que ambas proposiciones que la


conforman tambin lo sean.

es verdadera cuando p y q son verdaderas simultneamente.

pq

Tabla 2. Verdad de la conjuncin

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 .

Proposicin disyuntiva: dadas dos


proposiciones p y q, se llama proposicin
disyuntiva de p y q, y se escribe p q , a la
proposicin que dice "p q". Esta
proposicin disyuntiva, al contrario de la
conjuntiva, es menos exigente, puesto que
para ser verdadera basta con que una de
las dos proposiciones que la conforman sea
verdadera. Ver la tabla 3 de la disyuncin.

es verdadera cuando al menos una de ellas lo es.

V
V
F
F

V
F
V
F

pq
V
F
F
F

Tabla 3. Verdad de la disyuncin

Observacin: si P es el conjunto solucin


de la proposicin p(x) y Q el de la
proposicin q(x), entonces P Q es el

conjunto solucin de la proposicin p(x)


q(x).

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.

es verdadera cuando q es verdadera, o bien p y q son falsas a la vez.

V
V
F
F

V
F
V
F

pq

V
F
V
V

Tabla 4. Verdad de la condicional

Observacin: las expresiones cuantificadas


universal o existencialmente conforman
una nueva proposicin que tiene un valor
de verdad que se establece en los
siguientes axiomas 4 de verdad:
i)

La

proposicin

x D; P ( x) es falsa si al

menos un elemento del


dominio D hace falsa la
proposicin P(x).
ii)
La
proposicin

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

Axiomas: afirmaciones que son aceptadas como


verdaderas.
5
(aunque existan otros valores del dominio que la hagan
falsa).

Observacin: Algunas negaciones ms comunes de proposiciones cuantificadas son:

Proposicin

Negacin

Todos
Algunos
Algunos...no
Ningn

Algunos...no
Ningn
Todos
Algunos
iv) q p es el teorema
contrarrecproco.
Contrarrecproca implicacin.

La negacin de los cuantificadores se


presenta de la siguiente forma:
a) (x D; P( x)) x D; P( x)
b) (x D; P( x)) x D; P( x)
6.
Observaciones:
1. Si p q es una implicacin, entonces q
tiene que ser verdadera.
2. Dada p q , se dice que p es la
hiptesis o premisa de la implicacin, y
que q es la conclusin o tesis de la
implicacin.
3. Dada p q , se dice que p es
condicin suficiente de q, y q es condicin
necesaria de p.
4. Dada p q , se dice p es condicin
necesaria y suficiente de q, y que q es
condicin necesaria y suficiente de p.
5. Dada p q , se dice que:
i) p q es el teorema directo.
Implicacin.
ii) p q es el teorema contrario.
Contraria
implicacin.
iii) q p es el teorema recproco.
Recproca
implicacin.

i)

Una condicional
recproca
no
equivalentes.

su
son

Observacin: si una condicional


es cierta, su recproca puede que
sea verdadera o no.
ii)

Una condicional
contraria
no
equivalentes.

su
son

Observacin: si una condicional


es cierta, su contraria puede que
sea verdadera o no.
iii)

Una condicional y su
contrarrecproca s son
equivalentes.

Observacin: si una condicional


es
cierta,
tambin
su
contrarrecproca lo ser.
( p q ) ( q p )

Mtodos de demostracin de una


implicacin: cuando hay que probar que
p q , tres de los mtodos de
demostracin ms utilizados son:
1. Mtodo directo: consiste en llegar a
obtener lo que nos dice la tesis, utilizando

nicamente para ello los datos de la


hiptesis.
2. Mtodo del contrarrecproco: consiste
en probar el teorema contrarrecproco de
la implicacin, es decir, q p .

Ejemplo: se requiere encontrar el valor


de verdad de la siguiente proposicin,
donde el dominio=R.

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

Tabla 6. Verdad de la bicondicional

Observacin:

la

proposicin

x D, p ( x) q ( x) es verdadera si y slo

si P Q y Q P (P = Q ) .

Tablas de verdad: es una tcnica que


permite averiguar el valor de verdad de
una proposicin conociendo los valores de
verdad de sus componentes. El nmero de
filas que tendr una tabla de verdad
equivale a 2n , donde n es el nmero de
proposiciones que intervienen.

Ejemplo:
Se requiere construir la tabla de verdad para la
proposicin:

En este caso, solo participan las proposiciones p y q,


es decir 2 proposiciones, por lo tanto el nmero de
filas que la tabla de verdad contendr ser 2 elevado a
la 2, es decir 4 filas. Vemos que la proposicin indica
que una proposicin entre corchetes implica p.

El procedimiento para elaborar la tabla


ser:

3. Seguiremos
agrupando
en
complejidad. Ahora podemos
formar toda la proposicin dentro
del corchete.
4. Finalmente, podemos tener acceso
a toda la proposicin.

1.

Partiremos de los elementos ms


simples que componen toda la
proposicin: p y q.
2. Agruparemos en partes ms
complejas. En este caso ( p q ) ,
luego (q p ) (aplicaremos
tabla de verdad para
implicacin).

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

Tabla 7. Solucin del ejemplo propuesto

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:

La tabla de verdad del ejemplo queda:


p

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

que se forma entre ellas es una tautologa


y viceversa.
2. Segn la tabla de verdad que tiene una
proposicin, esta se clasifica en tautologa,
contradiccin e indeterminacin. Algunas
definiciones tiles son:
Tautologa: una proposicin se llamar
tautologa o argumento vlido si para

cualquier valor de sus componentes (en


cualquiera de sus interpretaciones) su valor
de verdad siempre es verdadero.
Contradiccin: una proposicin ser
llamada una contradiccin si para cualquier
valor de sus componentes (en cualquiera
de sus interpretaciones), su valor de
verdad siempre es falso.
Indeterminacin: se dice que una
proposicin es una indeterminacin
cuando su tabla de verdad tiene valores de
verdadero y de falso.

Implicacin: una implicacin es una


condicional de la forma p q , tal que es
verdadera suponiendo que p es verdadera,
y tiene que existir una relacin causaefecto entre p y q. Adems, una
implicacin entre p y q se escribe p q , y
se lee "p implica a q" o "si p entonces q".
Equivalencia: una equivalencia es una
bicondicional de la forma p q , en donde
p q es una implicacin y q p es
tambin una implicacin. Se escribe p q
, y se lee "p es equivalente a q" o "p si y
slo si q".

Recapitulemos:

Los
dos
procesos
fundamentales de la lgica
son la conceptualizacin y la
demostracin.

Una proposicin es cualquier


afirmacin que es solamente
verdadera o solamente falsa.

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.

El conjunto solucin est


formado por los elementos
del dominio de la variable
que hacen verdadera la
proposicin abierta.

Tres de los mtodos ms


usados para demostrar una
implicacin son el directo, el
contrarrecproco y el de
contradiccin.

La tabla de verdad es una


tcnica
que
permite
averiguar el valor de verdad
de
una
proposicin
conociendo los valores de
verdad de sus componentes.

4. Fundamentacin conceptual: funcin


___________________________________________________

Antecedentes

El concepto de funcin es una de las ideas


ms importante de las matemticas y su
aplicabilidad es incontable en los
diferentes
campos
cientficos.
La
construccin de modelos ha permitido un
gran avance del hombre en el desarrollo
cientfico y dichos modelos, salvo en
contadas excepciones, estn elaborados
bajo funciones de diferentes tipos. El
estudio de las funciones es de vital
importancia para cualquier persona que
pretenda ser competente en el actual
mundo laboral. En la situacin que plantea
la globalizacin a la sociedad es
indispensable un estudio delicado de cada
una de las variables que afectan o puedan
afectar la permanencia de una empresa.
Las variables problmicas normalmente
dependen de otras no tan complejas. Si se
modelan
adecuadamente
estas
dependencias ser posible conocer mejor
los problemas, diagnosticarlos y plantear
soluciones. Estas dependencias entre
variables se modelan mediante funciones.

El concepto de plano cartesiano entre dos


o ms conjuntos est ntimamente ligado al
de funcin. Cualquier subconjunto de un
plano cartesiano entre dos conjuntos
forma una relacin y una funcin es una
relacin que cumple ciertas condiciones. A
continuacin,
se
presentan
unas
definiciones bsicas para el manejo
adecuado del concepto de funcin.
Funcin: una relacin de un conjunto A en
otro conjunto B es una funcin si cumple
dos condiciones:
1.

Todo elemento de A esta asociado


con un elemento de B.
2. Esa asociacin con un elemento de
B es nica.
En esta definicin, se hacen afirmaciones
sobre el primer conjunto (A), esto quiere
decir que al pretender decidir si una
relacin entre dos conjuntos es funcin, se
debe observar el primer conjunto y
corroborar las dos condiciones de la
definicin.

El conjunto A suele denominarse el conjunto de partida y el conjunto B el


conjunto de llegada.
En las figuras 6 y 7, se muestran ejemplos y
contraejemplos
de
funciones,
respectivamente. Los tres primeros
diagramas que forman la figura 6 son todas
funciones pues cumplen las dos

condiciones requeridas para serlo. En los


tres casos, se cumple que todos los
elementos del dominio tienen imagen y
que siempre esa imagen es nica.

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

Figura 6. Ejemplos de dominio de la funcin

imagen. Las funciones suelen denotarse


con las letras f, g, h, F, G, o H.
Dominio: el conjunto A para el cual la
funcin f asigna una nica b B, se
denomina dominio de la funcin y suele
denotarse mediante Df. En las tres
funciones ilustradas en la figura 6, el
dominio es el conjunto {a, b, c, d}.
Rango o recorrido: el subconjunto de B,
formado por elementos asignados a
algunos elementos de A, forma el rango o
recorrido de la funcin y se simboliza con
Rf. En las tres funciones del ejemplo,
tenemos que los rangos de las tres
funciones son:

Figura 1. Contraejemplos de funciones

{1,2,3,4}, {2,3,4} y {3} respectivamente

Nota: se puede inferir que en una


funcin el conjunto de partida es
el mismo dominio mientras que
no necesariamente el rango es el
mismo conjunto de llegada.
Caractersticas
Una de las caractersticas ms importantes
que presentan las funciones tiene que ver
con su notacin: la notacin funcional. Para
expresar que los elementos y del conjunto
B son imgenes de los elementos x, se usa:
= ()

Esta expresin significa que y est en


funcin de x mediante f, y f establece el
tipo de funcin.

Ejemplo:

f toma a x y lo eleva a la 3; le suma 7 y este


resultado se divide por 2, es decir:
3 + 7
= () =
2

En este caso, el conjunto A y B consta de los


nmeros reales.

Recordemos que una metfora que puede


facilitar la comprensin de una funcin es
afirmar que se trata de una mquina. La
mquinas reciben materia prima, que
equivale a los elementos del dominio (Df) x,
y mediante unos procesos la mquina los
transforma en un producto final, que

equivale a los elementos del rango o


recorrido (Rf) y. Esta es una buena imagen
mental de lo que sera una funcin. . A
continuacin, se ilustra esta comparacin
en la figura 8.

Figura 2. Comparacin de una funcin con una mquina

Las funciones se pueden graficar de igual


manera que las ecuaciones. Un criterio
para reconocer si una grfica corresponde
a una funcin es el de la lnea vertical. Este
criterio establece que si existe una lnea

recta vertical que corte a la grfica en ms


de un punto, esta grfica no corresponde a
una funcin. En la grfica a continuacin,
se ilustra este criterio para decidir que esta
grfica no representa una funcin.

Figura 3. Criterio de la lnea vertical

Implicaciones, tendencias y retos


El manejo y la aplicacin apropiados del
concepto de funcin le permitirn al
estudiante
enfrentar
con
buenas
herramientas los cursos de matemticas
ms avanzados, tales como el clculo
diferencial, el clculo integral y los cursos
de estadstica. El reto planteado por estas

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.

competencias implica un manejo de la


notacin funcional, tan importante en los
anlisis cuantitativos aplicados al mundo
de las empresas. Es clara la importancia
que tiene el asumir esta gua de manera
responsable para llegar a cumplir los
objetivos planteados.

5. Fundamentacin conceptual: funcin compuesta

____________________________________________
Antecedentes

Se

ha ilustrado antes el concepto de


funcin mediante una mquina. Se
explicaba que a la mquina, f( ), se le

introduca un nmero real perteneciente al


dominio de la funcin, x , y este era
procesado por la mquina para convertirlo
en otro nmero real, y, que pertenece al
rango de la funcin.

Al manejar el concepto de funcin desde la


definicin formal y la metfora de la
mquina, se plantea la siguiente pregunta:

A cambio de x, se podra insertar en la


mquina otra funcin?
La respuesta es afirmativa, es decir que se
puede tener una funcin de otra funcin y
Funcin compuesta:
sean f y g dos funciones. Sea x un elemento
del dominio de g, y g(x) un elemento del
dominio de f, entonces la funcin

este es el concepto que se desarrollar a


continuacin

compuesta por f y g, se define como

( 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

desarrollo de un pensamiento lgico es


invaluable.

Implicaciones, tendencias y retos


Existen muchas situaciones del mudo
laboral en que es indispensable combinar
una o incluso ms funciones para obtener
nuevas funciones. Por ejemplo, en una
fbrica se tiene que el ingreso depende del

Recapitulemos:

Una funcin compuesta es


la funcin de otra funcin.

El concepto de funcin
compuesta permite la
manipulacin
de
funciones ms complejas,
que se aproximan a las
situaciones de la vida real.

nmero de artculos vendidos y, a su vez, el


nmero de artculos vendidos depende del
precio unitario. Esto implica que el ingreso
termina siendo una funcin compuesta del
precio.

6. Fundamentacin conceptual: ecuaciones


______________________________________________________

Antecedentes

Los grficos son una herramienta eficaz a


la hora de analizar datos debido a su
carcter visual. Cualquier anlisis es mucho
ms claro si se acompaa con una grfica.
Los diarios, revistas y artculos tienen en
los grficos una herramienta eficaz a la
hora de mostrar cifras en sus anlisis.

Muchas situaciones del mundo laboral son


representadas
mediante
modelos
matemticos
que
al
mostrarse
grficamente
aportan
importantes
deducciones de inters para la toma de
decisiones. Algunos de estos modelos
utilizan
dos
variables,
que
son
representadas en un plano cartesiano.

Recordemos que el plano


cartesiano consiste en dos rectas
de nmeros reales
perpendiculares que se cortan en
el valor cero de cada una. Este
punto de coordenadas (0,0) se
llama origen.
Tradicionalmente, al eje horizontal se le
denomina eje de abscisas y al vertical
eje de ordenadas y se representan con X
e Y respectivamente. El plano se divide en
cuatro
regiones
conocidas
como

cuadrantes, tal como aparece en el grfico


siguiente. Cada cuadrante se identifica con
nmeros romanos, de acuerdo con el
sentido contrario a las manecillas del reloj (
). Ver la figura 10.

Figura 10. Plano cartesiano.


En el primer cuadrante (I), ambas
coordenadas de un punto son positivas.
Por ejemplo el punto (4,3), presenta
abscisa 4, eje horizontal X y ordenada 3,
eje vertical Y. En el segundo cuadrante (II),
la primera coordenada es negativa y la
segunda positiva. Por ejemplo el punto (4,3) tiene abscisa negativa, por lo tanto se
ubica a la izquierda del eje horizontal X y
ordenada positiva 3; se procede igual que

en el punto anterior del cuadrante I. Para


el tercer cuadrante, ambas coordenadas
son negativas. Un ejemplo de un punto
para este cuadrante es (-3,-4) y en el
cuarto cuadrante la primera coordenada es
positiva y la segunda negativa, por ejemplo
(4,-3). Un plano cartesiano ilustrando los
puntos anteriormente ejemplificados, se
presenta en la figura 11.

Figura 11. Representacin de puntos en los diferentes cuadrantes

Ecuacin: es una igualdad que cuenta con,


al menos, una variable. A esta variable

(recuerde que pueden ser ms de una)


suele llamrsele incgnita.

Ejemplos de ecuaciones son:


1.

3x + 5 = 11 (ecuacin con una


sola variable)
2. 23x 2y = 19 (ecuacin con
dos variables, x e y).
Obsrvese que en cada ecuacin se
cuenta con el signo igual (=).
Los valores reales tomados por las
variables que hacen que se cumpla la
igualdad se denominan soluciones de la
ecuacin. En la ecuacin 1 del ejemplo, si x
toma el valor de 2 se cumple el signo igual,
por lo tanto x=2 es una solucin de la
ecuacin 1. Para el caso de la ecuacin 2,
una solucin es una pareja ordenada,

puesto que la ecuacin presenta dos


incgnitas o variables. Una posible solucin
ser (1, 2). Comprubelo remplazando los
valores x=1 e y=2 en la ecuacin.
Una caracterstica de una ecuacin es que
se puede representar en el plano
cartesiano.

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.

soluciones de la ecuacin. A continuacin,


se presentan algunas definiciones que son
importantes a la hora de elaborar una
grfica.
Interceptos: los puntos donde un grfico
corta a uno de los ejes se caracterizan
porque el valor de la coordenada
correspondiente al eje que corta toma el
valor cero.

El grfico de una ecuacin es la


representacin de todo el conjunto de las
Recuerde que el primer elemento
de una pareja ordenada (x, y)
pertenece al eje horizontal y el
segundo elemento pertenece al
eje vertical.
Esto significa que un punto solucin de la
forma (a, 0) es un punto de corte del eje Y,
o un punto de la forma (0, b) es un punto
de corte del eje X. A estos puntos se les
denomina interceptos. Si una ecuacin
cuenta con la solucin (0,0), entonces el
grfico pasa por el origen.
Para hallar el(los) intercepto(s) para el eje Y
en una ecuacin, se le asigna a y en la
ecuacin el valor cero (y= 0). Por otro lado,

para hallar el intercepto para el eje X, se le


asigna a x en la ecuacin el valor cero
(x=0). Para obtener los interceptos de la
recta 5x-3y=10, se puede hacer el siguiente
procedimiento:

Para Y. Se hace y=0, es decir 5x3(0) =10, que es equivalente a


5x=10. Dividiendo a ambos lados
por 5, tenemos x = 10/5=2. El
intercepto para el eje Y, es (2, 0).

Para X. Se hace x=0, luego 5(0)3y=10, esto es -3y=10, dividiendo


por 3 a ambos lados de la ecuacin,

tenemos y=10/3, el intercepto para


el eje X, es (0,10/3).

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

Ahora, contina el proceso de elaboracin


de la grfica. Una lnea recta solo necesita
dos puntos para ser graficada. Estos
pueden ser los interceptos. De acuerdo con
el proceso ilustrado antes, se tiene que los
interceptos son (5, 0) y (0, 3). Estos puntos
son demarcados en un plano cartesiano y
se unen mediante un regla con un trazo
recto lo ms largo posible y con flechas en
los extremos denotando su proyeccin al
infinito. Ver figura 12.

Figura 12. Representacin de una recta

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

elevado a la uno es simplemente x,


mientras que x al cuadrado se representa
como x2. Se dice que x es un trmino lineal
mientras que x2 es un trmino cuadrtico.

Ejemplos de ecuaciones lineales


son:
3x-2y=20
y=2x+5
x/4-y/3=1
6y+2x-10=0
Se puede inferir que el grado mayor del
polinomio que representa la ecuacin
define la caracterstica de la misma.
Los siguientes polinomios
representan ecuaciones de segundo
grado y de tercer grado,
denominadas cuadrticas y cbicas
respectivamente:

Implicaciones, tendencias y retos


La grfica de una ecuacin est formada
por el conjunto de todas las soluciones de
una ecuacin. En el caso de una ecuacin
lineal, su grfica ser una lnea recta.
Algunas ecuaciones cuadrticas se
representan por medio de una parbola y
es interesante consultar los diferentes
tipos de grficos que se pueden obtener
con una ecuacin cuadrtica o de grado

Recapitulemos:

Una ecuacin es una


igualdad que cuenta
con, al menos, una
variable.

Una caracterstica de
una ecuacin es que
se
puede
representar en el
plano cartesiano.

Los interceptos son


los puntos donde un
grfico corta a uno
de los ejes.

Una ecuacin es
lineal
cuando
representa una lnea
recta.

mayor. Son comportamientos diferentes


que se pueden adaptar a las tendencias de
variables que afectan el ambiente
empresarial. Es muy importante detectar
estos comportamientos en las variables
que se presentan en la vida laboral a la
hora de resolver situaciones problemticas
en su desarrollo profesional.

7. Fundamentacin conceptual: desigualdades


_______________________________________________
Antecedentes

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

embargo en las situaciones aplicativas se


encuentra que solo algunos conjuntos de
soluciones son factibles, lo que se
denomina restricciones. En el siguiente
ejemplo de negocios se presentan
restricciones.

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).

Ruta Costo unitario


A1
A2
B1
B2

5
8
12
9

Cada unidad trasladada desde la planta B al


almacn 1 tiene un costo de 8 unidades
monetarias. El problema a resolver es
encontrar cuntas unidades deben ser
despachadas desde cada planta a cada
punto de venta al menor costo posible. La
ecuacin de costos totaliza el valor de
enviar el costo de cada ruta. El costo en
cada ruta se obtendr multiplicando en

nmero de unidades despachadas por su


costo unitario, la ecuacin de costos es:

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.

Al tratar de encontrar una solucin para


minimizar los costos, se deben tener en
cuenta varias restricciones:
1. Cualquier xjk debe ser positiva.
Matemticamente suele escribirse as:

x jk 0
El smbolo significa para cualquier
El smbolo significa mayor que

2. La cantidad de unidades despachadas


desde la planta A debe ser menor a 18
puesto que es la capacidad disponible por
parte de esta planta. Y para la planta B la
cantidad de unidades despachadas debe
ser como mximo 22.
Estas restricciones se pueden simbolizar
como:

x A1 + x A 2 18
x B1 + x B 2 22

Recuerde que el smbolo expresa el sentido ser menor que.

3. Los puntos de venta tambin plantean


restricciones. El nmero de unidades
recibidas no debe ser mayor que el de las
solicitadas.

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

a es menor que cero y, por lo tanto,


negativo. Las expresiones a0 y b0
indican que a es mayor o igual a cero y a es
menor o igual a cero.
Desigualdad: las proposiciones que
afirman que un nmero es mayor, mayor
igual, menor o menor o igual que otro, se
llaman
desigualdades.
Existen
desigualdades que contienen expresiones
algebraicas.
Solucin de una desigualdad: la solucin
de una desigualdad en una variable es el
conjunto de todos los valores de la variable
para los cuales la desigualdad es una
proposicin verdadera.

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.

Figura 13. Regin solucin de una desigualdad

Recapitulemos:

Las proposiciones que afirman que un nmero


es mayor, mayor igual, menor o menor o igual
que otro, se llaman desigualdades.

La solucin de una desigualdad en una


variable es el conjunto de todos los valores de
la variable para los cuales la desigualdad es
una proposicin verdadera.

8. Referencias
______________________________________________

Arya C. Jagdish y Lardner W. Robin. (1992). Matemticas aplicadas a la administracin y a la


economa. Mxico: Prentice Hall.
Baldor, A. (2003). lgebra (21. reimpresin). Mxico: Publicaciones Cultural.
Leithon Louis. (1999). Matemticas previas al clculo. Mxico: Editorial Harla.
Ronieb (fotgrafo). (2010). Warehouse03 (foto). Recuperada el 26 de junio de 2012, de
http://www.morguefile.com/archive/display/193203#
Stewart, J. (2001). Preclculo. Mxico: Thomson Editores.
Zill, Dennis G. y Dewar Jacqueline M. (1999). lgebra y trigonometra. Bogot: McGraw Hill.