Conectivas Lógicas

Conectivas Lógicas
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 verdadque 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 quedespliegue los valores de verdad que la función devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.

Conectiva | Expresión en el
lenguaje natural | Característica |Símbolo en
este artículo |
Negación | no | El valor de verdad de la negación es el contrario de la proposición negada. | |
Conjunción | y | Solamente si las componentes de la conjunción sonciertas, la conjunción es cierta. | |
Disyunción | o |  La disyunción solamente es falsa si lo son sus dos componentes. | |
Condicional | si…entonces | El condicional solamente es falso cuando elantecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad. | |
Bicondicional | si y sólo si | El bicondicional solamente es cierto si sus componentes tienen elmismo valor de verdad. | |
Negación Conjunta | ni... ni | La condición que hace una negación conjunta verdadera, radica en que ambas sean falsas. | |
Negación Alternativa | o no… o no | Es falsasolamente cuando ambas son verdaderas, en todos los demás casos es verdadera  | / |
Disyunción Exclusiva | o bien... o bien | Cuando ambos componentes son iguales es falso. | w |

Tablas de VerdadUna tabla de verdad es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. Considéresedos variables proposicionales P y Q. Cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valores de verdad de P y de Q pueden combinarse de cuatro maneras...