operador lógico (=conector, conectiva, juntor)
Un operador lógico es un símbolo que sirve para unir proposiciones y formar proposiciones moleculares. En la lógica proposicional los operadores lógicos pueden ser monádicos si afectan a una sola proposición (la negación, representada por el símbolo “¬”) o diádicos, 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)