Buenas, cursé Discreta en el 2011 y antes de que se me venza, prefiero darla 4 veces mal.
Me acuerdo "ahí" de las cosas y leo bastante, así es que calculo que con bastante ayuda de apuntes, libros, y de quienes la tengan clara justo en las dudas que yo tengo, la voy a poder dar.
Voy a ir editando este mismo tema a medida que vaya avanzando, a no ser que lo vea muy engorroso.
Me voy a tirar por primera vez en febrero (hoy es Lunes 1/12/2014.)

Cita:Lógica (1/12/2014)
En el final que se tomó el 19/12/2014
Dice
analice la validez de los siguientes razonamientos, demostrando por reglas de inferencia los que sean válidos y justificando correctamente los que no lo sean:
Razonamiento 1: \[p\vee q ; p \rightarrow r ; \sim r \therefore q \]
Razonamiento 2: \[\exists x: p(x) ; \forall x:[q(x)\rightarrow p(x)] \therefore \exists x: q(x) \]

veo que hay varias proposiciones separadas con ";" y luego un "\[\therefore\]" y otra proposición. Esto en mi cursada no lo vi y no entiendo a que se refiere con "demostrando por reglas de inferencia"

Saludos y gracias!

(01-12-2014 09:18)fzappaandthem escribió:  

Cita:Lógica (1/12/2014)
En el final que se tomó el 19/12/2014
Dice
analice la validez de los siguientes razonamientos, demostrando por reglas de inferencia los que sean válidos y justificando correctamente los que no lo sean:
Razonamiento 1: \[p\vee q ; p \rightarrow r ; \sim r \therefore q \]
Razonamiento 2: \[\exists x: p(x) ; \forall x:[q(x)\rightarrow p(x)] \therefore \exists x: q(x) \]

veo que hay varias proposiciones separadas con ";" y luego un "\[\therefore\]" y otra proposición. Esto en mi cursada no lo vi y no entiendo a que se refiere con "demostrando por reglas de inferencia"

El ; sirve para separar proposiciones, vendría a ser como escribir lo siguiente en el renglón de abajo, por ahí así lo ves mejor:

\[p \vee q\]
\[p \rightarrow r\]
\[\sim r\]
--------
\[\therefore q\]

El \[\therefore \] significa "entonces", quiere decir que si se cumple lo que está arriba, va a pasar eso. Las reglas de inferencia que seguro viste son el Modus Ponens, Modus Tollens, Silogismo hipotético, Silogismo disyuntivo; tenés que demostrar lo de arriba con alguna de esas reglas.

Alguito me suena, supuse que era más o menos así la onda y los nombres de las reglas de inferencia me lo habían dado en una fotocopia de lógica que ni idea donde está. Muchas Gracias!
Resuelto entonces lo de "logica 1/12/2014"