juicio
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.
juntor (=conector, conectiva, operador lógico)
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)
