logica formal

invierte el valor de verdad

• negador

• disyuntor

• condicional

unicamente cuando las dos proposiciones son verdaderas

• negacion

• conjuntor

• disyuntor

es verdadera cuando al menos una proposición es verdadera

• negador

• conjuntor

• disyuntor

cuando el primero es verdadero y el segundo falso es falso

• condicional o implicacador

• disyuntor

• negador

es verdadera cuando coinciden los valores de verdad

• bicondicional o implicador

• condicional

• disyuntor

cuando la formula es siempre falsa

• tautologia

• contradiccion

cuando una formula es siempre verdadera

• contradiccion

• tautologia

cuando una formula a veces es falsa o a veces verdadera

• contradiccion

• tautologia

• indeterminacion