M

A
T
E
M

T
I
C
A
S

F
I
N
A
N
C
I
E
R
A
S
MATEMTICAS
FINANCIERAS
Mate Finacieras Cover.indd 1 3/4/08 4:58:16 PM
MATEMTICAS
FINANCIERAS
01_Preliminares.indd 1 3/4/08 4:49:19 PM
Esenciales de... Matemticas Financieras
D.R. 2008 Lpiz Tinta Editores, S.A. de C.V.
Cda. de Seminario No. 53 Mxico 01780, D.F.
Teora y problemas de:
Arturo Ortiz Tapia.
D.R. de esta edicin, Editorial Santillana, S.A. de C.V.
Av. Universidad #767, 03100, Mxico, D.F.
ISBN: 978-970-29-2131-8
Primera edicin: Marzo de 2008.
Direccin Editorial: Clemente Merodio Lpez.
Editora en Jefe de Bachillerato: Laura Milena Valencia Escobar.
Coordinacin de Arte y Diseo: Francisco Ibarra Meza.
Fotomecnica electrnica: Gabriel Miranda Barrn, Manuel Zea Atenco y Benito Sayago Luna.
La presentacin y disposicin en conjunto y de cada pgina del libro Esenciales de... Matemticas Financieras, son
propiedad del editor. Queda estrictamente prohibida la reproduccin parcial o total de esta obra por cualquier sistema o
mtodo electrnico, incluso el fotocopiado, sin autorizacin escrita del editor.
Miembro de la Cmara Nacional de la Industria Editorial Mexicana.
Reg. Nm.802
Impreso en Mxico.
01_Preliminares.indd 2 3/4/08 4:49:23 PM
iii
M a t e m t i c a s F i n a n c i e r a s
CONTENIDO

1
29
81
97
137
195
1
Unidad
2
Unidad
3
Unidad
4
Unidad
5
Unidad
Lgica
Fundamentos numricos
Expresiones algebraicas
Series aritmticas
Series geomtricas
6
Unidad
Clculo, estadstica y probabilidad
01_Preliminares.indd Sec1:iii 3/4/08 4:49:23 PM
iv
C o n t e n i d o
Introduccin viii
1. Principios bsicos 1
1.1. La lgica en el marco nanciero 1
1.2. Argumentos y conclusiones 2
1.3. Silogismos 4
1.4. Diagramas de Venn 6
1.5. Argumentos y cuanticadores 7
1.6. Razonamiento deductivo e inductivo 9
1.7. Consistencia, solidez y completud 13
1.8. Suciente y necesario 15
1.9. Lgica modal 16
1.10. Falacias 19
1.11. Tablas de verdad 22
2. Sistemas numricos 29
2.1. Los nmeros 29
2.2. Descripcin de conceptos nancieros 31
2.3. Fracciones 39
Suma (algebraica) de fracciones 39
Multiplicacin de fracciones 41
Divisin de fracciones 43
2.4. Fracciones con enteros 44
2.5. Adicin de decimales 45
2.6. Multiplicacin de decimales 46
2.7. Divisin de decimales 47
2.8. Comparacin de decimales 50
2.9. Cambio de fracciones a decimales 51
2.10. Cambios de decimales a fracciones 53
2.11. Redondeo 55
2.12. Porcentajes 59
2.13. Cambio de decimales a porcentajes 61
2.14. Cambio de porcentajes a fracciones 62
2.15. Porcentaje en serie 64
2.16. Variacin proporcional 67
Variacin inversamente proporcional 68
Variacin mixta 68
2.17. Exponentes 70
Adicin y sustraccin de potencias 70
Potencia cero 71
01_Preliminares.indd Sec1:iv 3/4/08 4:49:25 PM
v
M a t e m t i c a s F i n a n c i e r a s
Potencias racionales 71
La potenciacin como abreviatura 72
2.18. Logaritmos 74
Simplicacin de clculos aritmticos 75
Caractersticas y mantisa 75
Antilogaritmos 76
Manipulaciones algebraicas con logaritmos 77
Gracacin logartmica y semi-logartmica 77
Microeconoma 78
3. Nociones bsicas 81
3.1. Orden de las operaciones 81
Los parntesis 81
Las funciones 82
Operaciones aritmticas 83
3.2. Frmulas y ecuaciones 85
Expresiones algebraicas 85
Frmulas 85
Ecuaciones 86
3.3. Solucin de ecuaciones 88
Solucin de ecuaciones por aplicacin de frmula 88
Solucin por despeje de la incgnita 89
Soluciones para sistemas lineales 90
3.4. Ecuaciones lineales 91
Solucin por sustitucin 91
Solucin por igualacin 92
Mtodo de Gauss-Jordan 93
Generalizacin a dimensiones superiores 94
4. Progresin aritmtica 97
4.1. Secuencia ordenada de nmeros 97
4.2. Deduccin del trmino ensimo 98
4.3. Deduccin de las frmulas 99
4.4. Progresin aritmtica 100
4.5. Deduccin de la frmula 101
4.6. Medios aritmticos 103
4.7. Interpolacin 103
4.8. Denicin de conceptos nancieros 105
Ecuaciones de valor equivalente 112
Descuento simple 118
01_Preliminares.indd Sec1:v 3/4/08 4:49:26 PM
vi
C o n t e n i d o
Pagars 119
Regla de los 78 120
Hipoteca a tasa ja 122
Amortizacin con inters global 123
Inters sobre saldos insolutos 125
Relacin entre inters simple e inters global 130
Unidad de inversin 132
Tarjetas de crdito 133
El factoraje 134
5. Series geomtricas 137
5.1. Introduccin 137
5.2. Progresiones y series geomtricas 140
5.3. Deduccin del trmino ensimo 140
5.4. Deduccin del primer trmino 143
5.5. Frmula para la progresin geomtrica 145
5.6. Trminos equidistantes 147
5.7. Frmula de la suma 148
5.8. Interpolar medios geomtricos 151
5.9. Fraccin decimal geomtrica 154
5.10. Aplicaciones nancieras 156
Inters compuesto 156
Prdida del poder adquisitivo [microeconoma] 160
Tasas equivalentes 163
Valor desconocido 164
Valores acumulados y descontados 166
Clculo de la tasa 167
Clculo del tiempo 168
Diagramas de tiempo 171
Anualidades simples (deniciones y notacin) 173
Valor acumulado de una anualidad simple ordinaria 174
Valor descontado de una anualidad 176
Anualidad vencida 177
Anualidad diferida 178
Determinacin del ltimo pago de la anualidad 179
Clculo de la tasa de inters 181
Anualidades generales (rentas equivalentes) 183
Perpetuidades 184
Amortizacin de una deuda por anualidades 185
Principal insoluto 188
Hipotecas 189
01_Preliminares.indd Sec1:vi 3/4/08 4:49:27 PM
vii
M a t e m t i c a s F i n a n c i e r a s
Fondo de amortizacin 191
Bonos 192
6. Propsitos del clculo, la estadstica y la probabilidad 195
6.1. El diagrama de pay 195
6.2. Grcas de barra 197
6.3. Grcas de Pareto 199
6.4. Grcas semilogartmicas 201
6.5. Distribuciones de frecuencias 203
6.6. Medidas de promedio 205
6.7. Medidas de variabilidad 207
6.8. Diagramas de dispersin y regresin lineal 209
Correlacin lineal 211
6.9. Probabilidad de un evento 213
6.10. Probabilidad de dos o ms eventos 217
Pagos contingentes con valor de tiempo 219
6.11. Diferenciacin e integracin numricas 220
6.12. Solucin de ecuaciones no lineales 224
6.13. Introduccin a las ecuaciones diferenciales 226
Respuestas 231
Apndice 280
01_Preliminares.indd Sec1:vii 3/4/08 4:49:28 PM
viii
I n t r o d u c c i n
Cuando se escucha el nombre de matemticas nancieras, tal vez vengan a la mente
del lector algunas imgenes de bancos y empresas trasnacionales. Pero las matemticas
nancieras tambin pueden ayudar a las personas comunes. Quin no a entrado a una
tienda que ofrezca descuentos, expresados como porcentajes? Qu persona no sera
afectada por la tasa de inters mientras ahorra o ha pedido un prstamo?
En ocasiones se piensa que matemticas nancieras y economa son sinnimas.
Aunque es cierto que la matemtica que es til para las matemticas nancieras se puede
usar en economa, lo cierto es que un economista se ocupa de saber, por ejemplo, por
qu los bancos pueden subir o bajar las tasas de inters de ahorro o prstamos. El o la
economista puede decidir si a un gobierno le conviene vender bonos de la tesorera o bien,
en cunto se deben vender las acciones de una empresa que cotiza en la bolsa de valores;
es tarea de las matemticas nancieras calcular explcitamente la ganancia de un bono o
accin en concreto. En suma, se puede denir que las matemticas nancieras se encargan
de cuanticar los rendimientos u obligaciones monetarias para casos particulares, con los
datos numricos existentes, y que son consecuencia de los movimientos de la economa
mundial, usando las conceptos matemticos aplicados a las nanzas.
Este libro se ha enfocado en ser extenso en cuanto a la aplicacin de las matemticas
aprendidas en los primeros semestres de preparatoria, y no tanto en el desarrollo
conceptual de las mismas. Tampoco pretende ser un sustituto de la teora de los libros
que revisan con profundidad los conceptos de matemticas nancieras. Sin embargo,
lo que s se pretende es que este libro sea una coleccin de ejemplos y ejercicios, un
primer enlace entre la parte abstracta y la aplicada de las matemticas, en este caso a
las nanzas. Por lo mismo, la organizacin de esta obra ha sido en el orden matemtico
y los temas nancieros se han agrupado respecto de esos temas. De esta manera, en el
ndice se encontrarn los temas matemticos agrupados en orden creciente de dicultad.
El autor espera que esta obra cumpla con el cometido para el cul fue concebida.
01_Preliminares.indd Sec1:viii 3/4/08 4:49:29 PM
I. Lgica
1
C a p t u l o 1
1. Principios bsicos
1.1. La lgica en el marco nanciero
La lgica se dene, de una manera muy sucinta, como el estudio de los principios y criterios
que hacen vlidos la inferencia y la demostracin. Dicho de otra manera, la lgica es parte
del proceso de abstraccin y formalizacin de una situacin para convertirla en trminos
matemticos, pero tambin es parte sustancial de la interpretacin correcta del lenguaje.
Ejemplo 1.1.1.
La frmula X requiere que se le proporcione el tiempo en cantidades discretas de aos
(es decir, en trminos de nmeros enteros); para esto, se pueden transformar los meses en
aos, obteniendo como resultado 4.5., para introducirlo en la frmula. El resultado ser:

