http://cesimo.ing.ula.

ve

A
i

Universidad de Los Andes

1/40

Unidad 2: Introduccin a la matemtica o a discreta

Jacinto Dvila a mailto:jacinto@ula.ve

LO GI C

< >

Centro de Simulacin y Modelos (CESIMO) o

UL

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 2 o

A
A diferencia de las otras unidades, en esta tocamos mas de un tema separable: 1. Induccin matemtica: Deduccin en matemticas. o a o a 2. Nociones elementales de latises y algebras y su relacin con las estructuras o de signicados en lgica. o 3. Elementos de la teor de grafos en lgica. a o

2/40

LO GI C

< >

UL

i P

A
i

Induccin matemtica o a

3/40

El mtodo de induccin matemtica se aplica cuando: e o a 1. sabemos la respuesta al principio.

2. sabemos cmo determinar la respuesta en una etapa a partir de la respuesta o en la etapa anterior, y 3. tenemos una expectativa (una idea) de la respuesta general.
< >

UL

LO GI C

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 4 o

Versin elemental del principio de induccin matemtica o o a

Consideremos una lista p(1), p(2), ... de proposiciones con ndices en P. Todas estas proposiciones son ciertas si: B) p(1).

4/40

I) (N P)(p(N + 1) p(N ))

Observe que el principio de induccin NO es una prueba de que p(N) sea cierta o para toda N. El principio dice que si B) e I) son verdaderas, entonces las p(N) lo son. Precisamente la deduccin que todas las p(N) son ciertas es lo que uno obtiene al o aplicar el principio.

LO GI C

< >

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 5 o

El principio de induccin matemtica es deductivo!! o a

p(1) N (p(N + 1) p(N )) N (p(N ))

5/40

Esta conclusin es deducida, no inducida!!. o

As termina una demostracin por el principio de induccin matemtica: o o a ... entonces p(N+1) es verdadera siempre que p(N) lo sea. As que, por el principio de induccin matemtica podemos concluir p(N) es verdadera para o a toda N.

LO GI C

< >

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 6 o

Primer forma del principio de induccin matemtica o a

(B) p(m)

6/40

(I) (N m)(p(N + 1) p(N )) (N m)(p(N ))

Segunda forma del principio de induccin matemtica o a

< >

(B) p(m), ..., p(m + l)

(N m)(p(N ))

UL

(I) (N m)(p(N ) p(m) ... p(N 1))

LO GI C

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 7 o

Principio del buen orden

A
i

7/40

Principio del buen orden: todo subconjunto no vac de los naturales N o tiene elemento m nimo. Esta propiedad no es una consecuencia de las reglas aritmticas de N. e El principio del buen orden implica que:

Dado m Z, todo subconjunto no vac de {n Z : n m} tiene elemento o m nimo. El principio del buen orden es usado para probar la validez de los principios de induccin matemtica. o a

LO GI C

< >

UL

Un ejemplo de induccin matemtica o a

Teorema LM2-1: Todo nmero entero mayor o igual que 2 (N 2) puede u escribirse como el producto de otros numeros primos. Prueba: Sea p(N) la proposicin: N es el producto de primos. o B) Dado que el 2 es primo tenemos p(2) (puesto que 2 = 2 1). I) Veamos que ocurre con N > 2. Supongamos que p(K) es cierto para todo K mayor o igual que 2 y menor que N. Con esta suposicin tratemos de probar que o p(N) es verdadero. Si N es primo, p(N) es directamente cierta de la misma forma que B). Si N no es primo, se le puede escribir como el producto de dos nmeros, J y W, u mayores que 1. Pero esto implica que J y W son ambos mayores o iguales que 2 y estrictamente menores que N. Es decir que, en virtud de la suposicin que o hicimos en esta parte, ambos son productos de primos. Pero entonces, N que es igual a J*W, es tambin producto de primos (Fin de la e prueba).
< >

8/40

UL

LO GI C

i P

Conjuntos parcialmente ordenados

9/40

