Sem título

NOTACIÓN MATEMÁTICA

• ¿Qué es la notación matemática y por qué es tan importante?
• La matemática se apoya en un lenguaje simbólico formal, la notación matemática, que sigue una serie de convenciones propias.
• Los símbolos representan un concepto, una relación, una operación, o una fórmula matemática según ciertas reglas.
• NOTA: Una vez asimilado dicho concepto comenzaremos con algunos simbolos adscritos a la lógica de predicados en la siguiente sección.

Simbología - Lógica de predicados

• La lógica de predicados, también llamada lógica de primer orden es un sistema formal, diseñado para estudiar la inferencia en los lenguajes de primer orden.
• Dicho de otro modo la lógica de predicados, funciona de manera similar a los "predicados" del lenguaje natural expresando una conexión entre una o varias "expresiones" para formar una oración.
• Un ejemplo de ésto sería: «Marte es un planeta», la expresión «es un planeta» es un predicado que se conecta con la expresión «Marte» para formar una oración.
• En lógica matemática, cuando un predicado se conecta con una expresión, se dice que expresa una propiedad (como la propiedad de ser un planeta), y cuando se conecta con dos o más expresiones, se dice que expresa una relación (como la relación de ser más grande que).
• NOTA: La lógica de predicados, sólo se ocupa de estudiar el modo en que hablamos y razonamos con expresiones lingüísticas.

Simbología - Lógica de predicados

• La lógica de predicados, también llamada lógica de primer orden es un sistema formal, diseñado para estudiar la inferencia en los lenguajes de primer orden.
• Dicho de otro modo la lógica de predicados, funciona de manera similar a los "predicados" del lenguaje natural expresando una conexión entre una o varias "expresiones" para formar una oración.
• Un ejemplo de ésto sería: «Marte es un planeta», la expresión «es un planeta» es un predicado que se conecta con la expresión «Marte» para formar una oración.
• En lógica matemática, cuando un predicado se conecta con una expresión, se dice que expresa una propiedad (como la propiedad de ser un planeta), y cuando se conecta con dos o más expresiones, se dice que expresa una relación (como la relación de ser más grande que).
• NOTA: La lógica de predicados, sólo se ocupa de estudiar el modo en que hablamos y razonamos con expresiones lingüísticas.