OPERADORES LGICOS

En nuestro lenguaje comn usamos frecuentemente proposiciones ms complejas, no

tan simples o elementales.
Ejemplos:
No te encontr en tu casa.
Fui al banco y estaba cerrado.
Tengo una moneda de cinco centavos o una de diez centavos.
El carro de juan o es azul o es negro.
si me gano la lotera. Entonces me compro una casa.
Estudio en la espol si, y solo si me esfuerzo.
Surge entonces la necesidad de definir los nexos de estas proposiciones a los cuales se
denomina conectores u operaciones lgicas. Gramaticalmente, estos nexos, en sus
mayoras, son denominadas partes invariables de la operacin.
Negacin: se a una proposicin, la negacin de a, representada simblicamente por
a, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de
verdad:

Este operador lgica cambia el valor de verdad de una proposicin: si a es una

preposicin verdadera, a es falsa; si a es una falsa, a es verdadera. La negacin se
representa con los trminos gramaticales: no ,ni no es verdad que, no es cierto
que.
Ejemplos
Si se tiene la proposicin:
a: tengo un billete de cinco dlares.
La negacin de a es:
a: no tengo un billete de cinco dlares.
Si se tiene la proposicin:
a: no quiero hacer el viaje.
La negacin de a es:
a: quiero hacer el viaje
Conjuncin:
Disyuncin
Disyuncin exclusiva
Condicional
Recproca, inversa, contrarrecproca
Condiciones necesarias y suficientes
Bicondicional