lógica matematica

Nixon Torres
Código: 2130341374
INFERENCIA LÓGICA.
La inferencia lógica es un mecanismo de derivación sintáctica que a partir de un conjunto dado de fórmulas permite derivar nuevas fórmulas,utilizando operaciones que se denominan reglas de inferencia.
El conjunto inicial de fórmulas son sentencias válidas en un cierto lenguaje y se les llama axiomas. Los axiomas junto a las reglas deinferencia constituyen lo que Frege denomina un sistema formal.
REGLAS DE LA INFERENCIA LOGICA.
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órmulasllamados premisas y una aserción llamada conclusión.
Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva
Inductiva (de lo particular a lo general)
Aquí por ejemplo si durantela primera semana el maestro llega 10 minutos tarde, podemos concluir que todo el semestre va a llegar tarde. Esta conclusión no necesariamente es válida porque puede ser que el maestro algún díallegue temprano. En general una inferencia inductiva es la que se desprende de una o varias observaciones y en general no podemos estar seguros de que será verdadero lo que concluimos.
Deductiva (de logeneral a lo particular)
Cuando se conoce una ley general y se aplica a un caso particular, por ejemplo se sabe que siempre que llueve hay nubes, concluimos que el día de hoy que está lloviendo haynubes. También se conoce como inferencia deductiva cuando tenemos un caso que analiza todos los posibles resultados y de acuerdo a las premisas sólo hay una posible situación, en este caso decimos que lasituación única es la conclusión. Es este caso estamos seguros de que si las premisas son verdaderas entonces la conclusión también lo es.
Transductiva (de particular a particular o de general a...