Describir: The concept of logical consequence