Una regla se define como una implicación de la forma: