Sisi, la idea de esos ejercicios es simplificar hasta la mínima expresión posible, y que te de algo. Como recomendación fijate el 1º parcial de este año de la cursada anual que tiene un ejercicio así.

Sipi ! mira cuando a mi me lo tomaron en un parcialito peralta simplifico.. pero la profe de consulta dijo que eso no se podia hacer. Asi que nada estoy mareada jaja

jaja no entiendo como lo harías sin simplificar. La idea es aplicar las equivalencias lógicas en pos de lograr un resultado. Mira si peralta te dijo que simplifiques hacelo, porque es justamente la opinión que vale jaja.

Yo me presente al final de Octubre, donde me tomaron el mismo ejercicio de Logica y lo hice simplificando. En la correcion, NI me lo mirarom y me pusieron mal y me dijeron que por mas que yo verifique la conclusion aplicando propiedades, no es la idea. Cuando hablamos de RAZONAMIENTO, quieren que apliquemos las inferencias logicas tales como MODUS PONENS, MODUS TOLENS, LEY DE COMBINACION, SILOGISMOS etc. La idea es usar los tres metodos que proponen ellos.

1) metodo directo
2)metodo del absurdo
3) metodo del condicional asociado.

No permiten usar ni tablas, ni simplificaciones basadas en propiedades tales como de mordan, involucion y demas.

Encontré en la carpeta mia del 2008 ejercicios como estos de razonamientos validos o invalidos. En este caso, el profesor hizo la tabla de verdad, y al final la conclusion tenia que toda verdadera para que el razonamiento sea valido. Basta con que haya un F, que el razonamiento no es valido.
De esta forma, hice el ejercicio del final y me quedó que el razonamiento es inválido. Nosé si esta bien o mal, pero en mi caso, si toman algo asi voy a hacerme la tabla de verdad en borrador y en el final solamente decir si es valido o no.

Yo la curse hace bastante, no tengo nada de lo del razonamiento logico o valido, cuando la di se veia simplificacion nomas... Alguien tiene algo para leer de casualidad? En el de johnsonbaugh y el libro resumen que hay por ahi no encuentro nada...

Acerca del 3)B)
Tenes que
2X + 5 = 7(15)

Con la congruencia segun tengo entendido si tenes
a = b( c ) Es lo mismo que decir c|(a-b), que a su vez c.k = (a-b), con K entero
O sea que
15.k = 2x+5-7
15.k = 2x-2
x = (15.k+2)/2
Y aca deberia ver si exixte algun k entero : x es entero
Con
k=0 da x=1
K=2 da x=16
Entonces existe x, se puede resolver

Y el 3)C)
MCD(a,b) = 1 Es lo mismo que decir 1 = k1 a + k2 b
Si tambien se que a|c y b|c, entonces ap=c y bq=c

Si a la primera ecuacion la multiplico por C en ambos lados tengo
1.c = (k1 a+k2 b).c
c = c.k1.a + c.k2.b
Reemplazo a c con las dos ecuaciones que me quedan
c = (b.q).a.k1 + (a.p).b.k2
Tengo entonces
c = a.b . q.k1 + a.b . p.k2
c = a.b . (q.k1 + p.k2)
a.b | c

Cita:Yo la curse hace bastante, no tengo nada de lo del razonamiento logico o valido, cuando la di se veia simplificacion nomas... Alguien tiene algo para leer de casualidad? En el de johnsonbaugh y el libro resumen que hay por ahi no encuentro nada...<br />
<br />
Acerca del<b> 3)B)</b><br />
Tenes que <br />
2X + 5 = 7(15)<br />
<br />
Con la congruencia segun tengo entendido si tenes<br />
<b>a = b( c )</b> Es lo mismo que decir c|(a-b), que a su vez <b>c.k = (a-b</b>), con K entero<br />
O sea que <br />
15.k = 2x+5-7<br />
15.k = 2x-2<br />
x = (15.k+2)/2<br />
Y aca deberia ver si exixte algun k entero : x es entero<br />
Con <br />
k=0 da x=1<br />
K=2 da x=16<br />
Entonces existe x, se puede resolver<br />
<br />
Y el <b>3)C)</b><br />
MCD(a,b) = 1 Es lo mismo que decir 1 = <b>k1</b> a + <b>k2</b> b<br />
Si tambien se que a|c y b|c, entonces a<b>p</b>=c y b<b>q</b>=c<br />
<br />
Si a la primera ecuacion la multiplico por C en ambos lados tengo<br />
1<b>.c</b> = (k1 a+k2 b)<b>.c</b><br />
c = c.k1.a + c.k2.b<br />
Reemplazo a <b>c</b> con las dos ecuaciones que me quedan<br />
c = (b.q).a.k1 + (a.p).b.k2<br />
Tengo entonces<br />
c = a.b . q.k1 + a.b . p.k2<br />
c = a.b . (q.k1 + p.k2)<br />
a.b | c<br />
<br />

