Universidad Tecnolgica de Puebla

PropeduticoparaT.I.
Ingeniera en Tecnologas de la Informacin
Elaborado por:

M.C. Guillermo Snchez Flores.
M.C. Arturo Rojas Lpez.
Lic. Pedro Martnez Galaviz.








Contenido
Introduccin........................................................................................................................................ 3
Captulo 1. Abstraccin y Razonamiento en Problemas Lgicos....................................................... 4
1.1 Importancia de la Lgica y el Razonamiento............................................................................ 4
1.1.1 Definicin de Lgica Formal ............................................................................................. 5
1.2 Traducciones............................................................................................................................. 9
1.3 Negaciones.............................................................................................................................. 11
1.4 Definiciones Implcitas........................................................................................................... 13
1.5 Tautologas.............................................................................................................................. 15
1.6 Deducciones............................................................................................................................ 16
1.7 Reduccin al Absurdo............................................................................................................. 18
1.8 Demostraciones Directas......................................................................................................... 20
Captulo 2. Modelado de datos usando el modelo Entidad Relacin (ER).................................... 22
2.1 El modelo Entidad Relacin.................................................................................................... 22
2.2 El Modelo Relacional.............................................................................................................. 24

Introduccin

El material que se presenta en este trabajo, surge como una propuesta para el curso propedutico de
la ingeniera en Tecnologas de la informacin, realizada por un grupo de profesores designados
por el director de la carrera, con el fin de dar una introduccin a la nueva etapa de estudios de los
TSUs egresados.
Este material surge con la colaboracin de profesores que a travs de sus experiencias y formacin
acadmica, aportaron sus ideas con mucho empeo y la clara intencin de obtener un material de
calidad adaptado a las nuevas formas de trabajo, empatado con la forma y el contenido de los planes
de estudio vigentes, esperando que el trabajo y las ideas vertidas en el material sea de apoyo base a
la nueva generacin de estudiantes, y dejando abierta la invitacin a los dems compaeros
profesores que puedan enriquecerlo con ideas innovadoras y modificaciones posteriores para poder
lograr un trabajo con las opiniones o colaboraciones de todo el grupo docente del rea, para poder
construir y avanzar, evitando que ocurra lo que ha pasado con algunas aportaciones de otros
trabajos que a pesar de tener muy buenas ideas se han hecho humo y cada ciclo o etapa se reinventa
todo.
Dentro de los temas que componen el trabajo, se ocupa el empleo sistemtico del raciocinio, no
como teora, sino como disciplina a practicar. No se desarrolla con base en conferencias dictadas
desde la ctedra, sino con base en sesiones en forma de taller donde el instructor se encarga de
interrogar, observar y corregir.
Sobre la lgica formal, se muestran algunos patrones de inferencia a travs de ejemplos comunes.
Tales ejemplos comunes, estn basados en conceptos de la vida cotidiana, y se consideran de los
ms apropiados, ya que su dificultad es ms bien de orden lgico, por lo que permiten concentrarse
en el aspecto lgico exclusivamente. Finalmente se llega a la conceptualizacin del empleo de la
lgica formal, orientado al modelado de datos de un problema determinado.








Captulo1.AbstraccinyRazonamientoenProblemasLgicos

1.1ImportanciadelaLgicayelRazonamiento

En numerosas ocasiones que se nos presenta un problema de diversa ndole o de caractersticas
diversas, se suele complicar la solucin o incluso llegar a dar una conclusin de dicho problema, a
pesar de que se cree que se tiene la comprensin total del problema, que se conocen a detalle los
requerimientos involucrados y que se puede manejar muy simple, formalizar o abstraer los
elementos clave del problema puede llegar a ser una tarea que consuma mucho tiempo.
La principal razn de todo esto, es que a pesar de entender el problema, conocer de cierta forma su
naturaleza y contar con la mayora de los elementos necesarios para una solucin adecuada, no
podemos llegar a formalizarlo.
Si al problema le asignamos algn nombre como programa, algoritmo, modelo de datos,
diagrama de casos, etc., aparte de que pueden llegar a salir algunos traumas, ya se est de alguna
forma ligado a una respuesta que involucra algn tipo de lenguaje o representacin muy especfica
y exacta, y de plano se puede llegar a creer que una solucin es impensable o incluso frustrante.
Una de las principales causas de que fracase o se llegue a frustrar la solucin, es que al momento de
pensar en un problema dado, de inmediato ya se est pensando en cmo se va a desarrollar
(programar, modelar, dibujar entidades, etc. ) cuando ni siquiera se ha planteado un bosquejo
general del problema definiendo el orden de los requerimientos y las posibles caractersticas
ambiguas que pueda contener el planteamiento del problema.
Por todo esto antes de comenzar a desarrollar la solucin del problema, se debe de aterrizar de
cierta forma el planteamiento y poner sobre un bosquejo las probables soluciones, haciendo un
anlisis pertinente de los elementos que lo componen, para llegar a una buena solucin. Es aqu
en donde interviene directamente la lgica y el razonamiento. En donde despus de hacer la
resolucin de varios casos similares se contar con la experiencia necesaria y entonces quiz un
anlisis detallado ya no ser necesario para cada caso similar.
El estudio de la lgica formal, permite hacer un anlisis abstracto de un problema determinado, para
que a travs de razonamiento se pueda inferir una solucin o dar una conclusin basada en
argumentos vlidos, tomando las especificaciones del problema y traducindolas a proposiciones
categorizadas que permiten hacer el anlisis formal.
Este captulo comienza con las traducciones de especificaciones hacia proposiciones lgicas,
despus se muestran algunas definiciones formales que debern ser comprendidas y aplicadas en
diversos ejercicios, y por ltimo se llega a la parte ms significativa, en donde una vez que se halla
dominado la primera parte, el alumno se debe de tomar el tiempo necesario para que aprenda a
observar y llegar a las conclusiones necesarias.

1.1.1DefinicindeLgicaFormal

Una de las ms populares definiciones de lgica es que es el anlisis de mtodos de razonamiento.
Dentro del estudio de estos mtodos, la lgica est interesada en la forma de un argumento antes
que el contenido del mismo. Por ejemplo, considere los 2 argumentos:

