Elementos logicos

1. Logica: La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida Así como el objeto de estudio tradicional de la química es la materia, y el de la biologíala vida, el de la lógica es lainferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica tradicionalmente se consideró una rama de la filosofía.
2.Logica Matematica: La lógica matemática es una parte de la lógica y la matemática, que consiste en el estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de lamatemática y de las ciencias. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica. La lógica matemática estudia los sistemas formales en relación con elmodo en el que codifican o definen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje formal.
3. Enunciados: La lógica matemáticaestudia los sistemas formales en relación con el modo en el que codifican o definen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones, y algoritmos, utilizando unlenguaje formal.
4. Proposocion: En filosofía y lógica, el término proposición se usa para referirse a:1
• Las entidades portadoras de los valores de verdad.1
• Los objetos de las creencias y de otrasactitudes proposicionales.1
• El significado de las oraciones demostrativas, como «el Sol es una estrella».1
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste unlenguaje común o formalizado, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos de unlenguaje formal.
En Lógica tradicional se distinguen laproposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio.
Valor de Verdad: un valor de verdad...