Glosario J

Un juicio es el acto mental que tiene como resultado una proposición o enunciado. En otras palabras, la expresión verbal de un juicio es un enunciado.

Un juntor (o conector, conectiva u operador lógico) 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)