- Conjunción (∧) - Este conectivo también se conoce como "y". Cuando se combinan dos proposiciones, la proposición resultante es verdadera si ambas proposiciones originales son verdaderas y falsa en caso contrario. Por ejemplo, "El cielo es azul ∧ la hierba es verde" es verdadera sólo si tanto el cielo es azul como la hierba es verde.
- Disyunción (∨) - Este conectivo también se conoce como "o". Cuando dos proposiciones se separan, la proposición resultante es verdadera si alguna de las proposiciones originales es verdadera y falsa en caso contrario. Por ejemplo, "El cielo es azul ∨ la hierba es verde" es cierto si el cielo es azul o la hierba es verde.
- Negación (¬) - Este conectivo también se conoce como "no". Cuando se niega una proposición, la proposición resultante es verdadera si la proposición original es falsa y falsa en caso contrario. Por ejemplo, "¬(el cielo es azul)" es verdadero si el cielo no es azul.
- Implicación (→) - Este conectivo también se conoce como "si-entonces". Cuando dos proposiciones están implicadas, la proposición resultante es verdadera si el antecedente (la proposición que viene antes del símbolo de implicación) es falso o el consecuente (la proposición que viene después del símbolo de implicación) es verdadero. Por ejemplo, "(el cielo es azul) → (la hierba es verde)" es verdadero si el cielo no es azul o la hierba es verde.
- Equivalencia (↔) - Este conectivo también se conoce como "si y sólo si". Cuando dos proposiciones son equivalentes, la proposición resultante es verdadera si ambas proposiciones originales son verdaderas o ambas proposiciones originales son falsas. Por ejemplo, "(el cielo es azul) ↔ (la hierba es verde)" es cierto si el cielo es azul y la hierba es verde o si el cielo no es azul y la hierba no es verde.
También hay otros conectivos lógicos menos comunes, como la disyunción exclusiva (⊻) y el trazo de Sheffer (|).