Logica simbolica

Solo disponible en BuenasTareas
  • Páginas : 7 (1515 palabras )
  • Descarga(s) : 0
  • Publicado : 5 de febrero de 2012
Leer documento completo
Vista previa del texto
Lógica simbólica
Conceptos
   | Ciencia filosófica que estudia el pensamiento y le da reglas para que sea correcto y verdadero |

| •   | Estudio sistemático del proceso de razonamiento preciso |

| •   | Estudio de los  métodos y principios usados para distinguir el razonamiento correcto e incorrecto. |

| •   | Ciencia que se encarga de estudiar los métodos y principios usadospara distinguir el razonamiento correcto del incorrecto |

La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemasformales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentosde las matemáticas.
La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración.
La lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadasmatemáticamente.

Aplicaciones de la lógica simbólica
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sinembargo la lógica permite saber el significado correcto. En las matemáticos para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama decasa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puedepintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.

La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes osimplemente utilización de los mismos.
Proposición simple
Constituye la unidad mínima de la cual se puede decir que es V ó F. Se simbolizan con p, q, r, s, t, etc., y se denominan variables preposicionales. No utiliza conectivos lógicos.
Ejemplo:
El cielo es azul. (Verdadero)
Nomenclatura: p

Proposición compuesta
Están compuestas por dos o más proposiciones simples (su valor de verdad depende delde las proposiciones que la componen). Los valores de verdad dados como posibilidades de combinación entre proposiciones simples corresponden a los valores que pueden tener una o varias proposiciones combinadas. Sólo la comprobación empírica confirmará su valor real o fáctico. Basta con que una sea falsa, para que la molecular sea falsa. Se combina mediante términos de enlace.
Ejemplo:
Fui al...
tracking img