1.- Todo hombre es mortal. Scrates es un hombre. Por lo tanto Scrates es mortal.
2.- A todos los conejos les gusta la zanahoria. Sebastin es un conejo. Por lo tanto a Sebastin le
gustan las zanahorias.

Ambos tienen la misma forma: todo A son B. S es un A. Por lo tanto S es un B. La verdad o
falsedad de las premisas y conclusiones particulares no concierne a lo lgico. Se quiere conocer
slo cuando las premisas implican la conclusin. La formalizacin sistemtica y catalogacin de
mtodos validos de razonamiento son una tarea principal de la lgica.
Si el trabajo usa tcnicas matemticas y si esto es principalmente dedicado al estudio del
razonamiento matemtico, entonces esto debe ser llamado lgica matemtica. Se puede ajustar o
cerrar el dominio de la lgica matemtica si su principal objetivo se define para ser un preciso y
adecuado entendimiento de la nocin de prueba matemtica.
Definiciones impecables tienen poco valor en el comienzo del estudio de un tema. La mejor forma
de descubrir acerca de lo que es la lgica matemtica es comenzando a hacerla, y los estudiantes
son asesorados para comenzar leyendo el libro an cuando (o especialmente si) tienen dudas o
dificultades acerca del significado y propsito de los temas. Sin embargo la lgica es bsica para
todos los estudios.

Para dar un breve comienzo en la utilizacin de la lgica, se plantean el siguiente ejemplo:
Un problema de anlisis lgico
El siguiente es un acertijo lgico similar al propuesto por Albert Einstein. Si bien se han
introducido algunas modificaciones, se mantienen las caractersticas formales en cuanto a las
proposiciones, premisas y conclusiones lgicas del original.

Existen 5 casas de diferentes colores. Cada casa es de propiedad de personas de diferente
nacionalidad y que habitan en ella. Los 5 dueos beben una determinada bebida, fuman una
determinada marca de cigarrillo y tienen una determinada mascota. Entre las 5 personas no existen
dos o ms de ellas que beban la misma bebida o fumen la misma marca de cigarrillo o tenga un
mismo tipo de mascota. Es decir, cada uno vive en una casa de color distinta y tiene una preferencia
diferente respecto a cada uno de los otros.
Se ha observado que el boliviano vive en la casa de color rojo, el peruano tiene de mascota un
perro, el colombiano toma te, la casa de color verde est inmediatamente a la izquierda de la casa de
color blanca, el dueo de la casa de color verde toma caf, la persona que fuma cigarrillos de marca
Pamal tiene un canario. El dueo de la casa amarilla fuma Duntil, el que vive en la casa del centro
toma leche, el venezolano vive en la primera casa, la persona que fuma Gols vive junto a la que
tiene un gato, la persona que tiene un caballo vive junto a la que fuma Duntil, el que fuma Blue
bebe cerveza, el argentino fuma Print, el venezolano vive junto a la casa de color azul, el que fuma
Gols tiene un vecino que toma agua.
Quin tiene una pecera con un pez de mascota?

Solucin:
Lo primero que se debe de hacer para tratar de obtener una solucin, es de alguna manera identificar
las frases o premisas relevantes que proporcionan informacin acerca del problema. Del prrafo
anterior se pueden identificar los siguientes enunciados:

1.- Se ha observado que el boliviano vive en la casa de color rojo
2.- El peruano tiene de mascota a un perro
3.- El colombiano toma Te
4.- La casa de color verde esta inmediatamente a la izquierda a la casa de color blanca
5.- El dueo de la casa de color verde toma caf
6.- La persona que fuma cigarrillos de la marca Pamal tiene un canario
7.- El dueo de la casa amarilla fuma Duntil
8.- El que vive en la casa del centro toma leche
9.- El venezolano vive en la primera casa
10.- La persona que fuma Gols vive junto a la que tiene un gato
11.- La persona que tiene un caballo vive junto a la que fuma Duntil
12.- El que fuma Blue bebe cerveza
13.- El argentino fuma Print
14.- El venezolano vive junto a la casa de color azul
15.- El que fuma Gols tiene un vecino que toma agua

Para plantear la solucin se toma como referencia una tabla donde las columnas representarn las
casas y los renglones sus caractersticas.
Casa 1 Casa 2 Casa 3 Casa 4 Casa 5
Nacionalidad
Color de Casa
Bebida
Cigarrillos
Mascota

La intencin es ocupar los enunciados para ir descartando casillas, acotando la solucin del
problema.
De acuerdo a los enunciados 8, 9 y 14 nos presentan los primeros datos fijos de la solucin,
quedando ubicados de la siguiente manera
Casa 1 Casa 2 Casa 3 Casa 4 Casa 5
Nacionalidad Venezolano
Color de Casa Azul
Bebida Leche
Cigarrillos
Mascota
El enunciado 4 determina que existen 2 casas con una propiedad de cercana (casa verde y casa
blanca), adems de que el enunciado 5 determina la bebida del habitante de la casa verde, por lo
que la nica ubicacin posible es de la siguiente forma
Casa 1 Casa 2 Casa 3 Casa 4 Casa 5
Nacionalidad Venezolano
Color de Casa Azul Verde Blanca
Bebida Leche Caf
Cigarrillos
Mascota

Con el enunciado 1, ubicamos a quien cumple con la nacionalidad y el color de la casa que faltaba
en la tabla. Se deduce entonces que la casa 1 es la de color amarillo, por lo que se puede aplicar el
enunciado 7. Con esta ltima referencia, es posible posteriormente incluir el enunciado 11
Casa 1 Casa 2 Casa 3 Casa 4 Casa 5
Nacionalidad Venezolano Boliviano
Color de Casa Amarilla Azul Roja Verde Blanca
Bebida Leche Caf
Cigarrillos Duntil
Mascota Caballo

