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