CONECTIVA
Conectivas (sustantivación del adjetivo ‘conectivas’ en ‘partículas conectivas’) es el nombre que reciben en lógica ciertas conjunciones que gobiernan las fórmulas lógicas. Seis conectivas son presentadas, por lo pronto, en la lógica sentencial: una que se refiere a una fórmula, y es llamada «conectiva singular», y cinco que se refieren a dos fórmulas, y son llamadas «conectivas binarias». Las enumeraremos brevemente, reservando para los artículos correspondientes más amplias explicaciones sobre algunas de ellas.
La conectiva singular es ‘no’, llamada «negación» y simbolizada por ‘¬’.
Así,
¬ p
se lee:
no p
y puede tener como ejemplo:
Zacarías no habla finlandés.
Las cinco conectivas binarias son:
La conectiva ‘y’, llamada «conjunción» y simbolizada por ‘∧’. Así,
p ∧ q
se lee:
p y q
y puede tener como ejemplo:
Roberto y Antonia corren.
La conectiva ‘o’,