Bajo estas caractersticas, el enunciado 15 nos permite ubicar a quien toma agua gracias a su
propiedad de cercana. Con el enunciado 12 se puede ubicar la casa restante a la que le falta
cigarrillo y la bebida (ambos datos). Con seguridad los siguientes enunciados a aplicar son 3 y 13.
Casa 1 Casa 2 Casa 3 Casa 4 Casa 5
Nacionalidad Venezolano Colombiano Boliviano Argentino
Color de Casa Amarilla Azul Roja Verde Blanca
Bebida Agua Te Leche Caf Cerveza
Cigarrillos Duntil Gols Print Blue
Mascota Caballo

Es posible ubicar la nacionalidad restante (enunciado 2). Tambin se puede ubicar el cigarrillo
restante (enunciado 6). Finalmente se puede ocupar el enunciado 10.
Casa 1 Casa 2 Casa 3 Casa 4 Casa 5
Nacionalidad Venezolano Colombiano Boliviano Argentino Peruano
Color de Casa Amarilla Azul Roja Verde Blanca
Bebida Agua Te Leche Caf Cerveza
Cigarrillos Duntil Gols Pamal Print Blue
Mascota Gato Caballo Canario

Perro
Por todo lo anterior se puede concluir que la persona que tiene la pecera en casa es el argentino.
Reproduzca el ejercicio anterior las veces necesarias hasta dominarlo
Resuelva los siguientes ejercicios propuestos:
1. Seis amigos desean pasar sus vacaciones juntos y deciden, cada dos, utilizar diferentes
medios de transporte; sabemos que Alejandro no utiliza el coche ya que ste acompaa a
Benito que no va en avin. Andrs viaja en avin. Si Carlos no va acompaado de Daro ni
hace uso del avin, es posible saber en qu medio de transporte llega a su destino Toms?

2. Armando, Basilio, Carlos y Dionisio fueron con sus mujeres a comer. En el restaurante, se
sentaron en una mesa redonda, de forma que:
Ninguna mujer se sentaba al lado de su marido.
Enfrente de Basilio se sentaba Dionisio.
A la derecha de la mujer de Basilio se sentaba Carlos.
No haba dos mujeres juntas.
Quin se sentaba entre Basilio y Armando?

1.2Traducciones

Proposicin es una frase que afirma o niega algo. Ejemplos:
(1) Todo pez es acutico (Categrica)
(2) Alguna ave es acutica (Categrica)
(3) Si x es un pez entonces x es acutico (Hipottica)
(4) X es un libro y x es caro (Conjuncin)
(5) X es mamfero o x es acutico (Disyuncin)
(6) No es cierto que x es un libro (Negacin)
(7) Para todo x, x es mamfero (Cuantificacin)
(8) Existe x tal que x es caro (Cuantificacin)

En las proposiciones (3)-(8) aparecen en negritas las componentes respectivas. La primera
componente de una hipottica, o condicional, se llama hiptesis, la segunda, tesis.
A continuacin, debajo de cada proposicin categrica aparece su traduccin analtica:
(a) Todo metal es pesado
(a) Para todo x, si x es metal entonces x es pesado

(b) Ningn metal es pesado
(b) Para todo x, si x es metal entonces x no es pesado
(c) Algn metal es pesado
(c) Existe x tal que x es metal y x no es pesado
(d) Algn metal no es pesado
(d) Existe x tal que x es metal y x no es pesado
(e) Todo cambia
(e) Para todo x, x cambia
(f) Nadie sabe
(f) Para todo x, x no sabe
(g) Algo pasa
(g) Existe x tal que x pasa
Ejercicios
1. Practique las siete traducciones anteriores, hasta dominarlas oralmente y por escrito,
incluyendo el uso de las comas.
2. Traduzca:

(a) Todo depende de y
(b) Todo socio depende de y
(c) Algo depende de y
(d) Algn socio depende de y
(e) x depende de todo
(f) x depende de todo socio
(g) x depende de algo
(h) x depende de algn socio
(i) Todo lo que depende de x depende de y
(j) x depende de todo lo que depende de y

3. Traduzca en dos etapas:
(a) Todo libro trata de algn tema
(b) Algn libro trata de todo tema
(c) Todo lo que trata de todo tema trata de y
(d) x trata de todo lo que trata de algn tema
(e) x trata de todo lo que trata de todo tema
Ejemplo:
(b) Algn libro trata de todo tema
(b) Existe x talque x es libro y x trata de todo tema
(b) Existe x tal que x es libro y, para todo z, si z es tema entonces x trata de z

1.3Negaciones

A continuacin, debajo de cada proposicin compuesta aparece su negacin en trminos de sus
componentes:
(a) Si x es hijo de y entonces x sabe latn
(a) x es hijo de y y x no sabe latn

(b) x juega y y estudia
(b) Si x juega entonces y no estudia

(c) x cumple o y recurre a z
(c) x no cumple y y no recurre a z

(d) x no es arquitecto
(d) x es arquitecto

(e) Para todo x, x depende de y
(e) Existe x talque x no depende de y

(f) Existe x talque x es hermano de y
(f) Para todo x, x no es hermano de y

Segn estos ejemplos, la negacin de una condicional es la conjuncin de la hiptesis y la negacin
de la tesis; la negacin de una conjuncin es la condicional que va de la primera componente a la
negacin de la segunda; la negacin de una disyuncin es la conjuncin de las negaciones de sus
componentes; la negacin de una negacin es la afirmacin de su componente; la negacin de una
cuantificacin universal es la cuantificacin existencial de la negacin de su componente; la
negacin de una cuantificacin existencial es la cuantificacin universal de la negacin de su
componente.
Ejercicios
1. Reproduzca las negaciones anteriores las veces necesarias hasta dominarlas
2. Traduzca y niegue:
(a) Todo termina en y
(b) Todo camino termina en y
(c) Algo termina en y
(d) Algn camino termina en y
(e) x termina en todo
(f) x termina en todo punto
(g) x termina en algo
(h) x termina en algn punto
(i) Todo lo que termina en x termina en y
(j) x termina en todo lo que termina en y

