L.P. Jaime Rodríguez

Lógica.

Es la ciencia que estudia los principios y métodos para distinguir un razonamiento correcto de otro incorrecto.

Investiga la relación de consecuencia que se da entre una serie de premisas y la conclusión de un argumento correcto. Se dice que un argumento es correcto si su conclusión se sigue o es consecuencia de sus premisas; de lo contrario es incorrecto.

Proposición.

Una proposición puede enntenderse como un produto lógico del pensamiento huano expresado mediante un lenguage natural, aunque tambien existen lenguajes formales, como la notación matemática.

Lógica Proposicional.

La lógica propisicional trata con sistemas lógicos que carece de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposiccionales, es decir, que pueden ser interepretadas como proposiioes con un valor de verdad definido, de ahí el nombre proposicional. La lógica proposicional incluye además de variales interpretables como proposiciones simples signos para conectivos lógicos, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.

Estos son los conectivos lógicos.

Conectiva	Expresión en el lenguaje natural	Ejemplo	Símbolo en este artículo	Símbolos alternativos
Negación	no	No está lloviendo.	${\displaystyle \neg \,}$	${\displaystyle \sim \,}$
Conjunción	y	Está lloviendo y está nublado.	${\displaystyle \land }$	${\displaystyle \And \,}$ ${\displaystyle .}$
Disyunción	o	Está lloviendo o está soleado.	${\displaystyle \lor }$
Condicional Material	si... entonces	Si está soleado, entonces es de día.	${\displaystyle \to \,}$	${\displaystyle \supset }$
Doble implicación	si y sólo si	Está nublado si y sólo si hay nubes visibles.	${\displaystyle \leftrightarrow }$	${\displaystyle \equiv \,}$
Negación conjunta	ni... ni	Ni está soleado ni está nublado.	${\displaystyle \downarrow \,}$
Disyunción excluyente	o bien... o bien	O bien está soleado, o bien está nublado.	${\displaystyle \nleftrightarrow }$	${\displaystyle \oplus ,\not \equiv ,W}$