a) Correcto, se hizo la transformacin necesaria.

b) Incorrecto, porque la frmula pide enteros y se le est proporcionando un nmero
racional con decimales (o real positivo).

La respuesta es b), ya que si una frmula se dedujo para usar nmeros enteros, la
introduccin de nmeros que contengan decimales arrojar un error numrico.
Ejemplo 1.1.2.
En un contrato de tiempo compartido me aseguran que podr hacer uso de mi habitacin
de hotel las veces que desee, previo aviso a la administracin del hotel. Encuentra las
inconsistencias lgicas de este prrafo.
Respuesta:
La primera parte de este prrafo me debera inducir a pensar cuntas veces al ao
realmente puedo hacer uso de este servicio; es decir, se tomar en cuenta en la rma de este
contrato, no slo lo que quiera, si no lo que ellos me permitan. La segunda parte, sugiere que
yo no soy tan libre de hacer uso de este servicio. No es como llegar a la casa propia.
Se puede ver, entonces, que el estudio de la lgica, tanto matemtica como relacionada con
el lenguaje (dialctica, retrica, etc.) le puede servir al estudiante de matemticas nancieras
para ser un individuo crtico (quiz incluso un matemtico nanciero, formalmente hablando)
y no solamente un calculista.
1
Lgica
02_Capitulo 1.indd 1 3/4/08 12:17:48 PM
2
M a t e m t i c a s F i n a n c i e r a s
Aparte de los ejemplos ofrecidos en este captulo, a lo largo del libro se har la anotacin
lgica para indicar que, adems de la parte estrictamente matemtica, el ejemplo invita a
razonarlo en cuanto a su validez.
1.2. Argumentos y conclusiones
Un argumento es la afirmacin de un conjunto dado de enunciados , , , P P Pn 1 2 f " , llamados
premisas; implica o tiene como consecuencia otro enunciado C, llamado conclusin. Luego,
el argumento completo (conjunto de premisas y la conclusin que de ellas se desprende) se
podra representar como:
, , , P P P C n 1 2 & f " ,
Ntese que, puesto que las premisas y la conclusin son enunciados, el argumento
completo es tambin un enunciado, por lo que podemos asignarles valores de verdad a
las premisas y a las conclusiones; el argumento entero puede ser verdadero, en cuyo caso
decimos que el argumento es vlido; si es falso, estamos hablando de una falacia.
Ejemplo 1.2.1.
P
1
: Algunos animales que tienen cerebro pueden razonar.
P
2
: Los seres humanos somos animales con cerebro.
C : Los seres humanos podemos razonar.
Aunque es cuestionable cules animales en concreto hacen uso de su cerebro para
razonar (sin mencionar que razonar es un fenmeno cuya denicin precisa es todava
incompleta), tenemos un ejemplo concreto de lo que es un argumento.
Ejemplo 1.2.2.
El cielo es azul.
Es un enunciado verdadero, pero no es un argumento, ya que no existe una conclusin o
una premisa que complete al argumento (el cielo es azul, y qu?). Compara en cambio:
Ejemplo 1.2.3.
P
1
: La luz de una estrella como nuestro Sol, a travs de una atmsfera como la de
la Tierra, hace ver al cielo azul desde el suelo del planeta X.
P
2
: Desde el suelo de nuestro planeta el cielo se ve azul.
C: Por lo tanto, la Tierra es un claro ejemplo de planeta X.
02_Capitulo 1.indd 2 3/4/08 12:17:52 PM
I. Lgica
3
C a p t u l o 1
Parece una obviedad, ya que desde la premisa prcticamente se dene todo aquello con
lo cual habr de concluirse. Sin embargo, debera ser clara la diferencia entre un enunciado
aislado y un argumento (observa que la premisa dos habla de nuestro planeta, no de la
Tierra, con lo cual, aunque la conclusin en ambos casos sera verdadera, se hace de una
forma forzada).
Ejercicio 1.2.1.
Determina cul es simple enunciado y cul es un argumento completo, sin pretender
asignar valores de verdad.
a) Felicidades!
b) P
1
: Algunos animales son chistosos.
P
2
: Mi gato es un animal.
C: Mi gato es chistoso.
c) P
1
: Algunos empresarios son ricos.
P
2
: Carlos Slim es un empresario.
C : Por lo tanto, Carlos Slim es rico.
d) Qu pasa?
e) El archivero est lleno de papeles.
f) P
1
: Un cinlo es alguien que conoce y ve muchas pelculas.
P
2
: Mara conoce y ve muchas pelculas.
C : Ello implica que Mara es cinla.
g) P
1
: Para tener una caja de seguridad bancaria necesito tener al menos 100 mil
pesos.
P
2
: Tengo 99 999.00 pesos.
C: Por lo tanto, ya puedo pedir mi caja de seguridad bancaria.
h) Tengo un reloj nuevo.
i) Transforma el ejemplo 1.2.3. para que su interpretacin sea directa y no forzada.
02_Capitulo 1.indd 3 3/4/08 12:17:54 PM
4
M a t e m t i c a s F i n a n c i e r a s
1.3. Silogismos
Los argumentos de la seccin anterior son ejemplos de silogismos. Un silogismo es una
forma de argumento lgico, en donde una proposicin (la conclusin) es inferida de otras
dos (o ms) premisas. En muchos libros, a este tipo de lgica se le denomina Aristotlica.
Aunque no se tiene la seguridad de que haya sido Aristteles quien invent este tipo de
argumentacin, esta lleg a travs de sus escritos loscos, principalmente de la Analytica
Priora, escrita en el siglo IV antes de nuestra era. Cabe sealar que casi cualquier fragmento
de texto puede convertirse en un silogismo.
Ejemplo 1.3.1.
El hierro adquiere una capa rojiza, llamada xido, en presencia de oxgeno, lo cual
degrada la calidad del hierro. Como el agua contiene oxgeno, una buena manera de evitar la
oxidacin de objetos ferrosos expuestos a la intemperie es cubrindolos de pintura.
P
1
: El hierro se oxida en presencia de oxgeno.