3. Compruebe la equivalencia entre (a
1
) y (a
2
), entre (b
1
) y (b
2
), y entre (c
1
) y (c
2
). Para ello
traduzca cada frase y niegue el resultado.

(a
1
) El que sabe no se contradice
(a
2
) El que se contradice no sabe

(b
1
) El que no juega hoy juega maana
(b
2
) El que no juega maana juega hoy

(c
1
) Lo que es mo es tuyo
(c
2
) Lo que no es tuyo no es mo

Aqu se sobre entiende que la palabra todo va antepuesta a cada frase.

4. Traduzca cada proposicin, y niegue el resultado:

(a) Para todo x, x es hermano de alguien.
(b) Existe x tal que x conoce a todos los que participan.
(c) Para todo x, existe y talque
Todo amigo de x es amigo de y.
(d) Existe x tal que, para todo y,
Algn amigo de x es amigo de y.
(e) Existe x tal que, para todo y,
x conoce a algn pariente de y.
5. Se pasa de una proposicin categrica a su contradictoria mediante el cuadro de oposicin:

Todo metal brilla Ningn metal brilla
Algn metal brilla Algn metal no brilla

Aqu cada flecha conduce de una proposicin a su negacin. Comprubelo sustituyendo
cada proposicin por su traduccin analtica.
1.4DefinicionesImplcitas

Definicin implcita de un trmino es una lista convencional de proposiciones, llamadas axiomas,
que contienen al trmino. Por ejemplo, como definicin implcita de los trminos veraz, mitmano,
y normal, adoptamos los siguientes axiomas:

I. Si x es veraz, y x dice que P, entonces P.
II. Si x es mitmano, y x dice que P, entonces no P.
III. Si x es veraz entonces x no es mitmano,
Si x es mitmano entonces x no es normal,
Si x es normal entonces x no es veraz.
IV. x es veraz o x es mitmano o x es normal.
Segn estos axiomas, el que es veraz siempre dice la verdad, el que es mitmano siempre miente, y
el que no es veraz ni mitmano es normal. Segn III, las categoras de veraz, mitmano y normal
se excluyen mutuamente. Segn IV, dicha categoras se complementan entre s.
Las definiciones implcitas son como las adivinanzas: no dicen lo que el objeto es, sino que
propiedades tiene. Toda definicin implcita obliga a interpretar los trminos de tal manera que
valgan los axiomas. Por eso se dice que los axiomas son vlidos por definicin.
Para evitar discusiones vanas, los diferentes giros de cualquier axioma se admiten tambin como
axiomas. Se le llama giro de P a cualquier proposicin cuya negacin coincide con la negacin de
P.

Ejercicios:
1. Debajo de cada axioma del grupo III, se escribe su giro:
(a) Si x es veraz entonces x no es mitmano
(a) Si x es mitmano entonces x no es veraz
(b) Si x es mitmano entonces x no es normal
(b) Si x es normal entonces x no es mitmano
(c) Si x es normal entonces x no es veraz
(c) Si x es veraz entonces x no es normal

Reproduzca estas proposiciones. Compruebe oralmente que sus negaciones coinciden, salvo
el orden de las palabras.
2. Debajo del axioma IV, se escriben dos de sus giros:

(a) x es veraz o x es mitmano o x es normal
(a) Si x no es veraz entonces x es mitmano o x es normal
(a) Si x no es veraz y x no es mitmano entonces x es normal

Reproduzca estas proposiciones. Compruebe oralmente que tienen la misma negacin.
3. Como definicin implcita del trmino hermano se tienen los axiomas siguientes:

(i) x no es hermano de x
(ii) Si x es hermano de y
Entonces existe z tal que x es hijo de z y y es hijo de z.
(iii) Si x es hijo de t y y es hijo de t
Entonces x es hermano de y, o x es y.

Reproduzca estos axiomas.

1.5Tautologas

(1) Si x es rumiante entonces x es mamfero.
(2) Si x es rumiante entonces x es rumiante.
De estas proposiciones, la primera es vlida por su contenido, la segunda es vlida por su forma.
La primera aporta informacin acerca de los rumiantes. La segunda no aporta informacin alguna.

Las proposiciones que son vlidas por su forma se llaman tautologas. Aunque tales proposiciones
no aportan informacin, son tiles al inferir, como se ver despus.
He aqu otros ejemplos:
(3) Si x depende de y, y y trabaja, entonces x depende de y.
(4) Si x llega hoy entonces x llega hoy o x llega maana
Estas dos tautologas se llaman descendentes: descendente de la conjuncin a la parte, y
descendente de la parte a la disyuncin, respectivamente.
Al negar una proposicin categrica universal se forman dos tautologas como las siguientes:
(5) Si no todo metal brilla entonces algn metal no brilla.
(6) Si algn metal no brilla entonces no todo metal brilla.
Estas dos condicionales con tautologas porque no aportan informacin sobre lo que es metal ni
sobre lo que es brillar. Las llamaremos tautologas por oposicin ya que provienen del cuadro del
mismo nombre.
Ejercicios:
1. Muchas inferencias se basan en tautologas descendentes del tipo de las que siguen:
(a) Si, para todo x, x depende de y,
entonces s depende de y.

Descendente de lo general a lo particular: lo que la hiptesis dice de todo x la tesis lo dice
de todo s. Qu dice la hiptesis de todo x? Dice que x depende de y.

(b) Si x es metal y x pesa
Entonces existe y tal que
y es metal y y pesa
Descendente de lo especfico a lo inespecfico: lo que la hiptesis dice de x la tesis lo dice
de algn y, sin especificar. Qu dice la tesis de algn y? Dice que y es metal y y pesa
(c) Si, para todo t, si x vota por t entonces t pierde,
Entonces, si x vota por x entonces x pierde.
Descendente de lo general a lo particular: lo que la hiptesis dice de todo t la tesis lo dice
de x. Qu dice la hiptesis de todo t? Dice que si x vota por t entonces t pierde.
Reproduzca estos tres ejemplos conservando la colocacin de las frases que se repiten, una
debajo de la otra, e incluyendo las explicaciones que se dan. Practique oralmente estas
explicaciones hasta dominarlas.
2. Otras inferencias se basan en los silogismos hipotticos, que son tautologas construidas a
partir de los siguientes esquemas, donde P,Q,R representan proposiciones cualesquiera, y el
smbolo ~significa negacin:
Si, si P entonces Q,
Y si P,
Entonces Q.

