calculo




Resuelve los ejercicios mediante la técnica de integración de funciones trigonométricas. Puedes usar editor de ecuaciones.No obstante, el uso más común del término cálculo es ellógico-matemático. Desde esta perspectiva, el cálculo consiste en un procedimiento mecánico, o algoritmo, mediante el cual podemos conocer las consecuencias que se derivan de unos datos previamenteconocidos debidamente formalizados y simbolizados.El cálculo lógico es un sistema de reglas de inferencia o deducir un enunciado a partir de otro u otros. El cálculo lógico requiere un conjuntoconsistente de axiomas y unas reglas de inferencia y su propósito es poder deducir algorítmicamente proposiciones lógicas verdaderas a partir de axiomas válidos. La inferencia es una operaciónlógica que consiste en obtener una proposición lógica como conclusión a partir de otro(s) (premisas) mediante la aplicación de reglas de inferencia.19

Informalmente interpretamos que quealguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de verdad V, entonces, necesariamente, "T" tiene valor de verdad V. Sin embargo, en el enfoque moderno del cálculo lógico no esnecesario acudir al concepto de verdad, para construir el cálculo lógico.

Los hombres en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo. Partimos de enunciadosempíricos -supuestamente verdaderos y válidos- para concluir en otro enunciado que se deriva de aquellos, según las leyes de la lógica natural.20

La lógica, como ciencia formal, se ocupa deanalizar y sistematizar dichas leyes, fundamentarlas y convertirlas en las reglas que permiten la transformación de unos enunciados -premisas- en otros -conclusiones- con objeto de convertir lasoperaciones en un algoritmo riguroso y eficaz, que garantiza que dada la verdad de las premisas, la conclusión es necesariamente verdadera.