Espero que a alguno le sirvan.
Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand.
Deduccion natural son los 9 del K5HT2 (página 41/42).

Gracias capoooo

Consulta, vi que se tomó pasar a forma Skolem y Prenex en un par de finales, pero todo el resto de Deducción Automática se toma en los finales? Lo de pasar a formar normal, lo de probar los teoremas y lo Herbrand? Me refiero a si se toma como prática/ejercicios.

Saludos!

(14-12-2016 17:24)DarkCrazy escribió:  Consulta, vi que se tomó pasar a forma Skolem y Prenex en un par de finales, pero todo el resto de Deducción Automática se toma en los finales? Lo de pasar a formar normal, lo de probar los teoremas y lo Herbrand? Me refiero a si se toma como prática/ejercicios.

Saludos!

Yo tengo entendido que para el final entra todo lo de Deducción Automática.

Yo nuevamente. Muchas gracias por el aporte! La verdad me viene super bárbaro.
Quería aprovechar este espacio para ver si me pueden ayudar con algunas dudas básicas que me surgieron sobre lógica.

Veo que cuando se pasa a forma normal, llega un punto en el que se quitan las {}, los [] e incluso los () a veces. Mi consulta es, cómo sé cuando y cómo puedo sacar estos símbolos y que la proposición mantenga el mismo valor de verdad? O sea, que al sacarlos seguir teniendo una proposición equivalente.

Voy a ir a un ejemplo específico.
En el ejercicio 2 de Deducción Automática, de "Preparación de las fórmulas",


Cómo sé que de la expresión 1 a la 2 puedo sacar los corchetes sin más...
Y cómo sé que de la expresión 2 a la 3 puedo sacar todos los paréntesis? (entiendo que antes de hacerse esto se aplico distributiva con el operador de negación)

Espero que se entienda mi duda y sepan responderme.
Desde ya muchas gracias por su tiempo y atención!!

EDIT:
En la resolución del ejercicio N°2 de la segunda parte, me parece que hay un pequeño error.
En la primer hipótesis, al pasarla de la forma Skolem a la forma normal, el operador v (or) debería seguir siendo v (or) sin embargo se lo pasa a ^ (and).
Adjunto imagen para que se vea mejor.

Por favor si estoy equivocado y no es un error, corrijanme!

(11-02-2017 22:58)DarkCrazy escribió:  Veo que cuando se pasa a forma normal, llega un punto en el que se quitan las {}, los [] e incluso los () a veces. Mi consulta es, cómo sé cuando y cómo puedo sacar estos símbolos y que la proposición mantenga el mismo valor de verdad? O sea, que al sacarlos seguir teniendo una proposición equivalente.

Voy a ir a un ejemplo específico.
En el ejercicio 2 de Deducción Automática, de "Preparación de las fórmulas",

Spoiler: Mostrar

Cómo sé que de la expresión 1 a la 2 puedo sacar los corchetes sin más...
Y cómo sé que de la expresión 2 a la 3 puedo sacar todos los paréntesis? (entiendo que antes de hacerse esto se aplico distributiva con el operador de negación)

Los corchetes los podes sacar de 1 a 2 porque los operadores que separan a los grupos de expresiones son del mismo tipo ( OR ), entonces no tiene entido tener los corchetes.
\[\left (A \right ) \vee \left [ \left (B \right ) \vee \left (C \right ) \right ] \equiv \left (A \right ) \vee \left (B \right ) \vee \left (C \right )\]
Si entre los grupos de expresiones entre paréntesis hubiese alguna que no es del mismo tipo no se podría hacer, en ese caso ya cambia el significado.

Para los paréntesis entre 2 y 3 es lo mismo. Los grupos de expresiones esta de nuevo separados por el mismo operador ( OR ).
Hay un par de ( AND ) dentro de los grupos de parentesis, pero como estan negados se pueden convertir en OR usando la propiedad:
\[\neg \left (A\wedge B \right ) \equiv \neg A \vee \neg B\])
Los parentesis en ese caso los removes por el mismo criterio que en el primer punto, te quedan todos el mismo operador por lo que no tiene sentido mantenerlos.

(11-02-2017 22:58)DarkCrazy escribió:  En la resolución del ejercicio N°2 de la segunda parte, me parece que hay un pequeño error.
En la primer hipótesis, al pasarla de la forma Skolem a la forma normal, el operador v (or) debería seguir siendo v (or) sin embargo se lo pasa a ^ (and).
Adjunto imagen para que se vea mejor.

Spoiler: Mostrar

Entonces debe ser un error che...