Introducing
Your new presentation assistant.
Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.
Trending searches
Reglas de inferencia
96
Reglas de inferencia
Para empezar se puede decir que la inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
En lógica matemática, una regla de inferencia es un esquema para construir inferencias validas.
Estos esquemas establecen relaciones sintácticas entre un conjunto de formulas llamados premisas y una aserción llamada conclusión.
Inferencia
Silogismo disyuntivo:
Silogismo disyuntivo
Es aquel cuya premisa mayor establece una disyunción exclusiva, de manera que los dos miembros no pueden ser simultáneamente verdaderos, ni simultáneamente falsos.
Silogismo hipotético:
Silogismo hipotético
Es aquel que parte de varios juicios basados en hipótesis y acaba extrayendo una conclusión valida al relacionarlos entre si. Por otro lado, en la lógica proposicional se usan conectores lógicos para unir los conceptos, el hipotético en un tipo de silogismo del cual se puede extraer una inferencia.
Modus ponendo ponens:
Modo que, al afirmar, afirma
Modus ponendo ponens en latín "el modo que, al afirmar, afirma", en lógica proposicional es una forma simple de argumento valido y regla de inferencia.
Modus tollendo tollens:
Modo que, al negar, niega
Modus tollendo tollens en latín "El modo que, al negar, niega", es una forma de argumento valida y una regla de inferencia en lógica proposicional. Es una aplicación de la verdad general de que, si una declaración es valida, también su contraposición.
Silogismo constructivo:
Silogismo constructivo
Es una regla de inferencia valida de lógica proposicional. Es una inferencia que dice que si P implica Q, R implica S, P o R son verdaderos; entonces Q o S deben ser verdaderos. En suma si dos condicionales son verdaderos, al menos uno de sus antecedentes es verdadero, entonces alguno de sus consecuentes debe ser verdadero.
Conclusion
Para finalizar es importante saber que las reglas de inferencia permiten determinar información nueva a partir de los datos ya existentes. Tambien, una regla de inferencia es una implicación tautología (siempre es verdadera) con las premisas como antecedente y la conclusión como consecuente.
Referencia:
Referencia
Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de http://hdl.handle.net/10596/13871
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado de http://hdl.handle.net/10596/13869