Bam bam

Solo disponible en BuenasTareas
  • Páginas : 2 (375 palabras )
  • Descarga(s) : 0
  • Publicado : 1 de septiembre de 2010
Leer documento completo
Vista previa del texto
¿Argumente la importancia de la lógica formal para su formación personal?
Al escuchar la palabra lógica de inmediato pensamos en cualquier acción que este guiada por la razón, pero que pasa cuandonos preguntan por una forma mas especifica de esta como lo es la lógica formal, la mayoría de gente que no tiene conocimientos acerca de este tema no ve mucha diferencia entre estas, ignorando asi laimportancia de esta ultima en nuestra formación personal y por ende en nuestro diario vivir.
Para poder hablar sobre este tema tan apasionante, primero debemos tener en cuenta un concepto sobre este,el cual podría expresarse con los siguientes términos: es una parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajesformales, sistemas deductivos y semánticas formales.
Ahora pues con esto pueden surgir interrogantes como ¿qué o cuáles son los lenguajes formales?, y la respuesta a esto seria que un lenguaje formales un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.[1] [2] Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) dellenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis). Un ejemplo de lenguaje formal seria el lenguaje de programación empleado en lo computadores y demás maquinas detecnología artificial el cual sirve para crear programas que controlen el comportamiento físico y lógico de una máquina, para expresar algoritmos con precisión, o como modo de comunicación humana.[1] Estáformado de un conjunto de símbolos y reglas sintácticas y semánticas que definen su estructura y el significado de sus elementos y expresiones.
Habiendo aclarado conceptos cabedestacar que la lógicaformal no debe ser confundida con la lógica matematica, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Como antes habíamos dicho, todos los computadores funciona con...
tracking img