Autor Tema: Mat discreta: Generar silogismos lógicos\reglas lógicas

0 Usuarios y 1 Visitante están viendo este tema.

12 Mayo, 2015, 03:09 am
Leído 723 veces

Rebraws

  • Nuevo Usuario
  • Mensajes: 4
  • Karma: +0/-0
  • Sexo: Masculino
Buenas noches, antes que nada paso a presentarme, soy estudiante de Ing. en Sistemas, por ahora vengo muy bien con la carrera a excepción de discreta jaja, así que aquí estoy para solicitar vuestra ayuda.

Tengo ciertas dudas en estos dos ejercicios:

- Buscar o generar dos silogismos lógicos reales (o sea, de uso cotidiano), estudiar sus valores de verdad, formalizarlos e indicar conclusiones (si se trata de uno real, indicar por qué; si es un "falso silogismo" indicar cuál es el punto de fallo).

- Generar reglas lógicas (proposiciones) que a partir de un hecho (proposición de valor conocido), permita llegar a otro hecho. Este sistema de reglas, debe resolverse mediante deducción natural (Modus Ponens, Eliminación de la Conjunción, etc.)

No estoy seguro de que es lo que debo realizar en los ejercicios, lo que llegue a interpretar del segundo, sería hacer algo como lo siguiente:
 
Si llueve, uso mi paraguas. Se sabe que hoy llueve. 
\( p\Rightarrow{q} \)
\( p \)
Por Modus Ponens. Llego a la conclusión \( q \)
Por lo tanto partiendo de un hecho, llegue a una conclusión utilizando reglas lógicas. Obviamente debería hacer algo mas complejo, esto es meramente un ejemplo para saber si estoy bien encaminado.

Ahora en el primer punto no llego a comprender que me piden, lo que interpreto es algo muy similar al segundo ejercicio y estoy un poco confundido. También quería saber si me podrían llegar a recomendar algún libro de Matemática Discreta ya que mi profesor esta operado y un ayudante de cátedra es el que imparte la clase pero prácticamente no se le entiende lo que explica y muchas veces se confunde o no sabe resolver ciertos ejercicios.

Desde ya muchas gracias.