En muchos conjuntos que surgen naturalmente, sabemos cmo comparar algunos o elementos con otros, pero tambin hay parejas que no son comparables. e

Podemos comparar dos subconjuntos de un conjunto S (es decir, 2 elementos de P(S)) si uno est contenido en el otro. Si S tiene ms de un elemento entonces a a tiene subconjuntos incomparables.

LO GI C

< >

UL

Si s1 S y s2 S, entonces los conjuntos {s1 } y {s2 } no son comparables (si es la inclusin estricta). o

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 10 o

La denicin de los conjuntos parcialmente ordenados. o

Aquellos en los cuales las relaciones de comparacin permiten pares de elementos o que no son comparables. Sea una relacin sobre el conjunto S tal que < x, y > si < x, y > S S y o x est relacionada con y (que se escribe precisamente x y). a La relacin o es un orden parcial si satisface lo siguiente: s)

10/40

Ley reexiva: s(s S s Ley antisimtrica: s, t(s e Ley transitiva: s, t, u(s

LO GI C

< >

tt

s s = t) u)

Ejercicio: Construya conjuntos parcialmente ordenados, si es posible, con las relaciones subconjunto de, mltiplo de, amigo de, es un, es parte de u y es causa de.

UL

Decimos que es un orden parcial en S y (S, ) es un conjunto parcialmente ordenado o copo (poset).
i P ?

tt

us

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 11 o

A
Orden parcial estricto
Sea denida como: x La relacin o satisface la:

11/40

LO GI C
yx yx=y

Ley antirreexiva: s S(s dice?) Ley transitiva: s, t, u(s

s f also) (atencin con esta frmula Qu o o e

< >

UL

tt

us

u)

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 12 o

Los diagramas de Hasse

A
(en S) si u t)

12/40

La relacin cubre a y los diagramas de Hasse. o t cubre a s en un orden parcial s t u(s

Un diagrama de Hasse del copo (S, ) es un grafo cuyos vrtices son los elementos de S y hay una arista de s a t e siempre que t cubre a s. Los diagramas generalmente se dibujan de abajo hacia arriba.
< >

UL

LO GI C

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 13 o

C spide y base en un diagrama de Hasse. u

Si (P, ) es un copo, x P es maximal si no existe y P , tal que x Si (P, ) es un copo, x P es minimal si no existe y P , tal que y

13/40

LO GI C

y. x.

Un subcopo de P es un subconjunto del copo P que hereda el orden parcial de P y el mismo es un copo.

< >

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 14 o

Elementos mayores y menores.

A
M ) entonces

14/40

