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)