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

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).