L gica matematica

Lógica
Es el conjunto de conocimientos que tienen por objeto la enunciación de las leyes que rigen los procesos del pensamiento humano; así como de los métodos que hande aplicarse al razonamiento y la reflexión para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos.
LógicaMatemática
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 lafilosofía, matemáticas, computación, física. En las matemáticas para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. Engeneral 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 unaama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea.

Conectivas lógicas
A continuación hay una tabla que despliega todas lasconectivas lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlas en lenguajeformal.
Conectiva
Expresión en el
lenguaje natural
Ejemplo
Símbolo
Símbolos
alternativos
Negación
no
No está lloviendo.


Conjunción
y
Está lloviendo y está nublado.Disyunción
o
Está lloviendo o está soleado.


Condicional material
si... entonces
Si está soleado, entonces es de día.


Bicondicional
si y sólo si
Está nublado si y sólosi hay nubes visibles.


Negación conjunta
ni... ni
Ni está soleado ni está nublado.


Disyunción excluyente
o bien... o bien
O bien está soleado, o bien está nublado.