Si S es un subcopo de (P, ) y existe M tal que s S(s M = max(S) y M es el mayor elemento de S. y

si existe un m S tal que s S(m m = min(S).

LO GI C

s) entonces m es el m nimo de S y

< >

A lo sumo hay un M y un m, Por qu?. e

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 15 o

Cotas superiores (Upper bounds)

15/40

A pesar de que no exista un mximo para el subcopo S de (P, ) puede existir a un x P tal que s S(s x). x es la cota superior (upper bound) para S en P. Si, adems, x y para toda y que es cota superior de S en P, entonces x es una a m nima cota superior (least upper bound) mcs de S en P. o
< >

UL

LO GI C

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 16 o

Cotas inferiores (lower bounds)

A
s, para toda s S,

16/40

En forma similar a la lmina anterior, un z P tal que z a es una cota inferior (lower bound) para S en P.

Y, una cota inferior z tal que w z, para toda w que sea cota inferior para S en P es una mxima cota inferior (greatest lower bound) mci de S en P. a o
< >

Por antisimetr un subconjunto de P no puede tener 2 m a, nimas cotas superiores o 2 mximas cotas superiores. a

UL

LO GI C

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 17 o

Latises reticulados (lattices) o

17/40

Un copo (P, ) es una lat si mcs{x, y} y mci{x, y} existen para todo par x P , s y P. Si (P, ) es una lat entonces para todos x P , y P s x y = mcs{x, y} y x y = mci{x, y}

LO GI C

< >

y se interpretan como la unin e interseccin respectivamente en esta lmina. o o a Actividad: Demuestre por induccin que todo subconjunto nito de o una lat tiene mcs y mci. s

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 18 o

Latises para qu? e

A LO GI C

18/40

Latises o reticulados ( lattices) y las interpretaciones de programas. Considere el programa lgico siguiente: o masculino(adan). femenino(eva).

y el reticulado (latis) en la lmina siguiente: a

< >

UL

Este lat contiene TODAS las interpretaciones posibles del programa s anterior. Actividad: Indique cules son MODELOS. a
i P ?

Actividad: Complete el diagrama de Hasse (observe que est orientado a de izquierda a derecha).

 m(a), f (e), m(e), f (a)

m(a)

m(a), f (e) f (e)

19/40

m(a), f (e), m(e)

m(a), f (e), f (a)

LO GI C

m(a), m(e)

m(a), f (a)

f (e), f (a)

< >

f (e), m(e), f (a)

f (e), m(e) f (a)

UL

m(a), m(e), f (a) m(e), f (a) m(e)

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 20 o

Ordenes especiales

A LO GI C

20/40

Un rbol puede considerarse un diagrama de Hasse en el que mcs{x, y} existe a para cada par < x, y >, pero mci{x, y} existe slo si x y y x. o o Una cadena es un copo en el cual siempre se puede comparar a los elementos por pares.
< >

Un orden parcial es un orden total o lineal si para cada eleccin de s y t en S o o bien s t o t s. Una cadena es un conjunto totalmente ordenado. Todo subcopo de una cadena es, a su vez, una cadena.

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 21 o

Relaciones de equivalencia

21/40

La relacin ( ) se dice relacin de equivalencia si satisface: o o o (R) s S(s s). (S) s, t S(s t t s)

(T) s, t, u S(s t t u s u)

UL

las reglas anteriores son condiciones que debe satisfacer una relacin para que se o considerada de equivalente. Sin embargo, esa no es la denicin de la relacin. o o Para construir, por ejemplo, la denicin de equivalencia lgica uno tendr que o o a escribir frmulas como las siguientes: o

LO GI C

< >

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 22 o

A LO GI C A

22/40

1. (A cierto) A

2. (A B) C (A C) (B C)

3. (H (A B) C) (H A C) (H B C)

Actividad: Agrega por lo menos dos frmulas ms a esta lista y cono a struye un programa PROLOG que compute la relacin de equivalencia o

< >

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 23 o

Clases de equivalencias

23/40

Consideremos una relacin de equivalencia en un conjunto S: o s S([s] = {t S : s t})

Sea S un conjunto de camisas (no todos llamamos canicas a las canicas). Decimos que dos camisas s y t son equivalentes (s t) si son del mismo color (Verique que esta es una relacin de equivalencia). La clase de equivalencia [s] de una o camisa s, es el conjunto de todas las camisas que tiene el mismo color que s. [S] es el conjunto de todas las clases de equivalencias de S:

LO GI C

< >

UL

[S] = {[s] : s S}

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 24 o

Cerradura (Clausura) de relaciones (Closure)

Teorema lm2-2: Si R es una relacin en un conjunto S y si E = {< x, x >: x o S} y R1 = {< y, x > S S :< x, y > R}, entonces: r r(R) = R E; s s(R) = R R1 ; t t(R) =
k=1

24/40

Rk

LO GI C

< >

UL

i P

Grafos
grafo o grca: a

Actividad: Investigemos el vocabulario de los grafos

25/40

aristas y vrtices: e vrtices. e

aristas m ltiples o paralelas: aristas entre los mismos u lazo: arista que conecta a vrtice consigo mismo. e camino: sucesin de aristas. o
< >

longitud de un camino: n mero de aristas en el camino. u camino cerrado: sucesin circular. o

grafo ac clico

UL

ciclo: camino cerrado en que ning n vrtice se repite. u e

i P ?

LO GI C

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 26 o

Circuito de Euler o Euleriano

26/40

Un camino cerrado que contiene exactamente cada una de las aristas. La valencia de un vrtice es el nmero de aristas que conuyen en l. e u e

UL

[Euler]: Si todos los vrtices de una grca conexa tienen valencia e a par, entonces la grca tiene un circuito euleriano. a v1 / / \ v2 v3 El grafo de Knigsberg. o \ \ / v4

LO GI C

< >

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 27 o

A
Una representacin de un grafo en lgica o o
G = [arista(a, [w, x]), arista(b, [w, x]), arista(c, [w, u]), arista(d, [u, y]), arista(e, [w, y]), arista(f, [y, x]), arista(g, [x, z]), arista(h, [y, z]).]

27/40

LO GI C

Este es un programa para recolectar los vrtices de esos grafos: e vrtices([], []). e

< >

vrtices(RestoG, RestoV ertices) e une(V ertices, RestoV ertices, T odos).

i P ?

UL

vrtices([arista( , V ertices) | RestoG], T odos) e

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 28 o

A
une([], Lista, Lista). une([Pr imero|Resto], Lista, [Pr imero|N Resto]) Pr imero Lista / une(Resto, Lista, N Resto). une([Pr imero|Resto], Lista, N Resto) Pr imero Lista une(Resto, Lista, N Resto).

28/40

LO GI C

< >

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 29 o

Valencias y vrtices e

A LO GI C

29/40

% la valencia de un vrtice V en un grafo vac en nula. e o valencia(V, [], 0).

valencia(V, [arista( , V ertices)|Resto], N + 1) V V ertices valencia(V, Resto, N ).

valencia(V, [arista( , V ertices)|Resto], N ) V V ertices /

< >

valencia(V, Resto, N ). valencias([], G, []).

valencias([V |R], G, [(V, C)|N R]) valencia( V, G, C)

Cmo se leen en espaol las clusulas de esta lmina? o n a a

i P ?

UL

valencias( R, G, N R).

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 30 o

Algoritmo de Fleury

A LO GI C

30/40

Paso 1. Empiece en cualquier vrtice V de valencia impar si es que lo haya. Si e no lo haya empiece en cualquier vrtice V. Sea Vs = [V] y sea Es=[]. e Paso 2. Si no hay ninguna arista que pase por V, pare.

Paso 3. Si hay exactamente una arista que pase por V, digamos arista(E, [V,W]), entonces sustraiga a arista E del grafo A(G) y a V sus vertices V(G) y siga con el paso 5. Paso 4. Si hay ms de una arista en V, elija una de ellas, digamos E, tal que a arista(E,[V,W]), de tal modo que su eliminacin no desconecte la grca; quite o a entonces a E de A(G).

< >

UL

Paso 5. Aada W al nal de Vs, aada E al nal de Es, reemplace V por W y n n regrese al paso 2.
i P ?

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 31 o

Reconstruccin lgica del algoritmo de Fleury o o

( Olvidndonos de la eciencia y tomndolo con mucha calma). a a eureliano(G) vertices( G, V ertices)

31/40

valencias(V ertices, G, V alencias) vertice apropiado(V alencias, V ) sucesion(G, V, Sucesion) cerrada(V, Sucesion).

LO GI C

< >

cerrada(V, Sucesion) Sucesion = [V |Resto] ciclo desde vertice(V, Sucesion). ciclo desde vertice( V, [V ]).

ciclo desde vertice(V, [ |R]) ciclo desde vertice(V, R). Cmo se leen en espaol? o n

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 32 o

Ms de la reconstruccin lgica de Fleury a o o

32/40

sucesion(G, V, []) A((arista(A, V erticesdeA) G V V erticesdeA). sucesion(G, V, [V |RestoSucV ])

selecciona arista(G, V, G , V )

sucesion(G , V , RestoSucV ).

LO GI C

< >

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 33 o

A
selecciona arista([arista(A, V s)], V, [], W ) (V s = [V, W ] V s = [W, V ]). selecciona arista(G, V, N uevaG, W ) arista(A, V s) G desconecta(arista(A, V s), G) (V s = [V, W ] V s = [W, V ])

33/40

LO GI C

< >

sustrae(arista(A, V s), G, N uevaG)

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 34 o

desconecta(A, G, G ) A = arista(N, [X, Y ]) sustrae(A, G, G )

desconectados(X, Y, G ).

desconectados(X, Y, G) ca min o(X, Y, G). sustrae(A, [A|Resto], Resto).

LO GI C

Actividad: No olvide leer estas clusulas en espa ol y procurar entena n der lo que dicen.

34/40

< >

sustrae(A, [B|Resto], [B|F inal]) A = B sustrae(A, Resto, F inal). C al es la suposicin esencial en este programa de sustraccin? u o o

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 35 o

Circuito Hamiltoniano

35/40

Es un camino cerrado que utiliza cada vrtice del grafo exactamente una vez, e excepto el ultimo que es igual al primero.

hamiltoniano(G, H) vertices(G, V ertices) conecta(G, V ertices, H) cerrado(H).

LO GI C

< >

UL

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 36 o

arista(A, [V, Z]) G arista(A, [Z, V ]) G. conecta(G, [V |RestoV s], [arista(A, [V, W ])|RestoH]) RestoV s = []

(arista(A, [V, W ]) G arista(A, [W, V ]) G) agrega(F rente, [W |Cola], RestoV s)

< >

agrega(F rente, Cola, N uevoRestoV )

UL

conecta(G, [W |N uevoRestoV ], RestoH).

LO GI C

conecta(G, [V ], [arista(A, [V, Z])])

36/40

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 37 o

cerrado (V ertices, H) V ertices = [V | ] agrega( , [arista( , [ , V ])], H)?

< >

UL

LO GI C

Qu pasa con la eciencia si en lugar de cerrado(H) usamos?: e

37/40

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 38 o

Primera aproximacin. o

Para este problema tenemos que modicar nuestra representacin de arista, para o incluir un PESO en cada arista: arista(N ombre, P eso, V ertices).
< >

ruta del viajero(G, R) hamiltoniano(G, R) peso minimo(G, R). peso minimo(G, R) peso(R, P ) (H(ruta del viajero(G, H) H = R peso(H, P ) P < P )). La solucin que se vislumbra es muy ineciente. Actividad: Piense por un o momento (slo un momento) cmo podr ser ms eciente. o o a a

UL

LO GI C

El problema del agente viajero (the traveller salesmans problem)

38/40

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 39 o

Arboles

A
arbol(N odo, Hijos)

39/40

Son grafos ac clicos conexos. Volveremos a ellos ms adelante en el curso. Aqu a mostramos una forma de representarlos en lgica: o

Actividad: Dibuje el rbol: arbol(a, [arbol(b, [d, e]), arbol(c, [arbol(f, [q])])]). a Volveremos con los rboles en la unidad 5 de este curso. a
< >

UL

LO GI C

i P

J. Dvila < jacinto@ula.ve > a

Lgica U2 (v1.0) 40 o

Es particularmente importante que entendamos qu es la lat de interpretae s ciones. Esa es la estructura matemtica que emplearemos para precisar el siga nicado de nuestros programas lgicos. o Los grafos, por su parte, son las estructuras matemticas ms populares en coma a putacin. Es muy importante que sepan que es un hamiltoniano y en que consiste o en problema del agente viajero y que piensen en las posibles aplicaciones de estas nociones. Todo el material sobre grafos en esta unidad est basado en el texto Matemticas a a Discretas, de K. Ross y C. Wright (Prentice Hall, 1990). Las reconstrucciones lgicas son nuestras. o

LO GI C

En esta unidad 2 hemos revisado conceptos claves en matemticas discretas que a usaremos ms adelante en el curso. a

40/40

< >

UL

i P