P
2
: El agua contiene oxgeno.

C: El agua oxida al hierro.
Adems:
P
1
: Una capa de pintura asla al hierro del oxgeno.
P
2
: Los seres humanos somos animales con cerebro. Al aislar al hierro del oxgeno,
ste ya no se oxida.
C : La pintura protege al hierro de la oxidacin.
Observa el papel que juegan las palabras lo cual y como (sin acento), que son
indicadoras de algn tipo de conclusin.
Ejercicio 1.3.1.
Convierte los siguientes textos en silogismos:
a) Hatch logr pasar la valla de hierro del edicio y luego coloc una escalera sobre
la fachada; subi rpidamente antes de que fuera detenido por la polica. Para que
Hatch cumpliera con su misin, varios militantes de la agrupacin distrajeron a los
guardias en la puerta principal del palacio.
02_Capitulo 1.indd 4 3/4/08 12:17:55 PM
I. Lgica
5
C a p t u l o 1
b) Nuestra sospecha de que hay varias anomalas sumamente preocupantes no
es infundada, asegur. Por ejemplo: nos hemos enterado de que la Patrulla
Fronteriza traslada al centro de detencin de Tucson no slo a los connacionales
que maniestan su inters en ser repatriados a Mxico, sino tambin a cualquier
compatriota que los agentes consideran que corre mayor riesgo en caso de un nuevo
intento de cruzar la frontera. Aadi que esto ltimo se hace sin que se conozcan
los criterios que utilizan para tomar tal determinacin.
c) Cuando se comparan unos con otros, para que tenga validez la comparacin, a todos
se les mide con la misma vara. El Times britnico, que evalu a las universidades,
us cinco criterios y a todas se les evalu con esos mismos cinco criterios.
d) El juez Juan Guzmn Tapia orden el arresto domiciliario del ex dictador Augusto
Pinochet, pero la aplicacin de la medida qued en suspenso por un recurso de
habeas corpus presentado por los abogados de Pinochet, por lo que el arresto no se
concretar hasta que la Cuarta Sala de la Corte se pronuncie sobre el amparo.
e) El escritor estadounidense Gore Vidal considera a George W. Bush el presidente
ms tonto y peligroso que ha tenido su pas Estados Unidos no ama la guerra,
pero constantemente hemos estado involucrados en la guerra porque, segn nuestra
poltica, sta es la forma de hacer dinero.
f ) Revive el turismo en el lago, al recuperar, por las lluvias, 40% de su capacidad.
g) Puesto que la Cmara de Diputados, que fue la de origen, no poda hacer ya nuevos
cambios a la minuta, el Senado le pidi remitir al Ejecutivo el proyecto.
h) Se eliminaron de la minuta enviada por la Cmara de Diputados los prrafos
segundo y tercero del artculo cuarto, donde se estableca indebidamente un gobierno
corporativo para Pemex y la posibilidad de incluir en el consejo de administracin
de la empresa a los llamados consejeros independientes, porque no queremos que
se busquen por ah nuevas vas para intentar la privatizacin de la empresa.
i) Cuando un libro se vende bien no es gracias a grandes campaas publicitarias,
sino a la recomendacin oral, que es infalible; pero para que surta efecto, los libros
requieren mayor tiempo de exhibicin.
j) El valor creciente de un recurso que escasea es una forma de renta monoplica.
King Hubbert fue un connotado gelogo que, en 1956, profetiz que la produccin
petrolera estadounidense alcanzara su clmax en los aos 70 y de ah comenzara
su declive irreversible. Algunas predicciones se han cumplido.
02_Capitulo 1.indd 5 3/4/08 12:17:57 PM
6
M a t e m t i c a s F i n a n c i e r a s
k) La huella los condujo hasta el ao 400 a. C. Encontraron[] hornos[]. La
destilacin del mezcal no la introdujeron los espaoles a nuestras tierras, sino que
es un proceso realizado mucho antes, desde la poca prehispnica. Las evidencias:
los hornos hallados contienen restos de maguey.
l) En las luchas entre bandas, escribe el poeta alemn, siempre son los perdedores
quienes disparan contra otros perdedores, los desdichados contra otros desdichados.
De este modo, cualquier vagn del metro puede convertirse en una Bosnia en
miniatura.
m) El ao pasado el presidente promulg una ley que autoriz a las fuerzas armadas de
Estados Unidos de America enviar tropas a La Haya, en caso necesario, para rescatar
a cualquier soldado estadounidense presentado ante la Corte Penal Internacional por
que slo estn defendiendo a sus ciudadanos ante casos polticamente motivados.
1.4. Diagramas de Venn
El matemtico y lsofo britnico John Venn (1834-1923) desarroll un diagrama en 1881,
con el propsito de mostrar grcamente las posibles relaciones matemticas o lgicas entre
los conjuntos.
Ejemplo 1.4.1.
Dibuja un diagrama de Venn para la siguiente frase:
Las matemticas nancieras son parte de las matemticas aplicadas y estas, a su vez,
son parte de las matemticas en general.
Matemticas
Aplicadas
U
Financieras
Nota que se ha designado a las matemticas como el universo del discurso, porque en
este caso sabemos que as es. En caso de que se desconociera el universo del discurso, se
podra dibujar la relacin anterior como tres crculos anudados.
02_Capitulo 1.indd 6 3/4/08 12:17:58 PM
I. Lgica
7
C a p t u l o 1
Ejercicio 1.4.1.
Haz el diagrama de Venn para las siguientes proposiciones:
a) Los pinos son rboles que pertenecen a las conferas y a las gimnospermas.
b) El ndigo est entre los azules y los violetas.
c) La estacin del metro Pantitln es parte de las lneas 1, 5, 9 y A.
d) La ingeniera es parte de la fsica y las matemticas, principalmente.
e) Un economista computacional conoce de economa y de programacin.
f) Debian es un tipo de Linux y este, a su vez, es un sistema operativo.
g) Los nmeros racionales son parte de los nmeros reales y estos, a su vez, de
los complejos; pero los nmeros imaginarios, aunque son parte de los nmeros
complejos, no son de los reales.
h) Las cajas de ahorro son una parte de las instituciones nancieras, y los bancos
poseen una seccin de ahorro, traslapndose con las cajas de ahorro y tambin son
parte de las instituciones nancieras, como un todo.
i) El inters compuesto es una aplicacin de las progresiones geomtricas.
j) El porcentaje se encuentra en varios temas de las matemticas nancieras.
k) Algunos relojes de cuarzo son de manecillas y otros son digitales.
l) El valor Presente se puede estudiar con ayuda de las progresiones geomtricas,
pero las progresiones geomtricas no son parte de la geometra.
m) La anualidad simple es una posibilidad de anualidad y esta, a su vez, es una forma
de progresin geomtrica.
n) Los cheques son un instrumento negociable, al igual que el papel moneda, pero no
son parte de las tarjetas de crdito y todos ellos son formas de dinero.
02_Capitulo 1.indd 7 3/4/08 12:18:00 PM
8
M a t e m t i c a s F i n a n c i e r a s
1.5. Argumentos y cuantifcadores
Los argumentos lgicos se pueden cuanticar en trminos de existencia y generalidad, es
decir, se pueden separar los casos particulares de los generales y esto se puede expresar en
forma simblica.
Ejemplo 1.5.1.
En el habla cotidiana se pueden escuchar armaciones generalizadoras como todas las
plantas tienen clorola. Esta frase se podra simbolizar con la, as llamada, lgica de primer
orden (la lgica de segundo orden es usada generalmente en demostraciones matemticas y
no ser discutida en esta obra):
En donde el smbolo se lee para todo, y se lee existe y lo que est entre
parntesis es la descripcin de lo que se est cuanticando, que se puede leer como de tal
manera que. El smbolo se lee pertenece a.
Si queremos negar la pertenencia, generalidad o existencia de un caso particular,
podemos hacer lo siguiente:
Otros smbolos auxiliares a los cuanticadores son aquellos que se usan para expresar
unin o alternativa inclusiva. Alternativa inclusiva (el o inclusivo) quiere decir que ante dos
posibilidades, cualquiera de ellas puede darse o ambas a la vez.

