Les dejo el final que se tomo en Octubre, parece bastante fiero, si se lo puede ir resolviendo estaría bárbaro.
SALUDOS Y CHAU

para mi nada fiero, atipico que tomen ciertas cosas , capaz el unico punto el 4, yo estoy armando el resuelto

(15-10-2012 12:42)CarooLina escribió:  para mi nada fiero, atipico que tomen ciertas cosas , capaz el unico punto el 4, yo estoy armando el resuelto

Para mi no es tan facil. Si para vos lo es, hacelo que no me ofendo

yo fui a este final. estuve en el aula que repartio los finales la jefa de catedra (Peralta). Fue un desastre, un flaco se hizo el dolobu, y no entregó la libreta, vio el final no le gusto y se fue. Muchos se quejaron por esto, hubo gente que rindió en el 2008 la materia y los ejercicios de este final nada que ver. Nosé si alguien aprobó pero bueno, yo clavé pato.

Saludos

No me sale el ejercicio 5 a) y d), alguno me lo puede pasar?
El a me da que es ese resultado pero nose si lo hice bienn.

Chicos la verdad que en la cursada no habia demostrado un ejercicio como el 1 sin hacer la tabla.
Alguien sabria si lo que se pide es esto? :



(¬p => r) y ( (¬p => r) => (¬q y p) ) => (¬q y p)

Esta proposición tiene como conectivo logico principal a la implicacion condicional ( => ), para que sea verdadera vamos a tener las siguientes opciones:

1) (¬p => r) y ( (¬p => r) => (¬q y p) ) es Verdadero y (¬q y p) es Verdadero

2) (¬p => r) y ( (¬p => r) => (¬q y p) ) es Falso y (¬q y p) es indistinto (puede ser V o F, da igual)


Analizando la opcion 1:
(¬p => r) y ( (¬p => r) => (¬q y p) ) debe ser Verdadero y en un and esto se da solamente cuando las dos proposiciones que lo forman sean Verdaderas
Entonces tenemos que (¬p => r) debe ser Verdadero y ( (¬p => r) => (¬q y p) ) debe ser Verdadero.


Para que ( (¬p => r) => (¬q y p) ) sea Verdadero volvemos a analizar una implicacion condicional.
Pero ahora ya dijimos que (¬p => r) debe ser Verdadero por lo tanto la unica opcion que nos queda para que todo el termino sea verdadero es que (¬q y p) tambien sea verdadero, justamente al aclarar al comienzo la opcion 1 dijimos que (¬q y p) tambien debia ser verdadero.


Para que (¬q y p) sea Veradero decimos que q es F y p es V.
Para que (¬p => r) sea Veradero decimos que p es V y r es indistinto.



Analizando opcion 2:
(¬p => r) y ( (¬p => r) => (¬q y p) ) debe ser Falso, al ser un and decimos que :

A) (¬p => r) es Verdadero y ( (¬p => r) => (¬q y p) ) es falso
B) (¬p => r) es Falso

A) Para que ( (¬p => r) => (¬q y p) ) sea falso, teniendo el primer termino de la implicacion condicional como Verdadero si o si vamos a necesitar el segundo termino, (¬q y p) , sea Falso.
Entonces:
Para que (¬q y p) sea Falso decimos que q es F y p V o q es V y p indistinto.
Para que (¬p => r) sea Verdadero decimos que p es F y r es V o p es V y r indistinto.

B) Para que (¬p => r) sea Falso p debe ser V y r debe ser F o p debe ser F y r indistinto.



Respuesta final:
Para que la proposición de Verdadera debemos tener alguna de las siguientes combinaciones de estados:
1- q = F
p = V
r = V o F (podemos no ponerlo)

2- q = V
p = V
r = V o F (podemos no ponerlo)

3- q = V
p = F
r = V o F

4- q = F
p = F
r = V o F

Conclusion SIEMPRE es VERDADERA la proposición.




Algo asi hay que hacer? o me fui de mambo?
Ahora voy a armar la tabla de verdad para ver si esta bien esto.

(22-11-2012 18:10)pomem123 escribió:  No me sale el ejercicio 5 a) y d), alguno me lo puede pasar?
El a me da que es ese resultado pero nose si lo hice bienn.

Fijate que esos dos ejercicios estan en el libro naranja de la catedra. el 5)a) lo podés sacar de la parte de grafos (a lo ultimo esta todo lo de arboles), y el 5)d) esta en el capitulo de gramaticas.

saludos

---

(28-11-2012 19:22)Matias_Ari escribió:  Chicos la verdad que en la cursada no habia demostrado un ejercicio como el 1 sin hacer la tabla.
Alguien sabria si lo que se pide es esto? :



(¬p => r) y ( (¬p => r) => (¬q y p) ) => (¬q y p)