El 3b yo lo resolvi asi en el final y la profesora me dijo que no se hacia de esa forma el ejercicio.. pero tmp me dijo como se hace xd

Enviado desde mi XT610 usando Tapatalk 2

che con martin y joni armamos el 3b, fijate que te deje la conclusion en mi primer post. franciscodiez

(11-12-2012 08:43)CarooLina escribió:  che con martin y joni armamos el 3b, fijate que te deje la conclusion en mi primer post. franciscodiez

Jaja sis lo vi, pero estoy tratando de entenderlo porque en mi cursada ni lo vimos... Me perdi cuando pusieron Z15 y elevan a la phi.. Se lo pregunte a nacho, el pibe de las clases particulares y me dijo que iba bien, pero al parecer no

Entonces lo que voy a hacer mañana es resolverla en borrador y tirarle directamente algun valor de x y fue...

Con lo de logica alguien tiene algun otro ejemplo para resolver? Siempre fue logica con las leyes, esto de no hacer las tablas para mi es completamente nuevo...

Gracias!

Y para que estudie redes, boole, grafos y digrafos??

(11-12-2012 10:02)franciscodiez escribió:  

(11-12-2012 08:43)CarooLina escribió:  che con martin y joni armamos el 3b, fijate que te deje la conclusion en mi primer post. franciscodiez

Jaja sis lo vi, pero estoy tratando de entenderlo porque en mi cursada ni lo vimos... Me perdi cuando pusieron Z15 y elevan a la phi.. Se lo pregunte a nacho, el pibe de las clases particulares y me dijo que iba bien, pero al parecer no

Entonces lo que voy a hacer mañana es resolverla en borrador y tirarle directamente algun valor de x y fue...

Con lo de logica alguien tiene algun otro ejemplo para resolver? Siempre fue logica con las leyes, esto de no hacer las tablas para mi es completamente nuevo...

Gracias!

Y para que estudie redes, boole, grafos y digrafos??

Fijate que esta subido el final de octubre. El punto 1 de ese final también tiene un ejercicio de logica.

El día que tomen digrafos va a ser el día que el mundo se acabe me parece jajaj

(11-12-2012 14:34)Diego Pedro escribió:  El día que tomen digrafos va a ser el día que el mundo se acabe me parece jajaj

eso y las clausuras jaja

3b)
\[Ax+D\equiv B(n)\] y \[2x+5\equiv 7(15)\]
Entonces:
\[A=2\]
\[B=7\]
\[D=5\]
\[n=15\]
Para ver cuentas soluciones hay hacemos: \[(A;n)\]
Entonces: \[(2;15)=1\]
Para ver si esa solución se encuentra en \[\mathbb{Z}{_{n}}\]
verificamos si \[B|(A;n)\], en efecto \[1|7\]

Ahora planteamos la solucion
\[x=A^{\varphi (n)-1} ·B+D\]
Entonces:
\[x=2^{\varphi (15)-1} ·7+5=901=60*15+1\]
Y por lo tanto nuestra solucion vale 1.
Comprobamos:
\[2*1+5\equiv 7(15)\]
que es correcto porque \[15|0\]

Después de 3 intentos fallidos pude meter este final. Por lo que ví está bien resueltos los ejercicios hasta donde se. Yo pude hacer el de grupos, el de relación de equivalencia y los verdaderos o falsos + un par de puntos que me sumaron.