Ejemplo 1.5.2.
En los supermercados, las transacciones se hacen con dinero en efectivo o por medios
electrnicos (tarjetas de crdito y de dbito).

,
medios electrnicos m.e., m.e. tarjetas de crdito
m.e. tarjetas de dbito
S p
p pago p efectivo
p
0
0
=
6 7
!
!
!
!
= ^ h
Z
[
\
]
]
]]
"
"
_
`
a
b
b
bb
,
,
Observa que este ejemplo no es exhaustivo, es decir, no se incluyeron pagos con cheques
ni vales de despensa, o en general, algn otro instrumento negociable. Nota adems que se
, , p c c p p planta c clorofila 6 7 ! = = ^ h
y No para toda y
x No existe un x
No pertenece
6
7
z
+
+
y
o inclusivo
/
0
] g
6 7
02_Capitulo 1.indd 8 3/4/08 12:18:01 PM
I. Lgica
9
C a p t u l o 1
sigue la convencin matemtica de simbolizar conjuntos por medio de llaves, con su descripcin
en el interior de los mismos. As mismo, que el orden de los cuanticadores es esencial, ya
que, si se hubiera dicho que existe una X forma de pago en todos los supermercados, esto no
tiene que ser cierto, ya que puede haber algunos supermercados que no acepten alguna forma
concreta de pago (por ejemplo, los vales de despensa).
Ejercicio 1.5.1.
Expresa en trminos de cuanticadores los problemas 39 al 43 de la seccin 1.4
Diagramas de Venn.
1.6. Razonamiento deductivo e inductivo
Los argumentos pueden ser divididos en tres clases: deductivos, inductivos y abductivos.
El razonamiento deductivo consiste en que la conclusin necesariamente se desprende
de o est implicada por las premisas. Por ejemplo, los silogismos contienen con frecuencia
razonamiento deductivo cuando estn armados de tal manera que la conclusin se inera
rigurosamente de las premisas.
Ejemplo 1.6.1.
P
1
: Las hembras de los osos tienen mamas (mama sin acento).
P
2
: Los seres humanos somos animales con cerebro. Todos los mamferos tienen
mamas.
C: Los osos son mamferos.
El razonamiento inductivo es un proceso en el cual las premisas de un argumento
apoyan a la conclusin, pero no la garantizan. Se usa para establecer propiedades o relaciones
basadas en un nmero pequeo de observaciones o experiencias; o bien, para formular leyes
que se basan en una cantidad limitada de observaciones de patrones recurrentes.
Muchas frmulas matemticas son establecidas por induccin. Se toman algunos casos,
se observan los patrones recurrentes y, a partir de ellos, se formula una ley general que
abarque muchos (posiblemente todos) los casos concernientes al patrn observable. Sin
embargo, en muchas ocasiones, la nica garanta de que esta frmula obtenida por induccin
sea correcta, se puede establecer apoyndola con razonamientos deductivos, es decir,
demostrando que la induccin a lo general es vlida considerando los axiomas (premisas)
del problema matemtico en cuestin.
02_Capitulo 1.indd 9 3/4/08 12:18:03 PM
10
M a t e m t i c a s F i n a n c i e r a s
Ejemplo 1.6.2.
Sean los nmeros pares 2, 4, 6, 8, 10 Obtn por induccin alguna frmula general que los
describa.
Solucin: Un nmero par parece ser el doble de cualquier nmero, por lo tanto:
Se demuestra considerando los axiomas de divisibilidad: Puesto que los nmeros pares
son divisibles entre 2, y la denicin inductiva que se acaba de dar multiplica por dos cualquier
nmero de la serie de nmeros naturales (1, 2, 3, n+1), entonces siempre tendremos:

, , , , , , , n n 2 1 2 3 1 2 1 2 2 2 3 2 1 # # # # f f + = +
] g " " , ,
Puesto que n es un nmero natural arbitrario, entonces cualquier nmero denido de
esta forma es un nmero par y, por lo tanto, nuestra frmula es vlida.

, naturales pares n n 2 ! N N = =
] g ! +
Observa que esta frmula no abarca a los nmeros pares negativos ni aquellos nmeros
complejos, vectores o matrices cuyo mdulo (tamao) es divisible entre 2. Pero, siempre
y cuando estemos claros que nos referimos a una propiedad de los nmeros naturales, la
inferencia es correcta.
Ejemplo 1.6.3.
Este baln de ftbol se movi cuando lo pate ese jugador.
Por lo tanto, siempre que el baln sea pateado por cualquier jugador, de cualquier manera
y en cualquier circunstancia, se mover.
Pero, a menos que podamos sistemticamente establecer la falsedad de que algn baln
de ftbol se quede quieto cuando sea pateado, en alguna circunstancia, de alguna manera,
por algn jugador, la conclusin puede ser falsa. Sin embargo, puesto que en la abrumadora
mayora de los casos se observa que un baln se mueve cuando se le patea, podemos decir
que hay una induccin fuerte, y que la posibilidad de que el baln en alguna circunstancia
se quede quieto despus de patearlo, aunque permanece, queda oculta semnticamente.
Supondremos, entonces, que hablamos de induccin fuerte, cuando nos reramos a ella.
02_Capitulo 1.indd 10 3/4/08 12:18:04 PM
I. Lgica
11
C a p t u l o 1
Ejemplo 1.6.4.
Yo me he refrescado con un ventilador toda la vida.
Por lo tanto, todas las personas se refrescan con ventiladores.
Este es un ejemplo de induccin dbil. No todas las personas usan ventiladores para
refrescarse, pues hay quienes usan algn sistema de aire acondicionado (aunque alguien
pudiera observar que estos sistemas contienen al menos algn tipo de ventilador para
expulsar el aire enfriado); o algn abanico (nuevamente, si cambiamos la palabra ventilador
por abanico elctrico, pudiramos incluir a los abanicos manuales dentro de todas las
formas de abanicarse); o bien, hay personas que se sienten ms frescas bebiendo algo fro,
o algo caliente (su cuerpo suda y se enfra un poco, luego sienten un calor seco, como en el
desierto). En general, la induccin dbil pretende hacer generalizaciones a partir de casos
muy particulares, sin otra evidencia que permita hacer vlida ese tipo de generalizaciones.
Es comn encontrar que el pensamiento deductivo va de lo general a lo particular,
mientras que el pensamiento inductivo va de lo particular a lo general. Aunque, como se
vio en el caso matemtico, hay tcnicas de demostracin inductivas donde no necesariamente
es cierto que lo deductivo particularice y que lo inductivo generalice.
Ejemplo 1.6.5.
Pedro es glotn, por lo tanto, alguien es glotn. Es un argumento deductivo que va de
lo particular a lo general.
Ejemplo 1.6.6.
Todos los alumnos del posgrado de la UNAM son inteligentes, por lo tanto, este alumno
en particular es inteligente. Se puede notar que es un razonamiento inductivo, ya que usa un
caso particular para intentar apoyar una conclusin general, pero observa que esta induccin
va de la generalidad a un caso particular.
El razonamiento abductivo es la inferencia hacia la mejor explicacin. Es un mtodo
de razonamiento en el cual se escoge una hiptesis de trabajo, la cual, si resultase cierta,
explicara de la mejor manera la evidencia.
Ejemplo 1.6.7.
Este tipo de razonamiento (junto con el inductivo fuerte) es el que con mayor frecuencia
usaba el famoso detective Sherlock Holmes. Rara vez usaba pensamiento realmente
deductivo.
02_Capitulo 1.indd 11 3/4/08 12:18:06 PM
12
M a t e m t i c a s F i n a n c i e r a s
Tal es el caso de cierta ocasin, dentro de la historia Estudio en escarlata, el Dr. Watson
hizo mencin de que Holmes le lleg a mostrar salpicaduras de lodo en sus pantalones y, por
su color y consistencia, le poda decir en qu parte de Londres las haba obtenido.
La explicacin, aunque plausible, permite la posibilidad de que no sea necesariamente
cierta, ya que, si bien el conocimiento geolgico de Londres pudiera ser extenso, no es
exhaustivo, es decir, existe la posibilidad, aunque sea pequea y muy remota, de que algn
fragmento del suelo de una parte de Londres haya sido transportada de alguna manera a
otra parte de Londres, con lo que la deduccin (de hecho abduccin) de Holmes quedara
invalidada. Situaciones parecidas crean en las historias de Sherlock Holmes paradojas, con
las que se juega a n de hacer ms interesante la historia.
Ejercicios 1.6.1.
Decide si los siguientes argumentos son deductivos, inductivos o abductivos. Si puedes,
menciona si es inductivo fuerte o dbil.
a) El dueo del banco X es rico, por lo tanto, todos los banqueros son ricos.
b) P
1
: Todos los relojes tienen alguna forma de registrar algn tipo de cambio repetitivo
que se le toma como medida del tiempo.

P
2
: Los seres humanos somos animales con cerebro. Algunos relojes de manecillas
contienen un arreglo de engranajes y resortes que permiten un movimiento interno
repetitivo que se da peridicamente en algn engrane que mueve las manecillas.
C. Los relojes de manecillas miden el tiempo a travs de engranes y resortes.
c) Yo compr este objeto a un precio X y lo vend al doble de su precio con lo que tuve
una ganancia de 100%, por lo tanto, siempre que se aplique la regla compro barato
y vendo caro tiene que haber ganancia.
d) Siempre te he visto con el mismo traje, pero hoy tienes un traje nuevo y reloj de oro.
Adems, el da de ayer escuch que alguien se haba sacado la lotera, y que esa
persona recogi el premio con un traje del mismo color y estilo al que tenas antes,
por lo que inero que t eres esa persona que se sac la lotera.

e) El objeto que tienes en tu casa se puede conseguir en dos lugares distintos, pero
uno de ellos es difcil de acceder, ya que varias calles a su alrededor estn en
reparacin; la otra tienda queda ms lejos, pero ayer no tenas ese objeto y ahora lo
veo en tu casa, por lo que pienso que lo compraste en la tienda que queda ms lejos,
pero que es mucho ms fcil acceder.
02_Capitulo 1.indd 12 3/4/08 12:18:07 PM
I. Lgica
13
C a p t u l o 1
1.7. Consistencia, solidez y completud
Cuando una persona cualquiera supone que algo es lgico, implcitamente supone que un
argumento contiene las siguientes caractersticas:
1) Consistencia: Ninguna de las partes del argumento (o de un sistema de argumentos)
se contradice una con otra.
Ejemplo 1.7.1.
Puesto que un ao tiene doce meses, los pagos anuales prorrateados (distribuidos) a
mensualidades los puedo dividir entre 12.
Ninguna parte del argumento anterior se contradice, por lo tanto, es consistente.
2) Solidez: Signica que el sistema de argumentos no permite una conclusin falsa a partir
de premisas verdaderas. Si un sistema es slido y las partes que componen al argumento
son verdaderas, entonces lo que se derive de ste tiene la garanta de ser verdadero.
Ejemplo 1.7.2.
Si yo tena 20 000 pesos y me acaban de pagar 5 deudores, la suma de cuyas deudas se
remonta a 12 000 pesos, entonces ahora tendr 32 000 pesos.
Este argumento se sostiene gracias a los axiomas de la aritmtica; si cambiramos las
reglas de la aritmtica, entonces tendramos resultados distintos a lo expresado.
3) Completitud: No hay frases verdaderas que pertenezcan al sistema que, de alguna u
otra manera, no puedan ser demostradas a partir de los elementos que conforman al
sistema.
Ejemplo 1.7.3.
Los sistemas de ahorro bancarios permiten una ganancia con intereses. Yo tengo un ahorro
en el banco X, por lo tanto, el banco X debera darme un cierto porcentaje de ganancia en
forma de intereses por el hecho de que yo tenga ahorrada la cantidad Y de dinero.
Este es un ejemplo de razonamiento deductivo: Partiendo de que se conocen todas
las premisas y todas ellas son verdaderas, entonces cualquier caso particular que est
contemplado por las premisas, debera ser verdadero.
02_Capitulo 1.indd 13 3/4/08 12:18:08 PM
14
M a t e m t i c a s F i n a n c i e r a s
4) Efectividad: Cuando existe un algoritmo que puede revisar y decidir correctamente
si una secuencia de argumentos es una prueba vlida o no. Esta ltima propiedad
se puede requerir cuando se est proponiendo un programa nuevo de computadora
que resuelve algn problema o grupos de problemas nancieros. Un algoritmo
programado en una computadora puede estar arrojando resultados numricos
que no tienen ningn sentido, pero a menos que se tenga otro algoritmo (a mano
o programado aparte) que pueda ir revisando los resultados, no hay manera de
garantizar que los resultados del programa nuevo sean conables.
Ejemplo 1.7.4.
Digamos que se hace un programa, ya sea en una hoja de clculo o dentro de algn lenguaje
de programacin de alto nivel (por ejemplo: Java, Fortran 90, C++), que se encargue de
prorratear los pagos a 12 meses sin intereses. Omitiendo el resto de los detalles de este tipo
de promociones, el programa tendra que ser capaz de, al menos, poder dividir cualquier
cantidad que se d entre doce.
La forma de comprobar que el programa est haciendo lo correcto, simplemente se
aplica la operacin inversa de la divisin: se multiplica el resultado de la divisin por doce y
el resultado tiene que dar la cantidad original. Entonces, por lo menos en el sentido lgico-
matemtico, no existe error; sin embargo, ello no quiere decir que el programa d resultados
correctos, ya que se tiene que tener en cuenta si al momento de dividir se han redondeado las
cifras (ver el siguiente captulo); al redondear, se pierde una parte de la informacin original,
por lo que si la cantidad redondeada es multiplicada por doce, dependiendo de cmo se haya
hecho el redondeo y la multiplicacin posterior, no necesariamente se obtendr la cantidad
que originalmente se prorrate.
Para que este tipo de error no suceda, se tendra que buscar la manera de que el objeto
a vender tenga un precio tal que sea divisible entre doce, ya sea de forma exacta (enteros) o
bien que incluya hasta un mximo de dos decimales, o que del tercero en adelante no importe
lo que suceda.
Ejercicio 1.7.1.
Decide si los siguientes argumentos son consistentes, slidos y completos, y propn alguna
forma de comprobar los resultados.
a) Un contrato es un vnculo legal de intercambio de promesas o acuerdos entre dos
partes, de tal manera que la ley obliga a su cumplimiento (los pactos deben ser
mantenidos). La empresa X se dedica a la renta, compra y venta de videos de
pelculas en diversos formatos. El contrato de dicha empresa establece con claridad
todos los fundamentos legales que la sustentan; las caractersticas que deben de
02_Capitulo 1.indd 14 3/4/08 12:18:09 PM
I. Lgica
15
C a p t u l o 1
tener sus clientes, incluyendo solvencia econmica y mayora de edad; y las
condiciones de renta, compra y venta de videos. Una vez rmado el contrato, yo
tendr derecho a rentar todos los videos que all se ofrezcan.
b) Un seguro de vida es un contrato legal. En este contrato se estipula que los eventos
asegurados incluyen la muerte y la muerte accidental, y describe las limitaciones de
los eventos asegurados en caso de suicidio, fraude o guerra. Se muere la seora X
por enfermedad, con lo cual suponemos que la aseguradora debe pagar el seguro.
1.8. Suciente y necesario
Una condicin necesaria para un argumento debe ser satisfecho con el n de que el argumento
sea verdadero. Formalmente, una premisa P es una condicin necesaria para el argumento Q,
si Q implica P. Coloquialmente, esto equivale a decir Q no puede ser verdadera a menos que
P tambin lo sea, es decir, Q implica P, o P siempre que sea el caso Q.
Ejemplo 1.8.1.
Comer es necesario para que un ser humano est vivo. Comer implica estar vivo.
Una condicin suciente es aquella en la que, de ser satisfecha, asegura que el argumento
sea verdadero. Formalmente, una premisa P es una condicin suciente para la armacin Q,
si P implica Q (observa cmo se invierte la implicacin).
Ejemplo 1.8.2.
Saltar al interior de una alberca llena de agua es suciente para mojarse.
Hay premisas que aunque sean necesarias no son sucientes, y viceversa.
Ejemplo 1.8.3.
Comer es necesario, pero no suciente para estar vivo (se necesita que la persona respire,
beba agua y, en general, que pueda cumplir con todas sus necesidades siolgicas).
Ejemplo 1.8.4.
Saltar al interior de una piscina llena de agua es suciente para mojarse, pero no
necesaria, ya que uno tambin puede mojarse con el aspersor de un jardn, o con los chorros
de una fuente, o bajo una cascada y, en general, en cualquier situacin que involucre entrar
en contacto directo con agua en estado lquido.
02_Capitulo 1.indd 15 3/4/08 12:18:11 PM
16
M a t e m t i c a s F i n a n c i e r a s
Matemticamente, la necesidad y la suciencia establecen una dualidad, ya que al decir
que P es suciente para Q es lo mismo que decir Q es necesaria para P, puesto que
ambas armaciones signican que P implica Q.
Ejemplo 1.8.5.
Si naci en Mxico, esa persona necesariamente es mexicana.
Si es mexicana, es suciente con que haya nacido en Mxico.
(Observa que estas frases no son exactamente equivalentes, ya que no es necesario que
una persona haya nacido en Mxico para poder ser mexicana).
Ejercicio 1.8.1.
Seala en qu casos se establece una relacin de necesidad, suciencia o equivalencia.
a) Si ahorro, tendr dinero para el futuro.
b) Yo tengo ms dinero porque he trabajado ms.
c) Si X tiene un objeto parecido al de Z, y X trae testigos de que es la legtima duea,
entonces Z es una ladrona.
d) Si alguien es atrapado in fragranti (en el acto) de tomar la posesin de otra persona,
y hay testigos del hecho, entonces es declarado ladrn.
e) Si a alguien se le rompe su represa de agua para regar cultivos es porque fue muy
ojo para conservarla.
f) Si es un nmero par, entonces es divisible entre 2.
1.9. Lgica modal
En lingstica, la modalidad se reere a que las partes de una frase pueden cambiar su
semntica (signicado) por ciertos verbos especiales (deber, tener, poder, entre otros) o
partculas modales (quiz, tal vez, o preposiciones como algn, o universales como todo,
siempre y sujos que modican a los verbos).
02_Capitulo 1.indd 16 3/4/08 12:18:12 PM
I. Lgica
17
C a p t u l o 1
Ejemplo 1.9.1.
Los bancos prestan a los ahorradores.
Los bancos prestan a algunos ahorradores.
Los bancos deberan prestar a los ahorradores.
Ninguna de las tres frases signica lo mismo desde el punto de vista de la lgica modal.
En el primer caso la frase implica que los bancos prestan sin mayor distincin que el hecho
de ser ahorrador. La segunda frase es ms restrictiva, ya que al decir algunos se supone que
slo se presta a aquellos ahorradores que renan ciertos requisitos. La ltima frase es una
recomendacin.
Ejemplo 1.9.2.
Esta frmula tiene que dar el resultado correcto.
Esta frmula podra dar el resultado correcto.
Esta frmula puede dar el resultado correcto.
En la primera frase, el verbo tiene es un requerimiento, una obligacin, y no deja
opcin o alternativa. La segunda frase implica que la frmula es una opcin. La tercera
frase indica que es posible que la frmula funcione.
Ejemplo 1.9.3.
Este contrato siempre se ha de cumplir al pie de la letra.
Este contrato algunas veces se ha de cumplir al pie de la letra.
Este contrato nunca se ha de cumplir al pie de la letra.
La primera frase implica que no hay restricciones para que el contrato se cumpla tal
y como est escrito. La segunda indica que hay condicionantes para que se cumpla o no el
contrato, tal y como est escrito, dependiendo de las circunstancias. La tercera frase nos dice
que necesariamente tenemos que interpretar el contrato para que se cumpla en su espritu o
a travs de alguna regla implcita o preestablecida, y no rigurosamente tal y como lo vemos
escrito.
02_Capitulo 1.indd 17 3/4/08 12:18:14 PM
18
M a t e m t i c a s F i n a n c i e r a s
La mayora de los verbos modales tiene dos interpretaciones distintas:
a) Epistmico, es decir, expresan qu tan certero es el estado factual de una
proposicin.
b) Dentico, ya que involucra nociones de permiso y obligacin.
Ejemplo 1.9.4.
Epistmico: Debes de estar sediento (es necesariamente el caso de que t te encuentres
sediento porque acabas de cruzar el desierto o acabas de hacer ejercicio).
Dentico: Te debes quedar (ests obligado a quedarte).
Ambiguo: T debes de saber matemticas.
Primer caso, epistmico: Es seguramente el caso que t sepas matemticas (por ejemplo,
despus de haber estudiado la licenciatura, la maestra y el doctorado en matemticas).
Segundo caso, dentico: Es un requerimiento que t sepas matemticas (por ejemplo,
si quieres solicitar trabajo involucrado con el diseo y funcionamiento de reactores nucleares
porttiles en un centro de diseo de submarinos).
Las palabras suciente, demasiado, poco, y todas aquellas que indiquen cantidad,
tambin pueden cambiar el sentido exacto de la frase que se quiere establecer.
Ejemplo 1.9.5.
Me gusta mucho.
Me gusta demasiado.
Me gusta.
La primera frase es un superlativo acerca de la atraccin que yo tengo hacia un algo
o alguien. En el segundo caso se implica que algo o alguien me guste ms all de lo
que se podra considerar saludable para mi persona (por cierto, el uso de la segunda frase
como sinnima de la primera es un disparate). La tercera frase no usa ningn cuanticador,
simplemente establece un hecho.
Hay que aclarar que el uso de cuanticadores, verbos modales y otras palabras que
modiquen el sentido exacto de la frase, si se llegan a encontrar en algn contrato, deben
tomarse con cuidado, porque para nes legales se requiere ser totalmente especco.
02_Capitulo 1.indd 18 3/4/08 12:18:16 PM
I. Lgica
19
C a p t u l o 1
Ejemplo 1.9.6.
que el cliente sea solvente econmicamente (A qu le llaman solvente? Es
la persona que tiene el efectivo o se incluyen aquellas personas con propiedades,
digamos casas, automviles, joyas, y otros bienes muebles o inmuebles?).
...para todos los casos probables (Qu probabilidad debe de tener para que se
considere probable, o qu circunstancias determinan que esos casos se puedan
demostrar?).
Ejercicios 1.9.1.
Calica si la segunda armacin se puede inferir de la primera, o indica si la conclusin
es falsa o verdadera, o ambigua, segn el caso. Explcalo.
a) La memoria de esta computadora podra ser de mala calidad, por lo que es seguro
que tendrs problemas.
b) Puesto que en Mxico el sol es intenso, es posible que algunos mexicanos y
mexicanas usen sombrero, siempre y cuando caminen bajo el sol.
c) Esa caja debe de estar llena.
d) La persona que fuma demasiado abusa de sus pulmones.
e) La persona que come demasiado se est alimentando bien.
f) Si un seguro de gastos mdicos cubre diversos accidentes y cuando escalo una
montaa sufro una cada, la aseguradora debe cubrir mis gastos hospitalarios.
g) Si un seguro de gastos mdicos cubre algunos accidentes y me caigo al esquiar en
una montaa, la aseguradora podra cubrir mis gastos hospitalarios.
1.10. Falacias
Una falacia es el componente de un argumento que se demuestra incorrecto ya sea en su
lgica o en su forma, lo que hace invlido al argumento como un todo.
Ejemplo 1.10.1.
Si votar es democracia, entonces los criminales y trastornados mentales deben de votar.
02_Capitulo 1.indd 19 3/4/08 12:18:18 PM
20
M a t e m t i c a s F i n a n c i e r a s
Esta es una falacia por accidente, ya que argumenta errneamente desde una regla
general a un caso particular sin tomar en cuenta la circunstancia concreta que pudiera viciar
la aplicacin de la regla general.
Ejemplo 1.10.2.
Si la gente no vota por m, habr terribles consecuencias para el pas.
Esto es una conclusin irrelevante, es decir, la argumentacin no busca demostrar un
hecho en disputa, pero s demostrar su verdad, distrayendo la atencin hacia algn hecho
ajeno al argumento. En este argumento en concreto se apela al miedo en la audiencia, aunque
tambin se podra apelar con base al pensamiento popular (el sentimiento de esta nacin)
o creencias comunes (el tiempo es oro).
Ejemplo 1.10.3.
Nosotros debemos estar aqu, porque hasta aqu hemos llegado.
Esta es una peticin de principio o razonamiento en crculos. La conclusin se demuestra
a travs de premisas que presuponen la conclusin.
Ejemplo 1.10.4.
Si han cado tres rayos antes de que el reloj toque las tres de la maana, entonces maana
a las tres ganar la lotera.
Esta es una falacia de causa falsa, en donde un evento se le supone consecuencia de otro,
particularmente si hay una sucesin cronolgica (temporal).
Ejemplo 1.10.5.
Es verdad que ya no has robado?
Esta es la falacia de las muchas preguntas o falacia de la pregunta cargada. Consiste en
agrupar, impropiamente, varias preguntas, de tal manera que en apariencia formen una que
exija una respuesta categrica. En este caso hay dos preguntas:
1) Alguna vez has robado?
2) Ya no robas?
La pregunta presupone que la persona interrogada ha robado alguna vez, quiz por
algn tiempo, y sin tener tal certeza pregunta a la vez si la persona ha dejado de hacerlo.
02_Capitulo 1.indd 20 3/4/08 12:18:20 PM
I. Lgica
21
C a p t u l o 1
Ejercicio 1.10.1.
Indica si alguno de los siguientes argumentos es una falacia y, en su caso, de qu tipo.
a) Puesto que los pinginos viven en la Antrtica, probablemente les guste el fro.
b) Es verdad que ya no le pega a su esposa?
c) P
1
: Dios es amor.
P
2
: Los seres humanos somos animales con cerebro. El amor es ciego.
C : Dios es ciego.
d) Si se cae, es porque ha descendido.
e) Si Z es buena en matemticas nancieras, entonces es una buena persona.
f) Si esta persona no quiere pagar, es porque no desea pagar.
g) P
1
: El tiempo es oro.
P
2
: Los seres humanos somos animales con cerebro. Los relojes miden el tiempo.
C : Los relojes miden la cantidad de oro.
h) Todas las personas en puestos ejecutivos altos seguramente se han humillado ante
sus superiores.
i) Es verdad que usted ya respeta los semforos en alto?
j) A Adolf Hitler le gustaba leer a Frederick Nietzche, por lo tanto, lo que escribi
Nietzche debe de ser malo.
k) No es una falacia.
l) Pregunta cargada.
m) Falacia por accidente.
n) Razonamiento en crculos.
02_Capitulo 1.indd 21 3/4/08 12:18:21 PM
22
M a t e m t i c a s F i n a n c i e r a s
o) Causa falsa.
p) Razonamiento circular.
q) Falacia por accidente.
r) Causa falsa.
s) Pregunta cargada.
t) Conclusin irrelevante. (El hecho de que una persona calicada como personicacin
del mal se haya inspirado en algn lsofo, no quiere decir que el lsofo en s haya
tenido un propsito maligno en todo lo que escribi).
1.11. Tablas de verdad
Las tablas de verdad son tablas matemticas aplicables a la lgica que ayudan a visualizar
posibles alternativas de falsedad o veracidad al combinar los valores lgicos de los argumentos
individuales. Una vez que tenemos la tabla de verdad, sta puede ser usada en un proceso de
decisin, por ejemplo, dentro de algn algoritmo.
Histricamente, el desarrollo de las tablas de verdad datan de 1880, con los trabajos de los
matemticos Frege, Peirce y Schrder. Charles Lutwidge Dodgson, conocido como Lewis Carroll
(el autor de Alicia en el pas de las maravillas y A travs del espejo), lleg a usar tablas de verdad en
1894, pero su trabajo no se revel sino hasta 1977, cuando se revisaron sus documentos personales.
Sin embargo, el trabajo matemtico-losco que realmente impuls el uso de tablas de verdad fue
el Tractatus Logico-Philosophicus del lsofo de las matemticas y la lengua austriaca, Ludwig
Josef Johann Wittgenstein.
Conjuncin: La conjuncin lgica exige la veracidad de todas las premisas que la
conforman.
Ejemplo 1.11.1.
Una de las tablas de verdad ms sencillas es la de conjuncin de dos premisas:
p
V
V
F
F
q
V
F
V
F
p q
V
F
F
F
/
02_Capitulo 1.indd 22 3/4/08 12:18:23 PM
I. Lgica
23
C a p t u l o 1
Para que el resultado sea verdadero, ambas premisas tienen que ser verdaderas. En todos
los dems casos, si al menos una de las premisas es falsa, entonces todo el argumento es
falso, ya que la conjuncin exige la veracidad de todas las premisas simultneamente. En las
hojas de clculo (como Calc de Open Ofce y Excel) existe la funcin Y (o AND para
las hojas de clculo en ingls), la cual puede contener todas las premisas que se deseen, pero
la mecnica es idntica: todas las premisas deben ser verdaderas para que la celda d como
resultado un valor verdadero. La funcin lgica .AND. existe en Fortran 77, Fortran 90
y en otros lenguajes computacionales, con algunas diferencias de sintaxis. En Mathematica
(todas sus versiones) usa el smbolo && para construir la conjuncin lgica, mientras que
MATLAB usa &. Las calculadoras electrnicas programables tambin poseen esta funcin
desde mediados de 1970 (es la funcin AND). Una aplicacin clara de esta tabla de verdad
es en algunas reglas de trnsito.
Ejemplo 1.11.2.
Si viene borracho y maneja, se le deben aplicar sanciones diversas. Aunque es evidente
que se exige la veracidad de ambas premisas, la primera exige que se haga una distincin
cuantitativa, ya que no cualquier persona que haya bebido alcohol necesariamente est ebria.
Para ello se aplican los alcoholmetros, y entonces la tabla de verdad en realidad debera
escribirse como:


p x
V
V
F
F
q
V
F
V
F
p x
V
F
F
F
q > > / ^ h
En donde x es el umbral de alcoholizacin en la sangre, arriba del cual se considera que
la persona ha bebido ms de lo que se supone le permitira manejar con prudencia (que una
persona est sobria no es garanta de que sea prudente manejando, pero desde el punto de
vista de la lgica, no est violando la ley).
Negacin:
La negacin cambia los valores verdaderos a falsos y viceversa.
Ejemplo 1.11.3.
Usando la misma tabla que en el ejemplo 1.11.1., pero negando la segunda premisa:


p
V
V
F
q
V
F
F
q
F
V
V
p q
F
V
F
/
02_Capitulo 1.indd 23 3/4/08 12:18:26 PM
24
M a t e m t i c a s F i n a n c i e r a s
Observa que ahora se us el smbolo que es lo mismo que si se hubiera usado el
smbolo ~ .
O inclusivo
Esta conjuncin lgica admite que, al menos, una de las premisas sea verdadera para
que el argumento sea verdadero.
Ejemplo 1.11.4.

p
V
V
F
F
q
V
F
V
F
p q
V
V
V
F
0
Solamente se obtiene Falso cuando ambas premisas lo son. En los lenguajes
computacionales, hojas de clculo en ingls y calculadoras electrnicas programables se
simboliza como OR (en castellano es O), en Mathematica se usa0 (o ;) y en MATLAB y
otros sistemas algebraicos se usa <. Igual que el operador lgico AND, OR puede ser usado
para tantas premisas como se requiera.
O exclusivo (XOR)
Este operador no admite que sean verdaderas simultneamente dos premisas, es decir,
exige que ambas tengan valores distintos para que el argumento sea verdadero.
Ejemplo 1.11.5.

XOR p
V
V
F
F
q
V
F
V
F
p q
F
V
V
F
La funcin XOR es manejada por muchas calculadoras programables y en algunos
sistemas algebraicos que, incluso, pueden evaluar todos las premisas que se deseen, en cuyo
caso da verdadero, siempre que exista un nmero impar de premisas que sean verdaderas y el
resto sean falsas (y evala a falso de otra manera), pero Xor (en el caso de Mathematica), tiene
que evaluar siempre todos sus argumentos, y esto causa que no sea una buena estructura de
control. Como alternativa se usa el OR (O inclusivo) y la negacin de alguna de las premisas.
XOR tambin se simboliza con 5 o !.
Ni A ni B o NOR
El operador lgico slo produce verdadero cuando ambos valores son falsos (o todos
ellos, cuando se usa en algn sistema algebraico que admite multiplicidad de premisas).
+
02_Capitulo 1.indd 24 3/4/08 12:18:27 PM
I. Lgica
25
C a p t u l o 1
Ejemplo 1.11.6.

NOR p
V
V
F
F
q
V
F
V
F
p q
F
F
F
V
NOR Tambin se simboliza con
.
o =
No ambos a la vez o NAND
Este operador lgico da como resultado verdadero, siempre que al menos una de
las premisas sea falsa. NAND existe en algunas calculadoras programables y sistemas
algebraicos computacionales como Mathematica; en esta ltima NAND se simboliza como
M, y en otros contextos se puede simbolizar como -.
Ejemplo 1.11.7.
NAD p
V
V
F
F
q
V
F
V
F
p q
F
V
V
V
Coloquialmente, sto se puede ejemplicar con: ese programa seguramente dar
resultados incorrectos si no se tienen los datos correctos y las frmulas correctas. A reserva
de las varias interpretaciones que se le pudiera dar a esta frase, lo cierto es que la nica
garanta de que el programa falle es cuando se carezcan de dos premisas a la vez: los datos
y las frmulas; de otra manera, a lo mejor con algunos datos correctos, que sean especiales
numricamente, es posible que d resultados correctos. Por otro lado, se pueden tener las
frmulas correctas y, aunque algunos datos no estn correctos, es posible que d resultados
correctos, sobre todo para el mbito de datos, en donde a las frmulas no les afecte demasiado
el valor numrico concreto del que se est hablando.
Condicional Si: En computacin es comn ver la funcin Si (para hojas de clculo
en castellano) o IF en general, para los lenguajes de programacin y algunas calculadoras
programables. Este condicional no es exactamente lo mismo que el Si de implicacin en
lgica (al menos directamente), y su uso es para ramicar la secuencia de operaciones dentro
de algn proceso de clculo.
Ejemplo 1.11.8.
Sea el nmero real A; si A es igual o mayor que cero, entonces aplicar raz cuadrada,
de lo contrario, imprimir raz imaginaria.
02_Capitulo 1.indd 25 3/4/08 12:18:29 PM
26
M a t e m t i c a s F i n a n c i e r a s
En este algoritmo lo que se hace es evitar que ocurra un error numrico, ya que slo
tienen raz cuadrada real aquellos nmeros que sean iguales o mayores que cero; de lo
contrario, el programa tiene la instruccin de ramicar hacia el mensaje de error apropiado.
Aunque las tablas de verdad que se han ilustrado hasta el momento usan los smbolos
V y F para signicar verdadero y falso, respectivamente, matemticamente ambas son
equivalentes a los valores numricos 1 y 0.

Muchos de los elementos del lenguaje comn tambin pueden ser matematizados; las
expresiones aunque, tal vez, quiz y otras similares quieren expresar, en general, que existen
alternativas en algn argumento dado. Esto se traduce al condicional Si, en donde Si x
es verdadero, entonces se procede al caso 1, de lo contrario, se procede al caso 2. Hay
expresiones que tal vez requieran de condicionales anidados.
Ejemplo 1.11.9.
Una persona puede ganar ms dinero trabajando ms, aunque tambin puede estudiar y
hacer un trabajo diferente donde le paguen mejor, se traduce con ayuda del condicional:
Si (trabaja o estudia)
Si (trabaja ms)
Por lo tanto, ms dinero
Si no
Mismo estado econmico
(n del primer condicional interno).
Si (estudia para otro trabajo mejor remunerado)
Por lo tanto, ms dinero
(n del segundo condicional interno).
Si no estudia y adems no trabaja ms
Por lo tanto, mismo estado econmico
(n del condicional que abarca a los dos condicionales internos).
Observa que este condicional no contempla eventos fortuitos, como heredar o ganarse la lotera.
02_Capitulo 1.indd 26 3/4/08 12:18:31 PM
I. Lgica
27
C a p t u l o 1
Implicacin: p implica q; o bien q es consecuencia (necesaria) de p, o bien p
es suciente para que sea posible q. La nica forma en que un argumento de implicacin
sea falso, es cuando la consecuencia es falsa.
Ejemplo 1.11.10.
La tabla de verdad de la implicacin es como sigue:
p
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
&
Nota que la implicacin no tiene la misma funcin que la estructura de control
computacional IF, ya que este ltimo es una conexin ramicada de acuerdo con una condicin,
mientras que en la implicacin se presupone una relacin lgica entre dos premisas.
Ejercicio 1.11.1.
a) Demuestra que la tabla de verdad para implicacin es equivalente a la tabla de
verdad que tendra el negar la primera premisa y usar la conjuncin lgica O para
conectarla con la segunda premisa (es decir, demuestra que
) p q p q & 0 =
.
b) Establece la tabla de verdad para : . p q x < 0^ h
Ejercicio 1.11.2.
Usando los ejemplos 1.11.1, 1.11.3, 1.11.4, 1.11.5, 1.11.6, 1.11.7 y 1.11.10, niega la primera
premisa y construye su tabla de verdad correspondiente. Usa 0 y 1 en lugar de F y V.
02_Capitulo 1.indd 27 3/4/08 12:18:32 PM
02_Capitulo 1.indd 28 3/4/08 12:18:34 PM
M
A
T
E
M

T
I
C
A
S

F
I
N
A
N
C
I
E
R
A
S
MATEMTICAS
FINANCIERAS
Mate Finacieras Cover.indd 1 3/4/08 4:58:16 PM