Una conectiva es un símbolo que sirve para unir proposiciones y formar proposiciones moleculares. En la lógica proposicional las conectivas pueden ser monádicas si afectan a una sola proposición (la negación, representada por el símbolo “¬”) o diádicas, si afectan a dos proposiciones, como el conjuntor “∧”, el disyuntor “∨”, el implicador “→” y el coimplicador “↔”.
(v. bicondicional, conjunción, disyunción, disyunción exclusiva, implicación, negación)
