01-12-2014, 09:18
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.)
Saludos y gracias!
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!