Esta proposición tiene como conectivo logico principal a la implicacion condicional ( => ), para que sea verdadera vamos a tener las siguientes opciones:

1) (¬p => r) y ( (¬p => r) => (¬q y p) ) es Verdadero y (¬q y p) es Verdadero

2) (¬p => r) y ( (¬p => r) => (¬q y p) ) es Falso y (¬q y p) es indistinto (puede ser V o F, da igual)


Analizando la opcion 1:
(¬p => r) y ( (¬p => r) => (¬q y p) ) debe ser Verdadero y en un and esto se da solamente cuando las dos proposiciones que lo forman sean Verdaderas
Entonces tenemos que (¬p => r) debe ser Verdadero y ( (¬p => r) => (¬q y p) ) debe ser Verdadero.


Para que ( (¬p => r) => (¬q y p) ) sea Verdadero volvemos a analizar una implicacion condicional.
Pero ahora ya dijimos que (¬p => r) debe ser Verdadero por lo tanto la unica opcion que nos queda para que todo el termino sea verdadero es que (¬q y p) tambien sea verdadero, justamente al aclarar al comienzo la opcion 1 dijimos que (¬q y p) tambien debia ser verdadero.


Para que (¬q y p) sea Veradero decimos que q es F y p es V.
Para que (¬p => r) sea Veradero decimos que p es V y r es indistinto.



Analizando opcion 2:
(¬p => r) y ( (¬p => r) => (¬q y p) ) debe ser Falso, al ser un and decimos que :

A) (¬p => r) es Verdadero y ( (¬p => r) => (¬q y p) ) es falso
B) (¬p => r) es Falso

A) Para que ( (¬p => r) => (¬q y p) ) sea falso, teniendo el primer termino de la implicacion condicional como Verdadero si o si vamos a necesitar el segundo termino, (¬q y p) , sea Falso.
Entonces:
Para que (¬q y p) sea Falso decimos que q es F y p V o q es V y p indistinto.
Para que (¬p => r) sea Verdadero decimos que p es F y r es V o p es V y r indistinto.

B) Para que (¬p => r) sea Falso p debe ser V y r debe ser F o p debe ser F y r indistinto.



Respuesta final:
Para que la proposición de Verdadera debemos tener alguna de las siguientes combinaciones de estados:
1- q = F
p = V
r = V o F (podemos no ponerlo)

2- q = V
p = V
r = V o F (podemos no ponerlo)

3- q = V
p = F
r = V o F

4- q = F
p = F
r = V o F

Conclusion SIEMPRE es VERDADERA la proposición.




Algo asi hay que hacer? o me fui de mambo?
Ahora voy a armar la tabla de verdad para ver si esta bien esto.

Fijate que no te pide que demuestres sin hacer la tabla, sino que dice Dar la validez.
Yo te digo la verdad, en el final este ejercicio lo hice con tabla en mi borrador, y el resultado de la operación se lo escribi en el final y también escribí la parte que hacia falso todo el razonamiento.. Sé que este lo tuve bien, asique no es necesario demostrar nada, solamente dar la validez del razonamiento y escribirlo.

gracias!

Chicos, alguno tiene resuelto este parcial???

(11-12-2012 21:31)NaiaraAcosta escribió:  Chicos, alguno tiene resuelto este parcial???

queres algun ej en especial?

Porque justo estoy haciendo finales y si llego lo subo mas tarde o mañana.

Si apruebo lo subo jaja

Estoy en la misma haciendo finales, para mañana.

Me interesa al momento:
1.b
3.a

Que es hasta donde llegue a resolver y tengo dudas. Igual me falta terminarlo.


Desde ya Muchas Gracias

El 3a fijate que 2^4k se puede escribir como 2^(4*k), entonces 2^4 es congruente con 1 (5) por ser 4 un numero anterior a un primo (eso es por propiedad).
Si 2^4 es cong con 1 (5) entonces 2^4k es cong con 1 (5) y el resto buscado es 1 para todo k mayor o igual a 1.

Agrego: ni idea como hacer el ejercicio 4.

(11-12-2012 22:14)NaiaraAcosta escribió:  Estoy en la misma haciendo finales, para mañana.

Me interesa al momento:
1.b
3.a

Que es hasta donde llegue a resolver y tengo dudas. Igual me falta terminarlo.


Desde ya Muchas Gracias

El 1)
Sabes que es los reales, y la raiz cuadrada de cualquier nro positivo esta dentro de los reales
a. Existe un Y que para todo X se cumple, es Falso. Aca esta la dificultad, fijate que no hay ningun nro real que si vos le tiras cualquer X se cumpla.
b. Existe un X, existe un Y que cumpla. Verdadero.
c. Para todo X existe un Y que cumpla. Verdadero.
d. Para todo Y, tal que para todo X se cumple Falso.