Monthly Archives: noviembre 2011

1. ¿Qué significa interpretar una fórmula lógica? ¿y un razonamiento? Interpretar las formulas logicas obtenidas de la formalizacion de sentencias del lenguaje natural mediante el lenguaje de la logica de primer orden se refiere a concretar el significado(la semantica) de cada uno de los simbolos que las conforman, en un … Continue reading →

  1.- Diferencias entre el lenguaje proposicional y predicativo. El lenguaje proposicional formaliza las proposiciones teniendo en cuenta sólo las posibles conexiones entre ellas; sin embargo el lenguaje predicativo además de tener en cuenta dichas conexiones, considera los sujetos o … Continue reading →

1.- ¿De qué trata la lógica formal de primer orden? ¿Cuáles son los sistemas formales en esta teoría? La lógica formal de primer orden es la parte de la lógica que se dedica al estudio de la validez de los … Continue reading →