Modus ponendo ponens
Si, si P entonces Q,
Y si, ~Q,
Entonces ~P
Modus tollendo tollens
Si, si P entonces Q,
Y si , si ~P entonces Q,
Entonces Q
Reduccin por casos
Si, si P entonces Q,
Y si, si P entonces ~Q,
Entonces ~P

Reduccin por contradiccin.
Si, si P entonces Q ,
Y si, si Q entonces R,
Entonces, si P entonces R
Transitividad

Reproduzca estos esquemas, sin el modelo a la vista, guindose por el nombre.
3. Tambin se utilizar el silogismo disyuntivo:

Si P o Q,
Y si ~P,
Entonces Q
Modus tollendo ponens

Reproduzca este esquema, guindose por el nombre.

1.6Deducciones

Deduccin de P a partir de H es una cadena de proposiciones P
1
, P
2
,, P
n
, llamadas pasos, tales
que P
n
es P, y cada paso es un resultado conocido, o es H, o se infiere de pasos anteriores mediante
algn resultado conocido.

Resultado conocido es toda proposicin cuya validez se ha demostrado antes, o que es un axioma o
tautologa.

Toda deduccin de P a partir de H es una demostracin directa de la condicional Si H entonces P.
Ejemplo:

Si x es hermano de todo hermano de y entonces x no es hermano de y.

Demostracin:

(1) X es hno de todo hno de y Hpt
(2) Para todo z, si z es hno de y entonces x es hno de z (1)
(3) Si x es hno de y entonces x es hno de x (2)
(4) X no es hno de x Def.
(5) X no es hno de y (3) (4)

A la derecha de cada paso aparece su registro: Hpt si es la hiptesis, (1) si se infiere del paso (1),
Def si vale por definicin, (3) (4) si se infiere de los pasos (3) (4).

La inferencia de (1) a (2) se basa en la condicional

Si x es hno de todo hno de y
entonces, para todo z, si z es hno de y entonces x es hno de z
Vlida por traduccin

La inferencia de (2) a (3) se basa en:

Si, para todo z, si z es hno de y entonces x es hno de z,
entonces, si x es hno de y entonces x es hno de x
Descendente de lo general a lo particular

La inferencia (3) y (4) a (5) se basa en:

Si, si x es hno de y entonces x es hno dex,
y si x no es hno de x,
entonces x no es hno de y
Tollendo tollens

El ejemplo anterior surge, por analoga, de aquel que dice que si x es menor que todo positivo
entonces x no es positivo, resultado numrico de uso comn en anlisis matemtico.

Ejercicios
1. Reproduzca la demostracin anterior y analice las inferencias, tal como se hace ah.
2. Es posible que x sea hermano de todo hermano de y? Si, cuando el padre de x se casa con
la madre de y, y de ese matrimonio nacen todos los hermanos que tiene y. Cite otro ejemplo.
3. Si x es hermano de y entonces no todo hermano dey es hermano de x:

(1) X es hno dey Hpt
(2) X no es hno de x Axioma
(3) X es hno de y y x no es hno de x (1)(2)
(4) Existe z tal que z es hno de y y z no es hno de x (3)
(5) Algn hno de y no es hno de x (4)
(6) No todo hno de y es hno de x (5)

Reproduzca est demostracin y analice las inferencias.

4. Si todo hermano de y es hermano de x entonces x no es hermano de y.

Este es un giro de la condicional del ejercicio 3. Demuestre directamente este giro y analice
las inferencias.

5. Si x paga por todos, y slo y paga por x, entonces x es y:

(1) X paga por todos,, y slo y paga por x Hpt
(2) X paga por todos (1)
(3) Para todo z, x paga por z (2)
(4) X paga por x (3)
(5) Slo y paga por x (1)
(6) Para todo z, si z paga por x entonces z es y (5)
(7) Si x paga por x entonces x es y (6)
(8) X paga por x (4)
(9) X es y (7)(8)

Reproduzca esta demostracin y analice las inferencias

6. Si todos pagan por x, y x slo paga por y, entonces x es y:

(1) Todos pagan por x Hpt
(2) Para todo z, z paga por x (1)
(3) X paga por x (2)
(4) X slo paga por y Hpt
(5) Para todo z, si x paga por z entonces z es y (4)
(6) Si x paga por x entonces x es y (5)
(7) X es y (6) (3)

Esta demostracin se diferencia de la anterior en que no se registra toda la hiptesis, sino
las partes de ella que se van necesitando. Reprodzcala y analice las inferencias.

Slo con base en interrogatorios, alternados con frecuentes exmenes, lograr el alumno
dominar estos cinco ejemplos.


1.7ReduccinalAbsurdo

El mtodo de demostracin por reduccin al absurdo, Ilamado tambin mtodo indirecto,
consiste en suponer lo contrario de lo que se quiere demostrar, y deducir de ah una contradiccin.
Por ejemplo, para demostrar P, por reduccin al absurdo, se parte de su negacin ~P, y se deduce
de ella dos proposiciones contradictorias Q,~Q. Al hacer esto, quedan demostradas las
condicionales

Si ~P entonces Q Si ~P entonces ~Q
de Ias cuales se desprende P, por contradiccin.
Ejemplo:

A dice que B es mitmano. B dice que A es veraz. Demuestre que A no es veraz, y que si A es
mitmano entonces B es normal.

A no es veraz.
Demostracin indirecta:

(1) A es veraz ~
(2) A dice que B es mitmano Dato
(3) B es mitmano (1)(2)
(4) B dice que A es veraz Dato
(5) A no es veraz (3)(4)
Contradiccin (1)(5)

Los datos son vlidos por definicin, es decir, son axiomas.
La inferencia de (1) y (2) a (3) se basa en:

Si A es veraz, y A dice que B es mitmano,
Entonces B es mitmano.

