Conectivos logicos

A continuación hay una tabla que despliega

todas las conectivas lógicas que ocupan a la
lógica proposicional, incluyendo ejemplos de su
uso en el lenguaje natural y los símbolos que
se utilizan para representarlas en lenguaje
formal.
En la lógica proposicional, las conectivas
lógicas se tratan como funciones de verdad .
Es decir, como funciones que toman conjuntos
de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva
lógica «no» es una función que si toma el valor de verdad V, devuelve F, y si toma
el valor de verdad F, devuelve V. Por lo tanto, si se aplica la función «no» a una
letra que represente una proposición falsa, el resultado será algo verdadero. Si es
falso que «está lloviendo», entonces será verdadero que «no está lloviendo».
El significado de las conectivas lógicas no es nada más que su comportamiento
como funciones de verdad. Cada conectiva lógica se distingue de las otras por los
valores de verdad que devuelve frente a las distintas combinaciones de valores de
verdad que puede recibir. Esto quiere decir que el significado de cada conectiva
lógica puede ilustrarse mediante una tabla que despliegue los valores de verdad
que la función devuelve frente a todas las combinaciones posibles de valores de
verdad que puede recibir.   

los conectivos son: 

  
conjunción:   En razonamiento formal, una conjunción

lógica (   ) entre dos proposiciones es un conector

lógico cuyo valor de la verdad resulta en ciertosólo si
ambas proposiciones son ciertas, y en falso de
cualquier otra forma. Existen diferentes contextos
dónde se utiliza la conjunción lógica.
En lenguajes formales, la palabra "y" se utiliza en
español para simbolizar una conjunción lógica. La noción equivalente en la teoría

de conjuntos es laintersección (   ). En algebra Booleana, la conjunción como

operador binario entre dos variables se representa con el símbolo de punto
medio ( · )    

disyunción: En razonamiento formal, una disyunción

lógica (   ) (en especifico, una disyunción inclusiva)

entre dos proposiciones es un conector
lógico cuyovalor de la verdad resulta en falso sólo si
ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen
diferentes contextos dónde se utiliza la disyunción lógica.
En lenguajes formales, la palabra "ó" se utiliza en español para simbolizar una
disyunción lógica. Se debe distinguir entre el "ó" inclusivo y el "ó" exclusivo, este
artículo se refiere al "ó" inclusivo. La noción equivalente en lateoría de

conjuntos es la unión (   ). En algebra Booleana, la disyunción como operador

binario entre dos variables se representa con el símbolo demás ( + ).

Condicional: El condicional material, también conocido como implicación

material, condicional funcional de verdad o simplemente condicional, es
una constante lógica que conecta dos proposiciones. El condicional material
intenta ser la versión formal del condicional en el lenguaje natural, el cual se
expresa por medio de palabras como las siguientes:

 Si llueve, entonces voy al cine.
 Voy al cine si llueve.
 Cuando llueve, voy al cine.
Simbólicamente, el condicional
material se suele denotar de las
siguientes maneras:

, y en ocasiones:

Donde A y B
son proposiciones cu a
lesquiera. Las
variables A y B se
conocen
respectivamente como el antecedente y el consecuente del condicional.

Bicondicional: En matemáticas y lógica, un bicondicional, (también

llamado equivalencia o doble implicación, en ocasiones abreviado
como ssi,sii, o syss), es una proposición de la forma «P si y solo si Q» y
afirma que la proposición P será verdadera exclusivamente
cuando Q también lo sea, así como también P será falsa cuando Q lo
 sea. Otra forma de expresar el bicondicional es decir que Q es
una condición necesaria y suficiente para P

Negación: En lógica y matemática,
la negación, también llamada complemento
lógico, es una operación sobre
proposiciones, valores de verdad, o en
general, valores semánticos. Intuitivamente,
la negación de una proposición es
verdadera cuando dicha proposición es
falsa, y viceversa. En lógica clásica la
negación está normalmente identificada con
la función de verdad que cambia su valor de verdadero a falso y
viceversa. En Lógica intuicionista, de acuerdo a la interpretación BHK,
la negación de una proposición p es la proposición cuyas pruebas son
las refutaciones de p. En la semántica de Kripke, donde los valores
semánticos de las fórmulas son conjuntos de posibles mundos, la
negación de p, es su complemento.

Disyunción opuesta
En lógica proposicional, la disyunción opuesta, también conocida como la
negaciónconjunta o flecha de Peirce (por su simbolización debida a Charles
Sanders Peirce), es una conectiva lógica cuyo valor de verdad resulta en
verdadero sí y sólo si ambas proposiciones son falsas, y falso de cualquier otra
forma. Existen diferentes contextos dónde se utiliza la lógica de disyunción
opuesta. En lenguajes naturales, la palabra «ni» se utiliza en español para
simbolizar la disyunción opuesta. Por ejemplo en la oración «ni llueve ni hace
frío». En electrónica, una puerta NOR es una puerta lógica que implementa la
disyunción opuesta.

Disyunción exclusiva
La disyunción exclusiva (también llamada "o" exclusivo, o desigualdad
material en lógica proposicional) es un operador lógico simbolizado como XOR,
EOR, EXOR, ⊻ , ⊕ o es un tipo de disyunción lógica de dos operandos. La
diferencia entre la disyunción exclusiva y la disyunción inclusiva es que en la
disyunción inclusiva hay "información adicional", 1 que "del inicio es claro que uno
de las dos alternativas debe ser verdadera", 2 es decir que no sólo al menos que
una situación, sino que más de una de las dos situaciones existen. 1