Lógica Simbólica

 Lógica simbólica, también llamada lógica de primer orden es el estudio de la lógica mediante la matemática, es decir, que incorpora la exactitud y rigor matemáticos., Se utiliza en lingüística,filosofía, informática y, sobre todo, en matemática.
Matemática
La lógica simbólica ha contribuido a sistemas formales utilizados para derivar teoremas lógicos. El desarrollo de la teoría de conjuntosdemostró que casi todas las matemáticas ordinarias se pueden formalizar en términos de conjuntos.
Proposiciones y operadores
En el lenguaje, la lógica simbólica se puede deducir de las proposiciones,que son declaraciones que no se pueden descomponer sin pérdida de significado. Las proposiciones se representan así: A = B, B = C, entonces A = C, siendo A, B, y C símbolos de declaraciones norefutables.

PROPOSICIONES
Tipos de proposiciones 
En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas, significará que el conjunto de sustituciones está bien definido y laharán verdadera o falsa. Para operar con las proposiciones, éstas se clasifican en dos tipos: Simples y Compuestas, dependiendo de como están conformadas.
Proposiciones Simples 
Son aquellas que no tienenoraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en elsujeto o en el predicado, pero no entre oraciones.
Proposiciones Compuestas 
Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entreoraciones componentes.
Ejemplos 
Ensayemos una lista clasificada y luego algunas aclaraciones: 
     1)  Carlos Fuentes es un escritor.                                           (Simple) 
     2)  Sen(x) noes un número mayor que 1.                              (Compuesta) 
     3)  El 14 y el 7 son factores del 42.                                         (Simple) 
     4)  El 14 es factor del 42 y...