Axioma I

Si A es mitmano entonces B es normal:

(1) A es mitmano y B no es normal ~
(2) A es mitmano (1)
(3) A dice que B es mitmano Dato
(4) B no es mitmano (2)(3)
(5) B no normal (1)
(6) B es veraz (4)(5)
(7) B dice que A es veraz Dato
(8) A es veraz (6)(7)
(9) A no es mitmano (8)
Contradiccin (2)(9)

La inferencia de (4) y (5) a (6) se basa en:

Si B no es mitmano y B no es normal
Entonces B es veraz
Axioma IV, girado

Ejercicios

1. Reproduzca las demostraciones anteriores y analice las inferencias. Demuestre tambin que
B no es veraz, y que si B es mitmano entonces A es normal.

2. A dice que B es mitmano. B dice que A no es mitmano. Demuestre que B no es
mitmano, y que si B es veraz entonces A es normal. Demuestre tambin que A no es veraz,
y que si A es mitmano entonces B es normal. Analice las inferencias.

3. A dice que B es normal. B dice que A no es normal. Demuestre que si A es mitmano
entonces B es veraz. y recprocamente, que si B es veraz entonces A es mitmano. Analice.
4. A dice que B es mitmano. B dice que C es mitmano. C dice que A no es veraz.
Demuestre que si A es mitmano entonces B es normal, y que si A es veraz entonces C es
normal; que B no es veraz y que C no es mitmano.

1.8DemostracionesDirectas

Todas las proposiciones que se han demostrado por reduccin al absurdo son susceptibles de
demostraciones directas. Ejemplos:

A dice que B es mitmano. B dice que C es mitmano.
C dice que A es mitmano.

Si A es mitmano entonces B es normal:

(1) A es mitmano Hpt
(2) A dice que B es mitmano Dato
(3) B no es mitmano (1)(2)
(4) C dice que A es mitmano Dato
(5) A es mitmano (1)
(6) C no es mitmano (4)(5)
(7) B dice que C es mitmano Dato
(8) B no es veraz (6)(7)
(9) B es normal (3)(8)

La inferencia de (6) y (7) a (8) se basa en:


Si C no es mitmano, y B dice que C es mitmano, entonces B no es veraz, es decir,

si B es veraz, y B dice que C es mitmano, entonces C es mitmano
Axioma 1

Para lograr este giro de la condicional, se ha procedido por contraposicin, que consiste en pasar
una componente de un lado de la condicional al otro, cambindola por su negacin.


Si A es veraz entonces C es normal:

(1) A es veraz Hpt
(2) A dice que B es mitmano Dato
(3) B es mitmano (1)(2)
(4) B dice que C es mitmano Dato
(5) C no es mitmano (3)(4)
(6) C dice que A es mitmano Dato
(7) A no es mitmano (1)
(8) C no es veraz (6)(7)
(9) C es normal (5)(8)

En ambas demostraciones se parte de la hiptesis, y en seguida se escribe lo que dice A. Se
prosigue en la forma acostumbrada hasta agotar esa lnea. Entonces se regresa a la hiptesis,
escribiendo lo que dice de A.

Ejercicios

1. Reproduzca las demostraciones anteriores y analice las inferencias.

2. A dice que B es normal. B dice que A no es normal. Demuestre directamente que si A es
mitmano entonces B es veraz, y recprocamente, que si B es veraz entonces A es
mitmano. Analice las inferencias.

3. A dice que B es mitmano. B dice que A es veraz. Para demostrar directamente que A no es
veraz, se ve primero que se dice de A. Eso sugiere considerar dos casos, segn que B sea
mitmano o no. Se procede como sigue, demostrando sobre la marcha los pasos (1) y (2):

(1) Si B es mitmano entonces A no es veraz:
(a) B es un mitmano Hpt de (1)
(b) B dice que A es veraz Dato
(c) A no es veraz (a)(b)

(2) Si B no es mitmano entonces A no es veraz:
(a) B no es mitmano Hpt de (2)
(b) A dice que B es mitmano Dato
(c) A no es veraz (a)(b)

(3) A no es veraz (1)(2). Por casos


Reproduzca esta demostracin


4. Nuevamente, A dice que B es mitmano, B dice que A es veraz. Demuestre directamente
que B no es veraz. Proceda por casos, en funcin de lo que se dice de B.























Captulo2.ModeladodedatosusandoelmodeloEntidadRelacin
(ER)

2.1ElmodeloEntidadRelacin

