Donar $20 Donar $50 Donar $100 Donar mensualmente
 


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Ejercicio 1.10 Matemática Discreta
Autor Mensaje
gustavo_hekel Sin conexión
Empleado del buffet
Live Forever
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 10
Agradecimientos dados: 11
Agradecimientos: 0 en 0 posts
Registro en: Oct 2012
Mensaje: #1
Ejercicio 1.10 Matemática Discreta Ejercicios Matemática Discreta
Buenas, tengo una seria duda en cuanto a las reglas de inferencia.

Por ejemplo, el ejercicio 1.10.b dice lo siguiente
Dar la validez de los siguientes razonamientos

[[(¬p v ¬q) => (r=>s)] ^ (r=>t) ^ ¬t] => p

Ahora, veo que tengo 3 términos

a : [(¬p v ¬q) => (r=>s)]
b: (r=>t)
c: ¬t

Si uno los términos b y c me queda
(r=>t) ^ ¬t

Mi duda es la siguiente, dado que la regla de Modus Tollens dice ((p=>q) ^ ¬q) => ¬p, que es equivalente a lo que me queda de juntar b y c, ¿puedo dejar la proposición expresada de la siguiente manera?

[[(¬p v ¬q) => (r=>s)] ^ ¬r] => p

Se que es una pavada, pero no encuentro por ningún lado la confirmación de esto y falté la clase en que se dio el tema.

En caso de que esté en lo correcto, se aplica el mismo criterio para las demás reglas de inferencia?

Gracias!
18-06-2013 20:37
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Giannn Sin conexión
Secretario General
Wait and bleed
*******

Ing. Industrial
Otra

Mensajes: 842
Agradecimientos dados: 25
Agradecimientos: 48 en 45 posts
Registro en: Jul 2012
Mensaje: #2
RE: Ejercicio 1.10 Matemática Discreta
Si podes pero la forma es esta de hacerlo, se desarolla como si fuera una cuenta.
Estos ejercicios de razonamiento se trabajan asi:

(¬p v ¬q) => (r=>s) 'a
r=>t 'b
¬t 'c
________________
p

Se ordena asi, y como dijiste tenes a,b,c premisas. Cada una se llama premisa. Tenes que ir aplicando las reglas (tollens, pollens..etc) para ir creando nuevas premisas y asi poder llegar al razonamiento que en este caso es "p".
(Este mensaje fue modificado por última vez en: 18-06-2013 20:56 por Giannn.)
18-06-2013 20:55
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
rihardmarius Sin conexión
Secretario de la SAE
Por qué no me derivas el loga...
******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 415
Agradecimientos dados: 100
Agradecimientos: 378 en 66 posts
Registro en: Oct 2011
Mensaje: #3
RE: Ejercicio 1.10 Matemática Discreta
hay muchas formas de hacerlo, una es por el absurdo

te salio?

para chequear usa un generador d tablas de verdad

http://turner.faculty.swau.edu/mathemati...ary/truth/

e ingresa esto

(((~p + q) > (r > s)) & (r > t) & ~t) > p

EDIT

el razonamiento es invalido, con el metodo de giann no llegas a p, llegas a ¬r

si no es valido tenes q dar un contraejemplo, y ahi entra en juego el metodo del absurdo

(Este mensaje fue modificado por última vez en: 18-06-2013 22:49 por rihardmarius.)
18-06-2013 21:49
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
gustavo_hekel Sin conexión
Empleado del buffet
Live Forever
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 10
Agradecimientos dados: 11
Agradecimientos: 0 en 0 posts
Registro en: Oct 2012
Mensaje: #4
RE: Ejercicio 1.10 Matemática Discreta
(18-06-2013 21:49)rihardmarius escribió:  hay muchas formas de hacerlo, una es por el absurdo

te salio?

para chequear usa un generador d tablas de verdad

http://turner.faculty.swau.edu/mathemati...ary/truth/

e ingresa esto

(((~p + q) > (r > s)) & (r > t) & ~t) > p

EDIT

el razonamiento es invalido, con el metodo de giann no llegas a p, llegas a ¬r

si no es valido tenes q dar un contraejemplo, y ahi entra en juego el metodo del absurdo

Gracias por la data de la página, la verdad ya me parecía raro no poder llegar a "p".

Saludos!
19-06-2013 10:43
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)



    This forum uses Lukasz Tkacz MyBB addons.