Funciones de implicación locales

En determinadas aplicaciones puede tener más sentido una interpretación local de la función de implicación, de forma que su valor de verdad sea alto sólo cuando los valores de verdad de p y q sean altos. En términos lógicos esta interpretación significa definir la implicación como una conjunción:


La siguiente tabla muestra distintas funciones de implicación propuestas en la literatura: