Los símbolos de la lógica preposicional.

• Negador:

Es aquella conectiva que al aplicarse a una proposición cualquiera, la convierte en falsa si es verdadera y en verdadera si es falsa.

• Conjuntor:

Es la conectiva que sólo es verdadera si las dos proposiciones que une son ambas verdaderas, y que es falsa en los demás casos.

• Disyuntor:

Conectiva que sólo es falsa si las dos proposiciones que une son ambas falsas, y verdadera en los demás casos.

• Condicional:

Es aquella conectiva que sólo es falsa cuano, siendo el antecedente verdadero, el consecuente sea falso, y la verdadera en los demás casos. Llamamos "antecedente del condicional a la proposición que se halla a su izquierda, y "consecuente" a la que está a su derecha.

• Bicondicional:

Es aquella conectiva que sólo es verdadera si las dos proposiciones unidas por ella tienen ambas el mismo valor de verdad, es decir, son ambas verdaderas o falsas a la vez.


MÍSTICA.