Eje 7

[Marcos Peralta]

Buenas, tengo una duda en el ejercicio 7 f, que dice: "Si 1 está en xs entonces tambien el 0 lo está"

< ∃ i : o <= i < #xs : xs.i = 1 => xs.1 = 0 >

 Tambien de esta forma:

< (para todo) i : xs.i = 1 : xs.i = 0 >

Estan bien? (Tengo mas dudas con la segunda).

[Juan Manuel]

El 01/11/12 17:02, Marcos Peralta escribió:

> --
> Has recibido este mensaje porque estás suscrito al grupo
> "introalg2012-2C" de Grupos de Google.
> Para publicar una entrada en este grupo, envía un correo electrónico a
> introal...@googlegroups.com.
> Para anular tu suscripción a este grupo, envía un correo electrónico a
> introalg2012-...@googlegroups.com
> Para ver este debate en la Web, visita
> https://groups.google.com/d/msg/introalg2012-2c/-/0v6PIA_jxDkJ.
> Para obtener más opciones, visita
> https://groups.google.com/groups/opt_out.
>
>
Hola, el miercoles pasado la profe lo explicó a ese ejercicio, si mal no
recuerdo la primera forma es la correcta, ya que usa el "implica".

Saludos.-

[Luciana Benotti]

Hola Marcos,

Paso a explicar las dos opciones que propones:

> < ∃ i : o <= i < #xs : xs.i = 1 => xs.1 = 0 >

Fijate que esta formula lo que quiere decir es que si hay un uno
entonces el primer elemento de la lista es cero y eso no es lo que se
pedia.

> < (para todo) i : xs.i = 1 : xs.i = 0 >

Esto no esta bien dado que esta formula dice que si un elemento de la
lista es un uno entonces ese mismo elemento es un cero, y un elemento
no puede ser uno y cero a la vez por lo tanto la formula es siempre
falsa.

Como ayuda te digo que el enunciado lo que dice es que si existe un
elemento que es uno entonces existe otro elemento que es cero. Es
decir, necesitas que si existe un elemento entonces necesitas que
exista otro. A ver si con esa ayuda sale, sino avisame.
--
Prof. Dr. Luciana Benotti
FaMAF, Universidad Nacional de Cordoba
Medina Allende s/n
5000 Cordoba, Argentina
+54-351-5353701 (Int. 41414 or 43030)
http://cs.famaf.unc.edu.ar/~luciana
ben...@famaf.unc.edu.ar