En cuanto al ejercicio de relación de equivalencia el conjunto cociente tiene las clases del 1,2, 3 y 6(di un vistazo y me pareció ver otra cosa). Porque del 4 al 7 se repiten los mcd (o sea los x elementos de la clase). Entre el 4 y el 18 es 2, entre el 5 y el 18 es 1 y una vez más entre el 7 y el 18 es el 1.

El de congruencia el resultado es 1 y no pongan otro (como el 16 que vi) ya que no es la solución principal que es la que piden.

El de grupos con que pongan un ejemplo de asociatividad con los elementos de la tabla es suficiente. Con eso no joden. Para demostrar el isomorfismo es suficiente que demuestren que existe una función biyectiva que lo determine. Simplemente ponen por ejemplo f(1) = 0. Yo por las dudas aclare los otros puntos que son que tienen que tener la misma cantidad de elementos, ambos ser cíclicos (o lo contrario), la misma cantidad de generadores de serlo y que sean conmutativos.

No vi como hicieron el autómata pero yo hice un autómata simple que identificara la expresión a(ba)* agregando transiciones épsilon.

No especulen con las fechas si este es más fácil que el que viene o al revés. Después de 3 finales mal dados la única forma de aprobar es estudiar TODO y entender lo más que se pueda . Los temas cambian bastante. Repasen lo de red de compuertas, forma normal conjuntiva y disyuntiva (a.k.a. maxitérminos y minitérminos), homomorfismo, relaciones de orden, esos temas que uno no espera (o no desea) encontrarse.
Para la parte de lógica altamente recomiendo el libro de combinatoria de Grimaldi, esta lleno de ejercicios. Y pongan especial atención a las propiedades y terminologías de la parte de grafos. Como ven es importante saber la diferencia entre ciclo y camino de Euler, que es un puente, itsmo, un conjunto desconectante, de corte, como son las matrices de incidencia y adyacencia, que significa que un árbol sea regular, balanceado,etc. Son cosas simples que pueden sumar bastante más de lo que se cree pero que quizás pasamos por alto.

Nada más, no apelen a la suerte, de esconderse debajo de la mesa y esperar que algo pase , busquen puntos recurrentes en finales anteriores y preparenla bien. Si les quedan cosas importantes sin saber no vayan, no malgasten una oportunidad como lo hice yo. Muy buena suerte a todos

gaston
(P v R) ^ [ ( R => P) => (~Q ^ P) ] => (~R ^ P)

1B) (P v R)
2B)[ ( R => P) => (~Q ^ P) ]
...........................................
CONCLUCION )(~R ^ P)

en la resolucion las premisas decis bien que deben ser verdaderas y tomar su conjuncion pero la segunda
es
2B) V[ ( R => P) => (~Q ^ P) ] =V
NO LO QUE CONSIDERAS
2M) R => P (hipotesis)
3M) ~Q ^ P (hipotesis
PUES ASI ESTARIAS CONSIDERANDO SOLAMENTE LA POSIBILIDAD DE ANTECEDENTE Y CONCECUENTE VERDADERO
EN LA 2B)
TRATE DE HACERLA CONSIDERANDOLA ASI POR METODO DEDUCTIVO PERO NO ME DIO
SI ME DA POR EL ABSURDO
que no es una tautologia y el razonamiento no es valido
pero me parece que no lo dieron como bueno
negamos la conclucion
SI CONSIDERAMOS QUE V((~R ^ P))=F
PARA V(P)=F Y V®=V
ES V((~R ^ P))=F
en 2B) SI P ES FALSO Y R es verdadero EL ANTECEDENTE V( R => P)=F Y EL CONCECUENTE v((~Q ^ P) )=F SON FALSOS Y LA PREMISA ES VERDADERA
V([ ( R => P) => (~Q ^ P) ])=V
con lo cual no da contradiccion y puede darse en este caso premisas verdaderas y conclucion falsa con lo cual no es una tautologia y el razonamiento no es valido
quizas se equibocaron los profes al tipear ????
ALGUIEN DIO EL 12/12/+2012 FINAL DE DISCRETA PODRIAN SUBIRLO
GRACIAS

---

final matematica discreta 12/12/2012
ALGUIEN DIO EL 12/12/+2012 FINAL DE DISCRETA PODRIAN SUBIRLO
GRACIAS