Hay equivalencias lógicas de uso tan frecuente que poseen nombre propio