En primer lugar introduciremos una definición general de consecuencia lógica.