CONECTIVOS LÓGICOS

Como ya mencionamos antes, las proposiciones pueden ser simples o compuestas.

En general las proposiciones compuestas se crean utilizando las conjunciones “no”,
“y”, “o”, “si ... entonces”, “si y sólo si”, entre otras, para combinar proposiciones
atómicas. En esta sección del curso estudiaremos los conectivos lógicos, cómo se
usan para obtener proposiciones compuestas y cómo se determina el valor de
verdad de las proposiciones resultantes.

a) La negación.

Éste es un conectivo que sólo afecta una variable, o bien a una expresión completa
considerada como unidad. Refleja el sentido de “no” o “es falso que” del lenguaje
ordinario. Vamos a representarla con la tilde “~”. Representa la inversión del valor
de verdad de una proposición.

Por ejemplo, sea P = “Hoy es lunes”. Entonces ~P significa: “Hoy no es lunes”, o

“Es falso que hoy es lunes”.

La operación de la negación puede representarse con la siguiente tabla:

P ~P

V F

F V

b) La conjunción.

Es posible conjuntar dos o más proposiciones, es decir, la conjunción es un

conectivo binario. Una conjunción es Falsa cuando cualquiera de sus componentes
es Falso. Refleja el sentido de “y”, “pero”, “que”, entre otros, del lenguaje ordinario.
Se representa por el símbolo “^”.
Por ejemplo, sea P = “Hoy es lunes” y Q = “Hoy está lloviendo”. Entonces P ^ Q
significa: “Hoy es lunes y está lloviendo”.

La operación de la conjunción puede representarse con la siguiente tabla:

P Q P^Q

F F F

F V F

V F F

V V V

c) La disyunción.

La disyunción es también un conectivo binario. Cuando se emplea tiene al menos

tres sentidos posibles:

1. Un sentido incluyente o no exclusivo. Refleja el sentido de uno, o lo otro, o

ambos.
2. Un sentido excluyente. Refleja el sentido de uno, o lo otro, pero no ambos.
3. Un sentido equivalente. Refleja el sentido de lo uno lo mismo que lo otro.

A menos que se especifique otra cosa, siempre consideraremos el sentido

incluyente de la disyunción. Por tanto, una disyunción es Falsa sólo cuando
todos sus elementos son Falsos. Se representa con el símbolo "∨”.

Por ejemplo, sea P = “Hoy es viernes” y Q = “Estoy contento”. Entonces P ∨ Q

significa: Hoy es viernes o estoy contento.
La operación de la disyunción puede representarse con la siguiente tabla:

P Q PvQ

F F F

F V V

V F V

V V V

d) La implicación.

Es también un conectivo binario. Tiene dos partes: antecedente y consecuente. El

antecedente es también llamado hipótesis y tesis el consecuente. Expresa que la
falsedad sí puede llevar a la verdad, pero que la verdad no puede llevar a la
falsedad. Refleja el sentido de “si...entonces...”, “sólo si...”. Se representa por medio
de una flecha: "→". Normalmente el antecedente se escribe a la izquierda y el
consecuente a la derecha de la flecha.

Por ejemplo, sea P = “Soy electo diputado de este distrito” y Q = “disminuyo los
impuestos”, P → Q significa: “Si soy electo diputado de este distrito, entonces
disminuiré los impuestos” o “Sólo si soy electo diputado de este distrito, disminuiré
los impuestos”.

La operación de la implicación puede representarse con la siguiente tabla:

P Q P→Q

F F V

F V V

V F F

V V V
La siguiente explicación ayuda a entender este conectivo: considerando las
proposiciones P y Q del ejemplo, si el diputado no es electo y no disminuyen los
impuestos, no puedo decir que mintió. Si no es electo y bajan los impuestos,
tampoco puedo decir que mintió. Es decir, si no es electo diputado, no puedo saber
si decía a verdad o no, y le concedo el beneficio de la duda. Si es electo y disminuye
los impuestos, dijo la verdad. Pero si es electo y no disminuye los impuestos, es un
mentiroso.

e) La bicondicional.

Este conectivo también es llamado doble implicación o teorema recíproco. La

bicondicional sólo es verdadera si sus dos componentes tienen el mismo valor de
verdad, es decir, ambos son Verdaderos o ambos son Falsos. Refleja el sentido de
“si y sólo si”, “equivale a”. Se representa por medio de una flecha doble: “↔”.

Por ejemplo, sea P = “Hoy es domingo” y Q = “Mañana será lunes”. P ↔Q significa:

“Hoy es domingo si y sólo si mañana será lunes”, o “Hoy es domingo equivale a que
mañana será lunes”.

La operación de la bicondicional puede representarse con la siguiente tabla:

P Q P↔Q

F F V

F V F

V F F

V V V
 LA SINTAXIS DE LAS PROPOSICIONES

Los conectores lógicos son términos de enlace tales como «no», «y», «o», «si…
entonces», «…si y solo si…».

Conjunción

Es la unión de dos proposiciones con la palabra «y». Su símbolo es ˄.

FBF: p ˄ q.

Ejemplo:

p: La casa es grande.

q: El patio está limpio.

p ˄ q: La casa es grande y el patio está limpio.

Sin embargo, hay veces que «y» no denota conjunción.

Ejemplo:

Juan y Laura son hermanos.

Disyunción

Es la unión de dos proposiciones por medio de la palabra «o». Su símbolo es ˅.

FBF: p ˅ q.

Ejemplos:

p: El televisor se descompuso.

q: No hay señal.

p ˅ q: El televisor se descompuso o no hay señal.

Negación

Es añadirle a una proposición el término «no». Tiene dos símbolos (¬) ó (~).

FBF: ¬p.
Ejemplo:

p: Ayer hubo examen.

¬p: Ayer no hubo examen.

Condicional

La unión de dos proposiciones con las palabras «si… entonces...». Su símbolo es

→.

FBF: p → q.

Ejemplo:

p: Suena tu celular.

q: Alguien te llama.

p → q: Si suena tu celular, entonces alguien te llama.

La proposición entre las «si» y «entonces» se denomina antecedente, y a la

proposición que sigue a «entonces» se llama consecuente.

Bicondicional

Es la unión de dos proposiciones mediante las palabras «si y sólo si». Su símbolo
es ↔.

FBF: p ↔ q.

p: María es casada.

q: María tiene hijos.

p ↔ q: María es casada si y sólo si tiene hijos.

La bicondicional p ↔ q es equivalente a la conjunción (p → q) ˄ (q → p).