Ejercicios 4 y 5

[Fernando Guarini]

Tengo una duda, en ambos ejercicios dice que debemos resolverlos unicamente usando axiomas, es decir ni siquiera podemos usar los teoremas basicos?? unicamente los primeros 14 axiomas???

y otra cosa, en el parcialito vamos a usar todos los teoremas incluidos los no tan basico y los de implicacion?? o unicamente hasta los teoremas basicos?

[Fernando Guarini]

pueden obviar la primera pregunta, me acabo de dar cuenta que algunos de los ejercicios son justamente los teoremas jaja, igual la segunda se mantiene no se hasta que parte va.

[Luciana Benotti]

2012/10/23 Fernando Guarini <fg....@hotmail.com>:

> Tengo una duda, en ambos ejercicios dice que debemos resolverlos unicamente
> usando axiomas, es decir ni siquiera podemos usar los teoremas basicos??
> unicamente los primeros 14 axiomas???

Pueden usar los axiomas y además pueden usar los teoremas que uds ya
demostraron. Por ejemplo, para demostrar cosas del ejercicio 5 pueden
usar todos los teoremas que uds demostraron en el ejercicio 4.

> y otra cosa, en el parcialito vamos a usar todos los teoremas incluidos los
> no tan basico y los de implicacion?? o unicamente hasta los teoremas
> basicos?

En el parcialito van a poder usar cualquier axioma o teorema básico
del cálculo proposicional sin demostrarlo (excepto el que tienen que
demostrar, si el que tienen que demostrar es un teorema básico).
Cualquier otro teorema tiene que ser demostrado primero para poder ser
usado. Se entiende?

[Fernando Guarini]

Entendido, ahora me surgio otra duda en especial en el ejercicio 4, hay algunos ejercicios donde me queda el ejercicio de esta forma p equivalencia p, o bien True equivalencia True, o not p equivalencia p, estos enunciados los puedo resolver? es decir puedo resolver el operador(ya sea equivalencia o discrepancia aunque este ultimo lo puedo volver facilmente equivalencia) para poder llegar al final del ejercicio?? y si es asi quisiera saber como aclarar lo que estoy resolviendo, es decir si puedo poner por ejemplo Definicion de Equivalencia

por ejemplo el 4 a)tengo que demostrar (p == p) == True (== es equivalencia)
y lo resolvi asi

p == p
Neutro de equivalencia P:=p
True == p == p
Conmutatividad de ==, P:= True, Q:= p == p
p == p == True
Definicion de Equivalencia
True == True
Definicion de Equivalencia
True

y tengo una duda mas pero lo subo despues que me contesten este asi no se hace tan grande, gracias!

[Luciana Benotti]

Hola Fernando,

Mañana venis a clase? Hay varios puntos en tu email que sería mucho
más facil aclarar en persona.

Saludos, Luciana.

2012/10/23 Fernando Guarini <fg....@hotmail.com>:

> --
> 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/-/fqEo_AQOh1AJ.
>
> Para obtener más opciones, visita https://groups.google.com/groups/opt_out.
>
>



--
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

[Fernando Guarini]

si, entonces mañana lo pregunto bien gracias!