El primer paso en el diseo de una base de datos es acercarse con el modelo conceptual del mini-
mundo. El propsito del modelo conceptual es representar el mini-mundo en una forma metafrica
a la computadora. La motivacin es separar los conceptos de la aplicacin de los detalles de la
implementacin. Existen muchas herramientas de diseo disponibles para modelar datos
conceptuales, pero el modelo ER es una de las ms populares. El modelo ER integra de manera
uniforme con el modelo de datos relacional, el cual es uno de los modelos lgicos ms prevalente.
A continuacin se modela el ejemplo Parque Estatal usando el modelo ER.
Un parque estatal consiste de bosques los cuales son una coleccin de bosque fijo que corresponden
a diferentes especies de rboles. Un parque estatal es accedido por caminos y tiene un
administrador. Existen estaciones de bomberos dentro de un parque estatal las cuales son
exclusivamente responsables de monitorear y administrar incendios en el parque estatal. El parque
estatal tambin est dotado con instalaciones tales como grupos de campamento y oficinas.
Finalmente, existen ros los cuales pasan a travs del parque estatal y proporcionan tambin de agua
a las diferentes instalaciones.
Entidades y Atributos
En el modelo ER, el mini-mundo es particionado dentro de entidades las cuales son caracterizadas
por atributos e inter-relacionadas va relaciones. Las entidades son cosas u objetos que tienen una
existencia fsica o conceptual independiente. En el ejemplo del Parque Estatal, BOSQUE, RIO,
BOSQUE-FIJ O, CAMINO y ESTACION DE BOMBERO son ejemplos de entidades.
Las entidades son caracterizadas por atributos. Por ejemplo, nombre es un atributo de la entidad
BOSQUE. Un atributo (a un conjunto de atributos) que identifica de forma nica instancias de la
entidad es llamado la llave. En el ejemplo el atributo nombre de la entidad CAMINO es una llave,
considerando que no es posible que dos caminos diferentes tengan el mismo nombre. Todas las
instancias de CAMINO en el ejemplo de la base de datos tienen nombres nicos.
Los atributos pueden ser de un solo valor o multi-valuados. Especies es un atributo de un solo valor
de BOSQUE-FIJO. La entidad INSTALACION tiene un atributo puntoID, el cual es una
identificacin nica para la ubicacin espacial de instancias de la entidad. Se asume que el mapa de
escala predice instancias de INSTALACION para ser representadas como puntos. Es posible que
una instalacin dada abarque dos ubicaciones de punto distintas, en tal caso el atributo puntoID es
multi-valuado. Un argumento similar se considera para otras entidades.
Suponga que se quiere almacenar informacin acerca de la elevacin de un BOSQUE. Debido a que
la elevacin puede cambiar de valores dentro de la entidad BOSQUE, se modela como un atributo
multi-valuado.
Relaciones
Adems de las entidades y los atributos, el tercer constructor en el modelo ER es la relacin. Las
entidades interactan o se conectan entre ellas por medio de relaciones. Aunque muchas entidades
pueden participar en una relacin dada, solo se tratarn relaciones binarias, es decir, aquellas entre
dos entidades. Existen tres tipos de relaciones basadas en restricciones de cardinalidad: uno-uno,
muchos-uno, y muchos-muchos.
Uno-Uno (1:1)
En una relacin uno-uno, cada instancia de una entidad puede relacionarse con solo una instancia de
la otra entidad participante. Por ejemplo, la relacin administra entre las entidades
ADMINISTRADOR Y BOSQUE es una relacin uno-uno; un BOSQUE solo puede tener un
ADMINISTRADOR, y un ADMINISTRADOR solo puede administrar un BOSQUE.
Muchos-Uno (M:1)
Una relacin muchos-uno puede potencialmente conectar muchas instancias de una entidad con una
instancia de la otra entidad participante en la relacin. Pertenece-a es una relacin muchos-uno
entre las entidades INSTALACION y BOSQUE, considerando que cada instalacin pertenece a
solo un bosque pero muchas instalaciones pueden pertenecer a un bosque.
Muchos-Muchos (M:N)
Algunas veces muchas instancias de una entidad pueden estar relacionadas a muchas instancias de
otra entidad participante. La relacin proporciona_agua_a la cual conecta las entidades RIO e
INSTALACION es de este tipo. Algunas veces las relaciones pueden tambin tener atributos.
Proporciona_agua_a tiene un atributo volumen el cual mantiene el registro de la cantidad de agua
proporcionada por un ro a la instalacin.
Diagrama ER
Asociado con el modelo ER esta el diagrama ER, el cual da una representacin grfica a el modelo
conceptual. En el diagrama ER, las entidades son representadas como cajas, los atributos como
ovalos conectados a las cajas con lneas rectas, y las relaciones como rombos. La cardinalidad de la
relacin, si es 1:1, M:1, o M:N, es mostrada alrededor de los rombos. El atributo llave es subrayado,
y los atributos multi-valuados son representados como doble ovalos. El diagrama ER del ejemplo
parque estatal es mostrado en la figura 1. Existen siete entidades, llamadas, BOSQUE-FIJ O, RIO,
CAMINO, INSTALACION, BOSQUE, ESTACION-BOMBERO, y ADMINISTRADOR. Los
atributos de la entidad BOSQUE incluyen nombre, elevacin y polgono. Nombre es un
identificador nico, es decir, cada bosque tiene un nombre nico. El diagrama tambin muestra
ocho relaciones. La entidad BOSQUE participa en seis relaciones. La entidad ESTACION-
BOMBERO participa en solo una relacin, llamada, monitorea. Las restricciones de cardinalidad
muestran que cada estacin de bombero monitorea un bosque, pero muchas estaciones de bombero
pueden monitorear un bosque.

Figura 1. Un diagrama ER para el ejemplo de Parque-Estatal.

2.2ElModeloRelacional

