Pontificia Universidad Catolica de Chile

Departamento de Ciencia de la Computacion

IIC1253 - Matematicas Discretas

Tarea 1
31 de agosto 2016
2o semestre 2016 - Profesores G. Dieguez - F. Suarez
Hermon Alejandro Alfaro Olivos-13635735

Respuestas

Pregunta 1

Sea P(n): es posible enumerar los n equipos, tal que el equipo i le gano al equipo i + 1
Con n N, i {1, ..., n 1}.
Demostraremos que P(n) se cumple para todo n > 1.Para esto, usaremos induccion estructural
sobre los conjuntos enumerados con n equipos.
Caso base: Por demostrar que se cumple P(2)
Demostracion: En efecto, si tenemos dos equipos, por el supuesto de que no hay empates,
enumeramos con 1 al equipo que gano y con 2 al que perdio. Por lo tanto se cumple P(2).
Hpotesis de induccion Suponemos que P(n-1) se cumple, es decir, dado n-1 equipos de
los que compitieron, es posible enumerarlos de tal forma que el equipo i le haya ganado al i
+ 1 con i {1, ...n 2}.
Tesis de induccion: Por demostar que se cumple P(n)
De los n equipos, tomamos n-1 equipos de manera arbitrarea. Por Hpotesis de induccion
es posible enumerarlo tal que se cumple P(n-1). Luego a los n-1 equipos agregamos el equipo,
que no fue considerado para la enumeracion, y lo agregamos a la ultima posicion. Si el equipo
agregado le gano al equipo antecesor directo en la enumeracion, entonces, se intercambian
las enumeraciones de dichos equipos. Si nuevamente le gano al equipo antecesor, se repite
el proceso de cambio de enumeraciones. El caso extremo es que le haya ganado a todos, en
dicho caso queda con la enumeracion 1. As se forma una enumeracion con los n equipos que
cumple P(n). Si no es posible formar la enumeracion, se contradice el supuesto de que no hay
empates. Como el equipo que no fue considerado en la primera enumeracion es arbitrareo,
 Tarea 1 - Hermon Alfaro- 13635735
concluimoss que se cumple P(n) para toda liga con n > 1 equipos, donde se cumple que no
hay empate.

2
 Tarea 1 - Hermon Alfaro- 13635735
Pregunta 2

Pregunta a)

Sintaxis de las formulas de la logica de Ruby

Sea P: conjunto de proposiciones y sea LRuby (P) el conjunto de formulas de la logica de Ruby
que utiliza las proposiciones en P y los conectivos {!, , } definida de manera inductiva por:
p P = p LRuby (P )
LRuby (P ) =! LRuby (P )
1 , 2 LRuby (P ) = (1 2 ) LRuby (P )
con * {, }

Pregunta b)

Semantica de las formulas de la logica de Ruby

Sea : P {T rue, F alse, N ill} una valuacion sobre p P, y sea : LRuby {T rue, F alse, N ill}
una valuacion sobre LRuby dada en a), definida de por: dados p P, , 1 , 2 , LRuby :

= p () = (p)

T rue si () = F alse



=! () = N ill si () = N ill




F alse si () = T rue



T rue si (1 ) = (2 ) = T rue




N ill si ((1 ) = (2 ) = N ill) o ((1 ) = T rue y (2 ) = N ill) o

= (1 2 ) () =

((1 ) = N ill y (2 ) = T rue)




F alse si (1 ) = F alse o (2 ) = F alse



T rue si (1 ) = T rue o (2 ) = T rue




N ill si ((1 ) = (2 ) = N ill) o ((1 ) = F alse y (2 ) = N ill) o

= (1 2 ) () =

((1 ) = N ill y (2 ) = F alse)




F alse si (1 ) = (2 ) = F alse

3
 Tarea 1 - Hermon Alfaro- 13635735
Pregunta c)

Cantidad de tablas de verdad

Sea P un conjunto con n proposiciones. Dado que tenemos 3 valores de verdad posible: True,
False y Nill, tenemos 3n valuaciones posibles. Como una tabla de verdad es distinta de otra,
con solo cambiar un valor de la fila y tenemos 3 valores posibles por fila posibles, tenemos
n
3x...x3 3n veces (cada fila), por lo tanto existen 33 tablas de verdad distintas.

Pregunta d)

4
 Tarea 1 - Hermon Alfaro- 13635735
Pregunta 3

En primer lugar Definimos las variables proposiciones a usar:

A = {xi,l | Al alumno i se le asign el curso l }
B = {yl,j,k | El curso l se dicta el da j al modulo k }
Luego, el conjunto de variables proposiciones es:

P = AB
Ahora creamos formulas que sean satisfacibles si se cumplen las restricciones del problema
y luego la formula que buscamos es la conjuncion de dichas formulas.

La primera y no necesaria (se escribe igual por formalidad) es la que es satisfacible si cada
curso se dicta dentro de los 5 das habiles, en al menos un modulo:
V
distribucion cursos = (l,j,k)D yl,j,k
La segunda es que los alumnos se encuentren satisfechos con sus ramos asignados:
V
alumno satisf echo = (i,l)Q xi,l
La tercera
V es que
V los alumnos
V noVtengan tope de catedra: V
tope = 1in ( 1j5 ( 1k6 ( 1l1m ((xil1 yl1 jk ) ( l6=l1 ,1lm (xil yljk ))))))

La cuarta
V es queWtodos los alumnos deben V tomar mnimo 3 cursos:
min = 1in ( (l1 ,l2 ,l3 ){1,...m}3 ,l1 6=l2 6=3 ( l6=l1 6=l2 6=3 ,1l6=m (xil ) (xil1 xil2 xil3 )))

La quinta
V y ultima
V es no pueden haber mas alumno queV vacanates en el ramo:
vac = (l,c)C ( (i1 ,...,ic ){1,...n}c ,i1 6=...6=ic (xi1 l ... xic l r6=i1 6=...6=ic ,1rn (xrl )))

As, la formula pedida es:

= distribucion cursos alumno satisf echo tope min vac