reglas de inferencia
Páginas: 3 (549 palabras)
Publicado: 12 de abril de 2014
REGLAS DE INFERENCIA
En el texto básico (páginas 91 a la 95) se presentan 9 reglas de inferencia. Pero existen diferencias con las planteadas en este material. Debes elaborar un resumen dondese encuentren todas estas reglas de inferencia y sin repetir ninguna. Además, realiza la demostración de la validez, de cada una, por medio de las tablas de verdad.
Los argumentos basados entautologías representan métodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables quecontienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración.
Las inferencias lógicas son lasconclusiones que se pueden obtener después de realizar un razonamiento, este es verdadero sise cumples las siguientes condiciones:
1. Las premisas deben ser verdaderas.
2. Durante el proceso de deducción laspremisas deben relacionarse sujetas a las leyes de la lógica.
Así, el conocimiento obtenido de proposiciones verdaderas preestablecidas (premisas), y aplicando las leyes de la lógica a esaspremisas, se denomina conclusión.
Existen nueve (09) reglas de inferencia: 1. Modus Ponens, 2. Modus Tollens 3. Silogismo Hipotético, 4. Silogismo Disyuntivo, 5. Dilema Constructivo, 6. Absorción, 7.Simplificación, 8. Conjunción, y 9. Adición.
Con el fin de llevar a cabo la demostración de las tablas de verdad de las reglas de inferencia mencionada anteriormente, se va a tomar en cuenta el siguienteejemplo:
1) Modus Ponens
p → q Si está soleado entonces es de día
ᴧ p Si está soleado y es de día entonces está soleado
→q Si está soleado y es de día entonces está de día
p q p →q( p →q ) ᴧ p [ ( p →q ) ᴧ p ] →q
1 1 1 1 1
1 0 0 0 1
0 1 1 0 1
0 0 1 0 1
2) Modus Tollens
P q Si está soleado entonces es de día
p q ~ q ~ p p →q ( p → q ) ᴧ ~ q [ ( p → q ) ᴧ ~ q ] →...
En el texto básico (páginas 91 a la 95) se presentan 9 reglas de inferencia. Pero existen diferencias con las planteadas en este material. Debes elaborar un resumen dondese encuentren todas estas reglas de inferencia y sin repetir ninguna. Además, realiza la demostración de la validez, de cada una, por medio de las tablas de verdad.
Los argumentos basados entautologías representan métodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables quecontienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración.
Las inferencias lógicas son lasconclusiones que se pueden obtener después de realizar un razonamiento, este es verdadero sise cumples las siguientes condiciones:
1. Las premisas deben ser verdaderas.
2. Durante el proceso de deducción laspremisas deben relacionarse sujetas a las leyes de la lógica.
Así, el conocimiento obtenido de proposiciones verdaderas preestablecidas (premisas), y aplicando las leyes de la lógica a esaspremisas, se denomina conclusión.
Existen nueve (09) reglas de inferencia: 1. Modus Ponens, 2. Modus Tollens 3. Silogismo Hipotético, 4. Silogismo Disyuntivo, 5. Dilema Constructivo, 6. Absorción, 7.Simplificación, 8. Conjunción, y 9. Adición.
Con el fin de llevar a cabo la demostración de las tablas de verdad de las reglas de inferencia mencionada anteriormente, se va a tomar en cuenta el siguienteejemplo:
1) Modus Ponens
p → q Si está soleado entonces es de día
ᴧ p Si está soleado y es de día entonces está soleado
→q Si está soleado y es de día entonces está de día
p q p →q( p →q ) ᴧ p [ ( p →q ) ᴧ p ] →q
1 1 1 1 1
1 0 0 0 1
0 1 1 0 1
0 0 1 0 1
2) Modus Tollens
P q Si está soleado entonces es de día
p q ~ q ~ p p →q ( p → q ) ᴧ ~ q [ ( p → q ) ᴧ ~ q ] →...
Leer documento completo
Regístrate para leer el documento completo.