miércoles, 4 de junio de 2014
martes, 3 de junio de 2014
¿Que justifica cada paso? (Ejercicio 1)
Un estudiante de Lógica Computacional realiza la derivación del siguiente razonamiento
y escribe lo siguiente:
pero olvida escribir las justificaciones de cada uno de sus pasos... Les invito a indicar y discutir cuáles son tales justificaciones.
¿Dónde está el error? (Ejercicio 1)
A un estudiante de Lógica Computacional se le plantea derivar el siguiente razonamiento:
Realiza los siguientes pasos:
A pesar de que el estudiante "aparentemente" llega a obtener la conclusión, comete un error en su razonamiento... Les invito a descubrir cuál es el error, expliquen por qué es un error y describan como podría corregirse y llegar correctamente a la conclusión.
Análisis de razonamientos lógicos (Planteamiento 1)
Consideren cada uno de los siguientes grupos de premisas y discutan de cuáles de ellos se puede deducir alguna de las proposiciones
o
Los grupos de premisas son:
Grupo 1:
\&space;\&space;p\rightarrow&space;q "\large (1)\ \ p\rightarrow q")
\&space;\&space;p "\large (2)\ \ p")
Grupo 2:
\&space;\&space;\neg&space;p "\large (2)\ \ \neg p")
Grupo 3:
\&space;\&space;q\rightarrow&space;p "\large (1)\ \ q\rightarrow p")
Grupo 4:
Los grupos de premisas son:
Grupo 1:
Grupo 2:
Grupo 3:
Grupo 4:
Equivalencias e implicaciones lógicas
Para trabajar con las derivaciones lógicas es importante que tengas a mano esta tabla de equivalencias e implicaciones lógicas:
Suscribirse a:
Entradas (Atom)