Consecuencia lógica vs otras relaciones