Logica Matematica

-Lógica de la matemática: 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, sin embargo 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.

-Proposiciones

Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición. Es cualquier agrupación de palabras o símbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si es verdadera o falsa. La verdad o falsedad de una proposición es lo que se llama su valor lógico o valor de verdad. Las proposiciones se denotan con letras minúsculas. Ejemplo: p, q, r, a, b.

Ejemplo:

• Hoy es lunes. (si es proposición ya que se puede verificar).

• Hablo y no hablo.

• Viene o no viene.

-Términos de Enlace

Los términos de enlace se usan para crear y formar nuevas proposiciones a partir de las proposiciones atómicas. Los términos de enlaces entre proposiciones que utilizamos son:

&, ^,v, →, ↔, ¬

• El Término de Enlace Dominante debe estar por fuera de los Paréntesis (en el caso de que éstos aparezcan), en el caso contrario, se entenderá que domina el que tenga prioridad de acuerdo a los niveles establecidos

• Las “comas” en una proposición escrita en lenguaje “informal”, se colocarán para que al simbolizarla, se agrupe adecuadamente y, junto con las palabras “clave”.

Es claro que el uso de los paréntesis nos quiere evitar confusiones y obviamente el término de enlace dominante, sin embargo, podemos establecer unos convenios de prioridad de los coactivos para escribir de una manera menos complicada las fórmulas.

Escribir una formula de forma abreviada:

...