Existe, no obstante, una estrecha relación entre ambos en la mayoría de los sistemas lógicos, incluyendo la lógica clásica.