El modelo relacional para representar datos fue introducido por Codd en 1970. Desde entonces, ha
llegado a ser uno de los ms populares modelos de datos lgico. La popularidad y poder de este
modelo es una consecuencia de la simplicidad de su estructura. A continuacin se explica la
terminologa del modelo relacional en el contexto del ejemplo parque estatal. Suponga que se
quieren organizar los datos disponibles de todos los bosques en los parques estatales. Entonces se
debe organizar la informacin en la forma de una tabla, llamada Bosque, y una lista del arreglo de la
informacin disponible en columnas. Para la tabla Bosque, los datos asociados consisten de tres
cosas: el Nombre del Bosque, su Elevacin, y su Geometra espacial.
La tabla es llamada una relacin, y las columnas, atributos. Cada diferente instancia del Bosque
ser identificada con una fila en la tabla. Una fila es llamada una tupla, y el orden en el cual las filas
y columnas aparecen en la tabla no es importante. As una relacin es una coleccin no ordenada de
tuplas. Los nombres de columnas y tabla constituyen juntos el esquema de relacin, y una coleccin
de filas o tuplas es llamada una instancia relacional. El nmero de columnas es llamado el grado de
la relacin. El Bosque es una relacin de grado tres. Similarmente, acerca de los datos, por ejemplo,
los diferentes bosques fijos y ros pueden ser organizados en tablas separadas.
Cules son los valores permitidos de los atributos? En aplicaciones de base de datos tradicionales
los tipos de datos de los atributos, llamados dominios, son limitados, consisten de enteros, flotantes,
cadenas de caracteres, fechas, unos otros pocos dominios. Sin embargo, no existe provisin para
tipos de datos definidos por el usuario. En la tabla Bosque, el atributo nombre se ajusta sin
problema dentro de este conjunto limitado pero elevacin y geometra no lo hacen. Esta es una de
las razones del porque la tecnologa tradicional de base de datos relacional es difcil para cumplir
requerimientos de bases de datos espaciales.
Ciertas restricciones sobre el esquema relacional deben ser mantenidas para asegurar la consistencia
lgica de los datos. Estas son las restricciones de llave, integridad de entidad, e integridad
referencial. La restriccin de llave especifica que cada relacin debe tener una llave primaria. Una
llave es un subconjunto de los atributos de la relacin cuyos valores son nicos a travs de las tuplas
de la relacin. Pueden existir muchas llaves en la relacin, y aquella que es usada para identificar a
las tuplas en la relacin es llamada la llave primaria. La restriccin de integridad de entidad
establece que la llave primaria no puede ser nula. Esta restriccin es obvia; debe ser imposible
identificar de forma nica las tuplas con un valor nulo para su llave primaria. Lgicamente las
relaciones consistentes entre las diferentes relaciones son mantenidas por medio de la ejecucin de
las restricciones de integridad referencial. Para explicar el mecanismo de la integridad referencial,
primero se describe la nocin de una llave fornea. Una llave fornea es un conjunto de atributos en
una relacin la cual esta duplicada en otra relacin. La restriccin de integridad referencial estipula
que el valor de los atributos de una llave fornea debe aparecer como un valor en la llave primaria
de otra relacin o debe ser nulo. As una relacin refiere a otra relacin si contiene llaves forneas.
Mapeo del Modelo ER al Modelo Relacional
Existen seis pasos bsicos:
1. Mapear cada entidad en una relacin separada. Los atributos de la entidad son mapeados
dentro de los atributos de la relacin. Similarmente, la llave de la entidad es la llave
primaria de la relacin. El esquema relacional para el diagrama ER de la figura 1 es
mostrado en la figura 2.
2. Para relaciones cuya cardinalidad es 1:1, se ubica el atributo llave de alguna de las
entidades como una llave fornea en la otra relacin. Por ejemplo, la relacin
Administrador tiene un atributo de llave fornea que corresponde a la llave primaria, el
nombre, del Bosque.
3. Si la cardinalidad de la relacin es M:1, entonces ubicar la llave primaria del lado uno(1) de
la relacin como una llave fornea en la relacin del lado mucho(M). Por ejemplo, la
relacin Estacin-Bombero tiene una llave fornea la cual es la llave primaria de la relacin
Bosque.
4. Las relaciones con la cardinalidad M:N tienen que ser manejadas de una forma distinta.
Cada relacin M:N es mapeada dentro de una nueva relacin. El nombre de la relacin es el
nombre de la relacin, y la llave primaria de la relacin consiste del par de llaves primarias
de las entidades participantes. Si la relacin tiene algunos atributos entonces estos se
convierten en atributos de la nueva relacin. Proporciona_Agua_a es un ejemplo de una
relacin M:N entre las entidades Instalacin y Ro. El nombre del ro y el nombre de la
instalacin constituyen la llave primaria, y el atributo volumen llega a ser un atributo en la
nueva tabla.
Bosque-Fijo Bfijo-Geom
Fijo-id Especies Bosque-
nombre
Fijo-id Poligonoid
(Entero) (varchar) (varchar) (Entero) (Entero)

Ro Ro-Geom
Nombre Longitud Nombre Lneaid
(varchar) (Real) (Entero) (Entero)

Camino Camino-Geom
Nombre NumdeLineas Cnombre Lineaid
(varchar) (Entero) (varchar) (Entero)

Instalacin Instalacin-Geom
Nombre Bosque-
nombre
Bosque-
nombre-2
Nombre Puntoid
(varchar) (varchar) (varchar) (varchar) (Entero)

Bosque Bosque-Geom
Nombre Nombre Poligonoid
(varchar) (varchar) (Entero)

Estacin-Bombero Estacin-Geom
Nombre Alias Nombre Puntoid
(varchar) (varchar) (varchar) (Entero)

Proporciona_agua_a Camino-Acceso-Bosque
InstNombre RoNombre Volumen CaminoNombre Alias
(varchar) (varchar) (Real) (varchar) (varchar)

Administrador
Nombre Edad Genero Alias
(varchar) (Entero) (varchar) (varchar)

Figura 2. Esquema Relacional para el ejemplo de Parque-Estatal

5. Para un atributo multi-valuado, una nueva relacin es creada conteniendo dos columnas:
una corresponde al atributo multi-valuado y la otra corresponde a la llave de la entidad que
posee el atributo multi-valuado. J untos el atributo multi-valuado y la llave de la entidad
constituyen la llave primaria de la nueva relacin. Por ejemplo, la entidad bosque-fijo tiene
un atributo multi-valuado polgonoID el cual es un nmero de identificacin (entero) para
la ubicacin geomtrica de la ciudad. Puntoid es un atributo multi-valuado porque un
bosque-fijo puede estar en dos ubicaciones disjuntas (es decir, un camino puede atravesar a
travs de un bosque fijo). Por lo tanto se tiene la relacin Bfijo-Geom. Similarmente se
tienen las relaciones Bosque-Geom, Rio-Geom, Camino-Geom, Instalacion-Geom, y
EBombero.
6. El atributo elevacin necesita ser manejado en una forma diferente. Primero, como se ha
indicado, elevacin es un atributo multi-valuado. Por lo tanto claramente se necesita una
nueva relacin llamada, Elevacin. Los atributos de esta nueva relacin son
Bosque_Nombre, Elevacin, y PuntoId como se muestra en la figura 3. El atributo
elevacin captura la altura del bosque en la ubicacin puntoId. En esta tabla los tres
atributos constituyen la llave primaria.

Polgono Lnea
Poligonoid Seq-no Puntoid Lineaid Seq-no Puntoid
(Entero) (Entero) (Entero) (Entero) (Entero) (Entero)

Punto Elevacin
Puntoid Latitud Longitud Bosque-
nombre
Puntoid Elevacin
(Entero) (Real) (Real) (varchar) (Entero) (Real)


Figura 3. Esquema para punto, lnea, polgono, y elevacin.