Conectiva

De Enciclopedia Symploké, la enciclopedia libre.
Revisión a fecha de 15:58 30 sep 2009; LGH (Discusión | contribuciones)

(dif) ←Revisión más antigua | Ver la revisión actual (dif) | Newer revision→ (dif)
Saltar a: navegación, buscar

Símbolo lógico mediante el cual podemos construir expresiones más complejas a partir de otras más simples. También recibe los nombres de constante lógica, conector u operador lógico. En lógica proposicional, las conectivas más utilizadas son la negación (¬), la conjunción (^), la disyunción (v), el condicional (→) y el bicondicional (↔).

Ejemplo: La proposición compleja Leo a Tomás Bernhard y no estoy desesperado, contiene dos proposiciones simples: Leo a Tomás Bernhard (p) y Estoy desesperado (q). Las conectivas lógicas aquí son la conjunción (y: ^) y la negación (no: ¬). Empleando los símbolos del cálculo proposicional, formalizaremos la proposición compleja como p ^ ¬q: p y no-q.