Respuestas
Respuesta dada por:
8
REGLAS DE INFERENCIA
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.
PRINCIPALES REGLAS DE INFERENCIA
MPP Modus ponendoponens
A → B
A
- - - - -
B
MTTModustollendotollens
A → B
¬B
- - - - -
¬A
SD Silogismo Disyuntivo
A ∨ B
¬A
- - - - -
¬B
SH Silogismo hipotético
A → B
B → C
- - - - -
A → C
LS Ley de simplificación
A ∧ B
- - - - -
A
LA Ley de adición
A
- - - - -
A ∨ B
CONTRAPOSITIVA
A → B
- - - - -
¬B → ¬A
La comprobación de las reglas anteriores es directa y basta hacer una fórmula con la conjunción de las premisas condicional la conclusión y probar que es una tautología, por ejemplo haciendo una tabla y obtener todos los vaores verdaderos
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.
PRINCIPALES REGLAS DE INFERENCIA
MPP Modus ponendoponens
A → B
A
- - - - -
B
MTTModustollendotollens
A → B
¬B
- - - - -
¬A
SD Silogismo Disyuntivo
A ∨ B
¬A
- - - - -
¬B
SH Silogismo hipotético
A → B
B → C
- - - - -
A → C
LS Ley de simplificación
A ∧ B
- - - - -
A
LA Ley de adición
A
- - - - -
A ∨ B
CONTRAPOSITIVA
A → B
- - - - -
¬B → ¬A
La comprobación de las reglas anteriores es directa y basta hacer una fórmula con la conjunción de las premisas condicional la conclusión y probar que es una tautología, por ejemplo haciendo una tabla y obtener todos los vaores verdaderos
Preguntas similares
hace 6 años
hace 6 años
hace 9 años
hace 9 años
hace 9 años
hace 9 años