L.P. SAUL GOMEZ

LÓGICA PROPOSICIONAL 

 Es una rama de la lógica clásica que estudia las variables proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad. Algunos autores también la identifican con la lógica matemática o la lógica simbolice, ya que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático.

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 }$
Bicondicional	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}$